Formal Modeling and Verification of Microprocessors
IEEE Transactions on Computers
Using the SimOS machine simulator to study complex computer systems
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Accuracy and Speedup of Parallel Trace-Driven Architectural Simulation
IPPS '97 Proceedings of the 11th International Symposium on Parallel Processing
Techniques for Implementing Fast Processor Simulators
SS '98 Proceedings of the The 31st Annual Simulation Symposium
3.3 Performance Test Case Generation for Microprocessors
VTS '98 Proceedings of the 16th IEEE VLSI Test Symposium
How java programs interact with virtual machines at the microarchitectural level
OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Efficient simulation of trace samples on parallel machines
Parallel Computing
Hi-index | 0.00 |