Modeling and Verification of Globally Asynchronous and Locally Synchronous Ring Architectures.

Sohini Dasgupta Alexandre Yakovlev

Published in: DATE (2005)

Keyphrases

asynchronous communication
neural network
computer vision
model checking
asynchronous circuits
real time
real world
artificial intelligence
multiscale
search algorithm
face verification
formal methods
verification method
colored petri nets