1953 search results - page 290 / 391 » codes 2010 |
121
Voted
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
We examine the problem of minimizing feedbacks in reliable wireless broadcasting, by pairing rateless coding with extreme value theory. Our key observation is that, in a broadcast ...
139
click to vote
MICRO
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--Parallel programming is hard, because it is impractical to test all possible thread interleavings. One promising approach to improve a multi-threaded program's relia...
135
Voted
MICRO
2010
IEEE
15 years 1 months ago
2010
IEEE
A particularly insidious type of concurrency bug is atomicity violations. While there has been substantial work on automatic detection of atomicity violations, each existing techn...
179
click to vote
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
149
click to vote
VSTTE
2010
Springer
15 years 1 months ago
2010
Springer
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...