Parallelization of Cycle-Based Logic Simulation.

Toni Mancini Annalisa Massini Enrico Tronci

Published in: Parallel Process. Lett. (2017)

Keyphrases

simulation model
multi valued
simulation environment
simulation models
databases
simulation study
information retrieval
search engine
website
case study
search algorithm
expert systems
logic programming
numerical simulations
classical logic
computational properties