12453 search results - page 101 / 2491 » Concurrent Data Structures |
113
click to vote
DEXA
1999
Springer
15 years 6 months ago
1999
Springer
When spatial objects are replicated at several sites in the network, the updates of a long transaction in a specific site should be propagated to the other sites for maintaining th...
126
click to vote
ICDCS
1990
IEEE
15 years 6 months ago
1990
IEEE
This paper develops some control structures suitable for composing fault-tolerant distrib uted applications using atomic actions (atomic transactions) as building blocks, and then...
129
click to vote
CIKM
2004
Springer
15 years 7 months ago
2004
Springer
Recently, a large amount of work has been done in XML data mining. However, we observed that most of the existing works focus on the snapshot XML data, while XML data is dynamic i...
117
click to vote
ASPLOS
2012
ACM
13 years 9 months ago
2012
ACM
Numerous tools have been proposed to help developers fix software errors and inefficiencies. Widely-used techniques such as memory checking suffer from overheads that limit thei...
124
click to vote
ESEC
1997
Springer
15 years 5 months ago
1997
Springer
Abstract. In this paper we demonstrate how static concurrency analysis techniques can be used to verify application-specific properties of an architecture description. Specifically...