1061 search results - page 43 / 213 » Dependently Sorted Logic |
133
click to vote
TCAD
1998
15 years 1 months ago
1998
—This paper addresses, from a probabilistic point of view, the issue of switching activity estimation in combinational circuits under the zero-delay model. As the main theoretica...
122
click to vote
INFORMATICALT
2007
15 years 1 months ago
2007
The paper presents, first, the Structural Blanks (SB) approach, then a method to compose loop programs. SB is an approach for expressing computations based on recurrence relations...
107
click to vote
ISCA
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper presents a high-availability system architecture called INDRA — an INtegrated framework for Dependable and Revivable Architecture that enhances a multicore processor ...
102
Voted
IEEEPACT
2002
IEEE
15 years 6 months ago
2002
IEEE
Memory dependence prediction allows out-of-order issue processors to achieve high degrees of instruction level parallelism by issuing load instructions at the earliest time withou...
124
click to vote
ISSTA
2010
ACM
15 years 3 months ago
2010
ACM
This paper presents a new technique, called Symbolic Program Decomposition (or SPD), for symbolic execution of multiple paths that is more scalable than existing techniques, which...