Self-timed logic using Current-Sensing Completion Detection (CSCD).

Mark E. Dean David L. Dill Mark Horowitz

Published in: J. VLSI Signal Process. (1994)

Keyphrases

detection algorithm
real time
sensor networks
object detection
logic programming
detection method
detection rate
detection accuracy
false positives
automatic detection
automated reasoning
detection scheme
predicate logic
face detection
low power
set theory