4263 search results - page 632 / 853 » Learning without Coding |
122
click to vote
MICRO
2010
IEEE
15 years 6 days 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...
167
Voted
OOPSLA
2010
Springer
15 years 6 days 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...
115
click to vote
SIGSOFT
2010
ACM
15 years 5 days ago
2010
ACM
Empirical studies of software defects rely on links between bug databases and program code repositories. This linkage is typically based on bug-fixes identified in developer-enter...
134
Voted
VSTTE
2010
Springer
15 years 5 days 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...
149
click to vote
ICS
2009
Tsinghua U.
15 years 1 days ago
2009
Tsinghua U.
Data de-duplication has become a commodity component in dataintensive systems and it is required that these systems provide high reliability comparable to others. Unfortunately, b...