4385 search results - page 5 / 877 » Abstraction for Concurrent Objects |
ISIM
2007
13 years 8 months ago
2007
Abstract. In this paper we presentperformancemeasurementsin a cluster environment. First, we briefly explain our version of optimistic concurrency control and load balance.Then we ...
TAP
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
JACM
2002
13 years 7 months ago
2002
Abstract. Shared registers are basic objects used as communication mediums in asynchronous concurrent computation. A concurrent timestamp system is a higher typed communication obj...
CONCURRENCY
2006
13 years 7 months ago
2006
FM
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...