7452 search results - page 1143 / 1491 » A Semantics for Multiprocessor Systems |
171
click to vote
SIGMOD
2004
ACM
16 years 7 months ago
2004
ACM
We discuss four different core protocols for synchronizing access to and modifications of XML document collections. These core protocols synchronize structure traversals and modif...
170
click to vote
SIGMOD
2003
ACM
16 years 7 months ago
2003
ACM
Model management aims at reducing the amount of programming needed for the development of metadata-intensive applications. We present a first complete prototype of a generic model...
194
click to vote
PODS
2005
ACM
16 years 7 months ago
2005
ACM
Abstract. We present a semantics and answer set programs for relational peer data exchange systems. When a peer answers a query, it exchanges data with other peers in order to supp...
163
click to vote
ICFP
2004
ACM
16 years 6 months ago
2004
ACM
It is possible to extend the basic notion of "function call" to allow functions to have multiple return points. This turns out to be a surprisingly useful mechanism. Thi...
189
click to vote
PPOPP
2010
ACM
16 years 4 months ago
2010
ACM
This poster is a case study on the application of a novel programming model, called Concurrent Collections (CnC), to the implementation of an asynchronous-parallel algorithm for c...