Sciweavers

12453 search results - page 6 / 2491
» Concurrent Data Structures
Sort
View
CONCURRENCY
2008
46views more  CONCURRENCY 2008»
13 years 8 months ago
Towards a Noah's ark for the upcoming data deluge
Alessandro Bassi, Spyros G. Denazis, Pierpaolo Gia...
XSYM
2007
Springer
119views Database» more  XSYM 2007»
14 years 2 months ago
SXDGL: Snapshot Based Concurrency Control Protocol for XML Data
Nowadays, concurrency control for XML data is a big research problem. There are a number of researchers working on this problem, but most of the proposed methods are based on the ...
Peter Pleshachkov, Sergei Kuznetcov
BIRTHDAY
2000
Springer
14 years 1 months ago
Pict: a programming language based on the Pi-Calculus
The -calculus o ers an attractive basis for concurrent programming. It is small, elegant, and well studied, and supports via simple encodings a wide range of high-level constru...
Benjamin C. Pierce, David N. Turner
SAS
2007
Springer
14 years 2 months ago
Modular Safety Checking for Fine-Grained Concurrency
Concurrent programs are difficult to verify because the proof must consider the interactions between the threads. Fine-grained concurrency and heap allocated data structures exacer...
Cristiano Calcagno, Matthew J. Parkinson, Viktor V...
ASPLOS
2008
ACM
13 years 10 months ago
Concurrency control with data coloring
Concurrency control is one of the main sources of error and complexity in shared memory parallel programming. While there are several techniques to handle concurrency control such...
Luis Ceze, Christoph von Praun, Calin Cascaval, Pa...