Login / Signup
Power-Aware Branch Logic: A Hardware Based Technique for Filtering Access to Branch Logic.
Sung-Hoon Shim
Jong Wook Kwak
Cheol Hong Kim
Sung Tae Jhang
Chu Shik Jhon
Published in:
SAMOS (2005)
Keyphrases
</>
modal logic
digital circuits
chip design
logic programming
classical logic
predicate logic
real time
proof theory
computational power
multi valued
logical framework
sound and complete axiomatization
image processing
low cost
automated reasoning
computational properties