Static race verification for networks with reconvergent clocks.

Joel Grodstein Nick Rethman N. Nassif

Published in: ICCD (1998)

Keyphrases

social networks
network structure
real time
data sets
computer networks
network design
network size
dynamic routing
genetic algorithm
information systems
decision trees
heterogeneous networks
formal methods
probabilistic networks
asynchronous circuits