336 search results - page 15 / 68 » Memories of bug fixes |
84
Voted
TACAS
2010
Springer
15 years 6 months ago
2010
Springer
Modern multicore processors, such as the Cell Broadband Engine, achieve high performance by equipping accelerator cores with small “scratchpad” memories. The price for increase...
92
Voted
CAV
2008
Springer
15 years 28 days ago
2008
Springer
Program verification for relaxed memory models is hard. The high degree of nondeterminism in such models challenges standard verification techniques. This paper proposes a new veri...
105
Voted
CORR
2011
Springer
14 years 5 months ago
2011
Springer
—We present a new model for distributed shared memory systems, based on remote data accesses. Such features are offered by network interface cards that allow one-sided operations...
88
Voted
HPCA
2009
IEEE
15 years 11 months ago
2009
IEEE
The number of functional errors escaping design verification and being released into final silicon is growing, due to the increasing complexity and shrinking production schedules ...
169
Voted
ASPLOS
2011
ACM
14 years 2 months ago
2011
ACM
nt, user-defined objects present an attractive abstraction for working with non-volatile program state. However, the slow speed of persistent storage (i.e., disk) has restricted ...