11172 search results - page 2162 / 2235 » Testing Physical Systems |
154
Voted
EUROSYS
2010
ACM
16 years 17 days ago
2010
ACM
Bugs in concurrent programs are extremely difficult to find and fix during testing. In this paper, we propose Kivati, which can efficiently detect and prevent atomicity violat...
118
Voted
EUROSYS
2008
ACM
16 years 17 days ago
2008
ACM
The internal libraries of Linux are evolving rapidly, to address new requirements and improve performance. These evolutions, however, entail a massive problem of collateral evolut...
122
click to vote
RECOMB
2010
Springer
15 years 10 months ago
2010
Springer
Constructing quantitative dynamic models of signaling pathways is an important task for computational systems biology. Pathway model construction is often an inherently incremental...
137
Voted
ASPLOS
2010
ACM
15 years 10 months ago
2010
ACM
Computer systems often fail due to many factors such as software bugs or administrator errors. Diagnosing such production run failures is an important but challenging task since i...
117
Voted
ASPLOS
2010
ACM
15 years 10 months ago
2010
ACM
Debugging concurrent programs is difficult. This is primarily because the inherent non-determinism that arises because of scheduler interleavings makes it hard to easily reproduc...