Processor Performance Modeling using Symbolic Simulation | IEEE Conference Publication | IEEE Xplore