73 search results - page 12 / 15 » VCC: A Practical System for Verifying Concurrent C |
AROBOTS
2005
13 years 7 months ago
2005
In the recent past, several researchers have shown that important variables in relearning motor skills and in changing the underlying neural architecture after stroke are the quant...
SENSYS
2009
ACM
14 years 2 months ago
2009
ACM
Network protocols are typically designed and tested individually. In practice, however, applications use multiple protocols concurrently. This discrepancy can lead to failures fro...
LCPC
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. As parallelism in microprocessors becomes mainstream, new programming languages and environments are emerging to meet the challenges of parallel programming. To support r...
EUROSYS
2006
ACM
14 years 4 months ago
2006
ACM
Many stateful services use the replicated state machine approach for high availability. In this approach, a service runs on multiple machines to survive machine failures. This pap...
BIRTHDAY
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. A long-running transaction is an interactive component of a distributed system which must be executed as if it were a single atomic action. In principle, it should not be...