680 search results - page 55 / 136 » High-Level Data Races |
SOSP
2007
ACM
14 years 5 months ago
2007
ACM
Software defects significantly reduce system dependability. Among various types of software bugs, semantic and concurrency bugs are two of the most difficult to detect. This pape...
FASE
2010
Springer
14 years 2 months ago
2010
Springer
Multithreaded concurrent programs often exhibit bugs due to unintended interferences among the concurrent threads. Such bugs are often hard to reproduce because they typically hap...
SPAA
2004
ACM
14 years 1 months ago
2004
ACM
A key capability of data-race detectors is to determine whether one thread executes logically in parallel with another or whether the threads must operate in series. This paper pr...
RECOMB
2008
Springer
14 years 8 months ago
2008
Springer
Abstract. This paper presents an algorithm to detect lateral gene transfer (LGT) on the basis of pairwise evolutionary distances. The prediction is made from a likelihood ratio der...
PERCOM
2005
ACM
14 years 7 months ago
2005
ACM
Many applications in eLearning utilize wireless networks (WLAN) as a carrier for data and communication. These networks in their basic form are insecure, protecting the communicat...