4323 search results - page 752 / 865 » Callback Implementations in C |
155
Voted
EUROSYS
2010
ACM
16 years 19 days 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...
133
Voted
EUROSYS
2008
ACM
16 years 19 days ago
2008
ACM
The tuple space coordination model is one of the most interesting coordination models for open distributed systems due to its space and time decoupling and its synchronization pow...
125
Voted
EUROSYS
2007
ACM
16 years 19 days ago
2007
ACM
In most modern operating systems, a process is a -protected abstraction for isolating code and data. This protection, however, is selective. Many common mechanisms—dynamic code ...
160
Voted
EUROSYS
2007
ACM
16 years 19 days ago
2007
ACM
Virtual memory has been successfully used in different domains to extend the amount of memory available to applications. We have adapted this mechanism to sensor networks, where,...
141
Voted
EUROSYS
2006
ACM
16 years 19 days ago
2006
ACM
Run-time conflicts can affect even the most rigorously tested software systems. A reliance on execution-based testing makes it prohibitively costly to test every possible interac...