50 search results - page 8 / 10 » Producing scheduling that causes concurrent programs to fail |
DATE
2010
IEEE
13 years 11 months ago
2010
IEEE
Abstract—Modern embedded multimedia systems process multiple concurrent streams of data processing jobs. Streams often have throughput requirements. These jobs are implemented on...
SC
1992
ACM
13 years 9 months ago
1992
ACM
A common debugging strategy involves reexecuting a program (on a given input) over and over, each time gaining more information about bugs. Such techniques can fail on message-pas...
PLDI
2009
ACM
14 years 17 days ago
2009
ACM
Data races are one of the most common and subtle causes of pernicious concurrency bugs. Static techniques for preventing data races are overly conservative and do not scale well t...
POPL
2012
ACM
12 years 1 months ago
2012
ACM
Data races are among the most reliable indicators of programming errors in concurrent software. For at least two decades, Lamport’s happens-before (HB) relation has served as th...
POPL
2004
ACM
14 years 6 months ago
2004
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected interactions between concurrent threads. Much previous work has focused on det...