An Efficient Compiled Simulation System for VLIW Code Verification.

Jae-Woo Ahn Soo-Mook Moon Wonyong Sung

Published in: Annual Simulation Symposium (1998)

Keyphrases

source code
data sets
model checking
databases
information systems
operating system
machine learning
decision making
image sequences
object oriented
distributed systems
virtual reality
floating point
formal methods
crisis management
error correcting