252 search results - page 11 / 51 » Dynamic Symbolic Execution of Distributed Concurrent Objects |
CJ
2010
13 years 4 months ago
2010
A concurrent object is an object that can be concurrently accessed by several processes. Sequential consistency is a consistency criterion for such objects. Informally, it states ...
ISORC
2006
IEEE
14 years 1 months ago
2006
IEEE
Open multithreaded transactions constitute building blocks that allow a developer to design and structure the execution of complex distributed systems featuring cooperative and co...
IPPS
1996
IEEE
13 years 11 months ago
1996
IEEE
This paper introduces an analysis technique, commutativity analysis, for automatically parallelizing computations that manipulate dynamic, pointer-based data structures. Commutati...
ASM
2000
ASM
13 years 12 months ago
2000
ASM
We define the dynamic semantics of UML State Machines which integrate statecharts with the UML object model. The use of ASMs allows us (a) to rigorously model the event driven run...
PACT
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. This paper describes a mechanism for “fusing” concurrent invocations of exclusive methods. The target of our work is object-oriented languages with concurrent extensi...