Reasoning about synchronization in GALS systems.

Supratik Chakraborty Joycee Mekie Dinesh K. Sharma

Published in: Formal Methods Syst. Des. (2006)

Keyphrases

computer systems
learning systems
decision trees
information technology
intelligent systems
complex systems
real time
neural network
information retrieval
information systems
bayesian networks
management system
building blocks
computing systems
qualitative reasoning
systems require