8086 search results - page 1534 / 1618 » On the Implementation of Dynamic Patterns |
157
Voted
EUROSYS
2010
ACM
16 years 22 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...
130
Voted
EUROSYS
2008
ACM
16 years 22 days ago
2008
ACM
Programs written in type-unsafe languages such as C and C++ incur costly memory errors that result in corrupted data structures, program crashes, and incorrect results. We present...
128
Voted
EUROSYS
2007
ACM
16 years 22 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 ...
139
Voted
SOSP
2009
ACM
16 years 16 days ago
2009
ACM
Commodity computer systems contain more and more processor cores and exhibit increasingly diverse architectural tradeoffs, including memory hierarchies, interconnects, instructio...
124
Voted
ASPLOS
2010
ACM
15 years 10 months ago
2010
ACM
The behavior of a multithreaded program does not depend only on its inputs. Scheduling, memory reordering, timing, and low-level hardware effects all introduce nondeterminism in t...