10715 search results - page 2010 / 2143 » From Tests to Proofs |
186
click to vote
ISCA
2009
IEEE
16 years 18 days ago
2009
IEEE
Detecting data races in parallel programs is important for both software development and production-run diagnosis. Recently, there have been several proposals for hardware-assiste...
157
click to vote
WABI
2009
Springer
16 years 16 days ago
2009
Springer
Background: Supertree methods comprise one approach to reconstructing large molecular phylogenies given multi-marker datasets: trees are estimated on each marker and then combined...
167
click to vote
ATAL
2009
Springer
16 years 16 days ago
2009
Springer
Multiagent systems are often characterized by complex, and sometimes unpredictable interactions amongst their autonomous components. While these systems can provide robust and sca...
151
click to vote
CIKM
2009
Springer
16 years 16 days ago
2009
Springer
In this paper we study approximate landmark-based methods for point-to-point distance estimation in very large networks. These methods involve selecting a subset of nodes as landm...
152
click to vote
ESWS
2009
Springer
16 years 15 days ago
2009
Springer
Despite serious research efforts, automatic ontology matching still suffers from severe problems with respect to the quality of matching results. Existing matching systems trade-of...