6045 search results - page 833 / 1209 » Computable Linearizations of Well-partial-orderings |
199
click to vote
VLSID
2007
IEEE
16 years 7 months ago
2007
IEEE
Leakage power is becoming a dominant contributor to the total power consumption and dual-Vth assignment is an efficient technique to decrease leakage power, for which effective de...
169
click to vote
VLSID
2002
IEEE
16 years 7 months ago
2002
IEEE
We present a mathematical model for the problem of scheduling tests for core-based system-on-chip (SOC) VLSI designs. Given a set of tests for each core in the SOC and a set of te...
171
click to vote
VLSID
2001
IEEE
16 years 7 months ago
2001
IEEE
This paper presents novel techniques for the cycle-accurate power macro-modeling of complex RTL components. The proposed techniques are based on the observation that RTL component...
194
click to vote
STOC
2007
ACM
16 years 7 months ago
2007
ACM
One of the main reasons of the recent success of peer to peer (P2P) file sharing systems such as BitTorrent is its built-in tit-for-tat mechanism. In this paper, we model the band...
203
click to vote
OSDI
2008
ACM
16 years 7 months ago
2008
ACM
MapReduce is emerging as an important programming model for large-scale data-parallel applications such as web indexing, data mining, and scientific simulation. Hadoop is an open-...