3831 search results - page 163 / 767 » Dynamic Context Logic |
111
click to vote
DAC
2007
ACM
16 years 5 months ago
2007
ACM
This paper describes a family of novel dynamically reconfigurable logic gates based on double-gate carbon nanotube field-effect transistors which demonstrate p-type or n-type switc...
161
click to vote
FMOODS
2003
15 years 5 months ago
2003
This paper outlines a sound and complete Hoare logic for a sequential object-oriented language with inheritance and subtyping like Java. It describes a weakest precondition calculu...
134
click to vote
ECAL
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We propose the use of Deterministic Generalized Asynchronous Random Boolean Networks [1] as models of contextual deterministic discrete dynamical systems. We show that ch...
131
click to vote
FPL
2004
Springer
15 years 9 months ago
2004
Springer
This paper describes the synthesis of dynamic differential logic to increase the resistance of FPGAs against Differential Power Analysis. Compared with an existing technique, it sa...
127
click to vote
ENGL
2006
15 years 4 months ago
2006
We develop a tracking controller for the dynamic model of unicycle mobile robot by integrating a kinematic controller and a torque controller based on Fuzzy Logic Theory. Computer ...