3931 search results - page 165 / 787 » Separation logic and abstraction |
167
click to vote
APCCAS
2006
IEEE
16 years 17 days ago
2006
IEEE
Abstract— This paper proposes a novel two-phase drive adiabatic dynamic CMOS logic circuit (2PADCL). The proposed 2PADCL uses two complementary sinusoidal power supply clocks and...
169
click to vote
BIRTHDAY
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. The vision of a Semantic Web has recently drawn considerable attention, both from academia and industry. Description logics are often named as one of the tools that can s...
157
click to vote
ICALP
2005
Springer
16 years 23 hour ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...
148
click to vote
DIAGRAMS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We have developed a diagrammatic logic for theorem proving, focusing on the domain of metric-space analysis (a geometric domain, but traditionally taught using a dry alge...
152
click to vote
PATMOS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The logical effort method has appeared very convenient for fast estimation and optimization of single paths. However it necessitates a calibration of all the gates of the...