1059 search results - page 28 / 212 » Standard Logics Are Valuation-Nonmonotonic |
173
click to vote
CSFW
2006
IEEE
16 years 4 days ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
144
click to vote
ASPDAC
2006
ACM
16 years 1 days ago
2006
ACM
— This paper shows a new type of a cycle-based logic simulation method using a Look-Up Table (LUT) cascade emulator. The method first transforms a given circuit into LUT cascade...
157
click to vote
KCAP
2003
ACM
15 years 11 months ago
2003
ACM
Modularity is a key requirement for large ontologies in order to achieve re-use, maintainability, and evolution. Mechanisms for ‘normalisation’ to achieve analogous aims are s...
145
click to vote
ISLPED
1999
ACM
15 years 10 months ago
1999
ACM
This paper describes a new mixed-swing topology for dual-rail domino logic that results in a simultaneous energy and delay reduction. HSPICE simulation results for a 1-bit full ad...
181
click to vote
RCC
2002
15 years 5 months ago
2002
In recent years Arvind's Group at MIT has shown the usefulness of term rewriting theory for the specification of processor architectures. In their approach processors specifi...