1360 search results - page 162 / 272 » Reasoning on Workflow Executions |
121
click to vote
SIGMOD
2004
ACM
16 years 3 months ago
2004
ACM
Snapshot Isolation (SI), is a multi-version concurrency control algorithm introduced in [BBGMOO95] and later implemented by Oracle. SI avoids many concurrency errors, and it never ...
109
Voted
POPL
2010
ACM
16 years 24 days ago
2010
ACM
Serializability is a commonly used correctness condition in concurrent programming. When a concurrent module is serializable, certain other properties of the module can be verifie...
132
click to vote
PPOPP
2009
ACM
15 years 10 months ago
2009
ACM
Abstract. Transactional memory (TM) promises to simplify construction of parallel applications by allowing programmers to reason about interactions between concurrently executing c...
191
click to vote
ICPP
2009
IEEE
15 years 10 months ago
2009
IEEE
We are currently faced with the situation where applications have increasing computational demands and there is a wide selection of parallel processor systems. In this paper we fo...
127
click to vote
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
This paper presents a model of neural network embodiment of intentions and planning mechanisms for autonomous agents. The model bridges the dichotomy of symbolic and non-symbolic ...