503 search results - page 61 / 101 » Interpolative Boolean Logic |
110
click to vote
FOSSACS
2006
Springer
15 years 4 months ago
2006
Springer
We define a new decidable logic for expressing and checking invariants of programs that manipulate dynamically-allocated objects via pointers and destructive pointer updates. The ...
82
Voted
DAC
2009
ACM
16 years 1 months ago
2009
ACM
This paper describes a function-based timing-driven optimization technique for the synthesis of multi-level logic circuits. Motivated by the principles of parallel prefix computat...
110
click to vote
SAT
2009
Springer
15 years 7 months ago
2009
Springer
Default logic was introduced by Reiter in 1980. In 1992, Gottlob classified the complexity of the extension existence problem for propositional default logic as Σp 2-complete, an...
128
click to vote
ECOOP
2010
Springer
15 years 4 months ago
2010
Springer
Specifications of Object-Oriented programs conventionally employ Boolean expressions of the programming language for assertions. Programming errors can be discovered by checking at...
126
Voted
GLVLSI
2010
IEEE
15 years 5 months ago
2010
IEEE
Researchers are looking for alternatives to overcome the upcoming limits of conventional hardware technologies. Reversible logic thereby established itself as a promising directio...