Multi-threaded reachability.

Debashis Sahoo Jawahar Jain Subramanian K. Iyer David L. Dill E. Allen Emerson

Published in: DAC (2005)

Keyphrases

multi threaded
operating system
multi core processors
state space
information flow
computer architecture
multithreading
real time
neural network
query processing
supply chain
computer systems