Energy recovery clocked dynamic logic.

Matthew Cooke Hamid Mahmoodi-Meimand Qikai Chen Kaushik Roy

Published in: ACM Great Lakes Symposium on VLSI (2005)

Keyphrases

dynamic logic
reasoning about actions
energy consumption
agent programming
energy minimization
modal logic
propositional dynamic logic
energy saving
first order logic
low power
low energy
recovery algorithm
reverse engineering
imperative programs
propositional logic
image recovery