Login / Signup
Verification and Implementation of Delay-Insensitive Processes in Restrictive Environments.
Hemangee K. Kapoor
Mark B. Josephs
Dennis P. Furey
Published in:
Fundam. Informaticae (2006)
Keyphrases
</>
delay insensitive
asynchronous circuits
model checking
genetic algorithm
real world
artificial intelligence
information systems
face recognition
software engineering
temporal logic
efficient implementation
parallel implementation
implementation details
verification method