9532 search results - page 1696 / 1907 » Logic, Graphs, and Algorithms |
120
click to vote
SC
2000
ACM
15 years 9 months ago
2000
ACM
The performance of the MPI’s collective communications is critical in most MPI-based applications. A general algorithm for a given collective communication operation may not giv...
158
click to vote
AGP
1999
IEEE
15 years 9 months ago
1999
IEEE
Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunifica...
119
click to vote
ASYNC
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper discusses the application of the timing analysis tool ATACS to the high performance, self-resetting and delayed-reset domino circuits being designed at IBM's Austi...
150
click to vote
DAC
1999
ACM
15 years 9 months ago
1999
ACM
Dual threshold technique has been proposed to reduce leakage power in low voltage and low power circuits by applying a high threshold voltage to some transistors in non-critical p...
142
click to vote
CP
1998
Springer
15 years 9 months ago
1998
Springer
In a faulty digital circuit, many (single) faulty gates may explain the observed findings. In this paper we are mostly concerned, not in obtaining alternative diagnoses, but rathe...