Sign in
Logical Reliability of Interacting Real-Time Tasks.
Krishnendu Chatterjee
Arkadeb Ghosal
Thomas A. Henzinger
Daniel T. Iercan
Christoph M. Kirsch
Claudio Pinello
Alberto L. Sangiovanni-Vincentelli
Published in:
DATE (2008)
Keyphrases
</>
real time
low cost
high reliability
search algorithm
multiple tasks
knowledge base
vision system
high speed
logical reasoning
high fidelity
digital libraries
multiscale
face recognition
website
multimedia
information retrieval
databases