1737 search results - page 156 / 348 » On Interpolation in Existence Logics |
175
click to vote
TPHOL
2003
IEEE
16 years 14 days ago
2003
IEEE
Abstract. We show that certain input-output relations, termed inductive invariants are of central importance for termination proofs of algorithms defined by nested recursion. Indu...
216
click to vote
DATE
2002
IEEE
16 years 5 days ago
2002
IEEE
Many approaches recently proposed for high-speed asynchronous pipelines are applicable only to linear datapaths. However, real systems typically have non-linearities in their data...
162
click to vote
ISMVL
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper considers an optimization method of programmable logic arrays (PLAs), which have two-input EXOR gate at the outputs. The PLA realizes an EXOR of two sum-of-products exp...
206
click to vote
FUZZY
1999
Springer
15 years 11 months ago
1999
Springer
The clinical interpretation of fetal heart rate traces is a difficult task that has led to the development computerised assessment systems. These systems are limited by their inabi...
143
click to vote
ASPDAC
1998
ACM
15 years 11 months ago
1998
ACM
-- The logic construction of a double-edge-triggered (DET) flip-flop, which can receive input signal at two levels of the clock, is analyzed and a new circuit design of CMOS DET fl...