Efficient Modeling of Memory Arrays in Symbolic Ternary Simulation.

Miroslav N. Velev Randal E. Bryant

Published in: TACAS (1998)

Keyphrases

discrete event simulation
information systems
cost effective
real time
data sets
neural network
artificial intelligence
computationally expensive
simulation models