1015 search results - page 35 / 203 » Syntactic Control of Concurrency |
ATVA
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Controlling concurrent systems to impose some global invariant is an undecidable problem. One can gain decidability at the expense of reducing concurrency. Even under thi...
ICSE
2012
IEEE-ACM
11 years 11 months ago
2012
IEEE-ACM
Abstract—Atomicity, a general correctness criterion in concurrency programs, is often violated in real-world applications. The violations are difficult for developers to fix, m...
EWSPT
1994
Springer
14 years 18 days ago
1994
Springer
Abstract. Interact Intermediate supports goal-directed process modeling in such a way as to maximize the concurrency of activities and to minimize the direct control of humans in t...
INFSOF
2006
13 years 8 months ago
2006
Providing efficient access to XML documents becomes crucial in XML database systems. More and more concurrency control protocols for XML database systems were proposed in the past...
ICCI
1993
14 years 18 days ago
1993
Locking and timestamping are two popular approaches to concurrency control in databases systems. Although more than a dozen analytic performance studies of locking techniques have...