14244 search results - page 2324 / 2849 » Modeling Program Predictability |
141
click to vote
ASPLOS
2010
ACM
15 years 12 months ago
2010
ACM
Temperature is a dominant factor in the performance, reliability, and leakage power consumption of modern processors. As a result, increasing numbers of researchers evaluate therm...
139
click to vote
ASPLOS
2009
ACM
15 years 12 months ago
2009
ACM
This paper explores the architectural implications of integrating computation and molecular probes to form nanoscale sensor processors (nSP). We show how nSPs may enable new compu...
195
click to vote
POPL
2009
ACM
15 years 12 months ago
2009
ACM
Transactional memory (TM) provides a safer, more modular, and more scalable alternative to traditional lock-based synchronization. Implementing high performance TM systems has rec...
153
click to vote
SAC
2009
ACM
15 years 12 months ago
2009
ACM
Despite much research in the area of wireless sensor networks in recent years, the programming of sensor nodes is still time-consuming and tedious. A new paradigm which seems to b...
136
Voted
FOSSACS
2009
Springer
15 years 12 months ago
2009
Springer
Standard analysis on recursive data structures restrict their attention to shape properties (for instance, a program that manipulates a list returns a list), excluding properties t...