42 search results - page 9 / 9 » Comparing Static and Dynamic Code Scheduling for Multiple-In... |
SIGSOFT
2005
ACM
14 years 5 months ago
2005
ACM
We develop a method for matching dynamic histories of program executions of two program versions. The matches produced can be useful in many applications including software piracy...
EUROSYS
2010
ACM
14 years 1 months ago
2010
ACM
Bugs in concurrent programs are extremely difficult to find and fix during testing. In this paper, we propose Kivati, which can efficiently detect and prevent atomicity violat...