544 search results - page 55 / 109 » Testing concurrent programs using value schedules |
ASPLOS
2010
ACM
15 years 4 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...
ICSM
2005
IEEE
15 years 3 months ago
2005
IEEE
Regression testing is a widely-used method for checking whether modifications to software systems have adversely affected the overall functionality. This is potentially an expens...
109
click to vote
APSEC
2001
IEEE
15 years 1 months ago
2001
IEEE
Word processing software, email, and spreadsheet have revolutionized office activities. There are many other office tasks that are amenable to automation, such as: scheduling a vi...
106
click to vote
SENSYS
2010
ACM
14 years 7 months ago
2010
ACM
Wireless sensor networks (WSNs) are hard to program due to unconventional programming models used to satisfy stringent resource constraints. The common event-driven concurrent pro...
ISOLA
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Memory models of shared memory concurrent programs define the values a read of a shared memory location is allowed to see. Such memory models are typically weaker than t...