Login / Signup
Verification of Industrial Designs Using A Computing Grid With More than 100 Nodes.
Subramanian K. Iyer
Jawahar Jain
Debashis Sahoo
Takeshi Shimizu
Published in:
Asian Test Symposium (2005)
Keyphrases
</>
model checking
industrial applications
computational grids
formal methods
grid computing
grid points
data sets
root node
asynchronous circuits
quality improvement
small world
graph structure
quality of service
shortest path
face recognition
artificial intelligence
data mining
neural network