Detecting race conditions in asynchronous DMA operations with full system simulation.

Michael Kistler Daniel A. Brokenshire

Published in: ISPASS (2011)

Keyphrases

sufficient conditions
asynchronous cellular automata
simulation study
neural network
discrete event simulation
simulation models
automatic detection
numerical simulations
decision trees
bayesian networks
multi agent
data sets
web services
knowledge base
social networks
data mining
databases