A Machine Learning Approach for Optimizing Parallel Logic Simulation.

Sina Meraji Carl Tropper

Published in: ICPP (2010)

Keyphrases

simulation model
asynchronous cellular automata
automated reasoning
database
logic programming
multi valued
simulation models
classical logic
parallel programming
asynchronous circuits
linear logic
databases
artificial intelligence
parallel processing
modal logic