Concurrency Preserving Rartitioning (CPP) for Parallel Logic Simulation.

Hong K. Kim Jack S. N. Jean

Published in: Workshop on Parallel and Distributed Simulation (1996)

Keyphrases

parallel processing
simulation model
mathematical model
data sets
numerical simulations
databases
database
data flow
computer architecture
simulation models
genetic algorithm
database systems
multi agent systems
special case
neural network
logical framework
proof theory