High-speed dynamic logic styles for scaled-down CMOS and MTCMOS technologies.

Mohamed W. Allam Mohab Anis Mohamed I. Elmasry

Published in: ISLPED (2000)

Keyphrases

high speed
dynamic logic
low power
modal logic
imperative programs
high speed networks
real time
frame rate
agent programming
data mining
first order logic
low cost
emerging technologies
reasoning about actions
propositional dynamic logic
temporal logic
expert systems
focal plane
mobile robot