338 search results - page 53 / 68 » The design and implementation of formal monitoring technique... |
102
click to vote
SPAA
1998
ACM
15 years 4 months ago
1998
ACM
Modern shared-memory multiprocessors use complex memory system implementations that include a variety of non-trivial and interacting optimizations. More time is spent in verifying...
108
click to vote
PLDI
2011
ACM
14 years 2 months ago
2011
ACM
Information flow is an important security property that must be incorporated from the ground up, including at hardware design time, to provide a formal basis for a system’s roo...
110
click to vote
PLDI
2004
ACM
15 years 5 months ago
2004
ACM
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
PPOPP
2006
ACM
15 years 5 months ago
2006
ACM
We study a family of implementations for linked lists using finegrain synchronisation. This approach enables greater concurrency, but correctness is a greater challenge than for ...
SIGMETRICS
2002
ACM
14 years 11 months ago
2002
ACM
Probability distributions of response times are important in the design and analysis of transaction processing systems and computercommunication systems. We present a general tech...