148 search results - page 15 / 30 » Automated Systematic Testing of Open Distributed Programs |
197
click to vote
ASPLOS
2009
ACM
16 years 2 months ago
2009
ACM
Multicore hardware is making concurrent programs pervasive. Unfortunately, concurrent programs are prone to bugs. Among different types of concurrency bugs, atomicity violation bu...
101
Voted
ICLP
2005
Springer
15 years 7 months ago
2005
Springer
This paper presents a reactive programming and triggering framework for the coordination of a large number of distributed agents with shared knowledge. At the heart of this framewo...
122
click to vote
DSN
2009
IEEE
15 years 9 months ago
2009
IEEE
Dynamic symbolic execution is a structural testing technique that systematically explores feasible paths of the program under test by running the program with different test input...
121
click to vote
ASPDAC
2008
ACM
15 years 4 months ago
2008
ACM
Power dissipation is quickly becoming one of the most important limiters in nanometer IC design for leakage increases exponentially as the technology scaling down. However, power ...
102
Voted
KR
2000
Springer
15 years 5 months ago
2000
Springer
Large-scale ontologies are becoming an essential component of many applications including standard search (such as Yahoo and Lycos), ecommerce (such as Amazon and eBay), configura...