544 search results - page 13 / 109 » Testing concurrent programs using value schedules |
107
click to vote
PLDI
2011
ACM
14 years 15 days ago
2011
ACM
In this paper we propose Recon, a new general approach to concurrency debugging. Recon goes beyond just detecting bugs, it also presents to the programmer short fragments of buggy...
SIGSOFT
2004
ACM
15 years 3 months ago
2004
ACM
In run-time safety analysis the executions of a concurrent program are monitored and analyzed with respect to safety properties. Similar to testing, run-time analysis is quite eï¬...
102
click to vote
AGENTS
2000
Springer
15 years 2 months ago
2000
Springer
Before the powerful agent programming paradigm can be adopted in commercial or industrial settings, a complete environment, similar to that for other programming languages, must b...
BMCBI
2008
14 years 9 months ago
2008
Background: A priori analysis of the activity of drugs on the target protein by computational approaches can be useful in narrowing down drug candidates for further experimental t...
PERCOM
2010
ACM
14 years 8 months ago
2010
ACM
Abstract—This paper looks at the scalability problems inherent in the Active Bat system: an outside-in ultrasonic location system. Such systems are typically associated with high...