145
click to vote
DAC
2012
ACM
13 years 7 months ago
2012
ACM
We consider software transactional memory (STM) concurrency control for multicore real-time software, and present a novel contention manager (CM) for resolving transactional conï¬...
139
click to vote
DAC
2012
ACM
13 years 7 months ago
2012
ACM
Near-threshold operation has emerged as a competitive approach for energy-efï¬cient architecture design. In particular, a combination of near-threshold circuit techniques and par...
148
click to vote
DAC
2012
ACM
13 years 7 months ago
2012
ACM
In this work, we propose a fast and accurate chip/package thermomechanical stress and reliability co-analysis tool for TSV-based 3D ICs. We also present a design optimization meth...
167
click to vote
DAC
2012
ACM
13 years 7 months ago
2012
ACM
Improving detailed routing routability is an important objective of a global router. In this paper, we propose GDRouter, an interleaved global routing and detailed routing algorit...
176
click to vote
DAC
2012
ACM
13 years 7 months ago
2012
ACM
Spin-Transfer Torque RAM (STT-RAM) is an emerging non-volatile memory (NVM) technology that has the potential to replace the conventional on-chip SRAM caches for designing a more ...
163
click to vote
JACM
2012
13 years 7 months ago
2012
A fundamental problem in data management is to draw and maintain a sample of a large data set, for approximate query answering, selectivity estimation, and query planning. With la...
227
click to vote
TSE
2012
13 years 7 months ago
2012
d Abstractions for Contract Validation Guido de Caso, VÃctor Braberman, Diego Garbervetsky and Sebastián Uchitel —Pre/post condition-based speciï¬cations are common-place in a...
156
click to vote
TSE
2012
13 years 7 months ago
2012
— As firms increasingly rely on information systems to perform critical functions the consequences of software defects can be catastrophic. Although the software engineering lite...
