4421 search results - page 175 / 885 » Libraries |
107
click to vote
ASAP
1997
IEEE
15 years 6 months ago
1997
IEEE
This paper presents a method, based on the formalism of affine recurrence equations, for the synthesis of digital circuits exploiting parallelism at the bit-level. In the initial ...
CODES
1997
IEEE
15 years 6 months ago
1997
IEEE
ICLP
1998
Springer
15 years 6 months ago
1998
Springer
Implementing a compiler for a language with nondeterministic features is known to be a difficult task. This paper presents two new functions setChoicePoint and fail that extend th...
SIGADA
1998
Springer
15 years 5 months ago
1998
Springer
