1737 search results - page 153 / 348 » On Interpolation in Existence Logics |
175
click to vote
ICCAD
2004
IEEE
16 years 4 months ago
2004
IEEE
Polynomial expressions are used to compute a wide variety of mathematical functions commonly found in signal processing and graphics applications, which provide good opportunities...
195
click to vote
CSFW
2008
IEEE
16 years 1 months ago
2008
IEEE
DKAL is a new declarative authorization language for distributed systems. It is based on existential fixed-point logic and is considerably more expressive than existing authoriza...
194
click to vote
ISVLSI
2008
IEEE
16 years 1 months ago
2008
IEEE
A new hybrid CMOS-nanoscale circuit style has been developed that uses only one type of Field Effect Transistor (FET) in the logic portions of a design. This is enabled by CMOS pro...
173
click to vote
DFT
2007
IEEE
16 years 1 months ago
2007
IEEE
We propose and evaluate the use of lazy error detection for a superscalar, out-of-order microprocessor’s functional units. The key insight is that error detection is off the cri...
199
click to vote
DIS
2007
Springer
16 years 1 months ago
2007
Springer
Abductive inference has long been associated with the logic of scientific discovery and automated abduction is now being used in real scientific tasks. But few methods can exploi...