1151 search results - page 151 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
157
click to vote
CAV
2001
Springer
15 years 8 months ago
2001
Springer
We consider the randomized consensus protocol of Aspnes and Herlihy for achieving agreement among N asynchronous processes that communicate via read/write shared registers. The alg...
129
click to vote
DATE
2007
IEEE
15 years 10 months ago
2007
IEEE
Customizable processors are being used increasingly often in SoC designs. During the past few years, they have proven to be a good way to solve the conflicting flexibility and p...
132
click to vote
ASPLOS
2006
ACM
15 years 10 months ago
2006
ACM
While the number of transistors on a chip increases exponentially over time, the productivity that can be realized from these systems has not kept pace. To deal with the complexit...
128
click to vote
ICCD
2004
IEEE
16 years 1 months ago
2004
IEEE
Leakage current is a key factor in IC power consumption even in the active operating mode. We investigate the simultaneous optimization of gate size and threshold voltage to reduc...
146
click to vote
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents VISTA, a new methodology and tool dedicated to analyse system level performance by executing full-scale SW application code on a transaction-level model of the...