Sciweavers

12453 search results - page 5 / 2491
» Concurrent Data Structures
Sort
View
CAV
2010
Springer
239views Hardware» more  CAV 2010»
14 years 19 days ago
Model Checking of Linearizability of Concurrent List Implementations
Abstract. Concurrent data structures with fine-grained synchronization are notoriously difficult to implement correctly. The difficulty of reasoning about these implementations do...
Pavol Cerný, Arjun Radhakrishna, Damien Zuf...
COMAD
2008
13 years 10 months ago
Concurrency Control in Distributed MRA Index Structure
Answering aggregate queries like sum, count, min, max over regions containing moving objects is often needed for virtual world applications, real-time monitoring systems, etc. Sin...
Neha Singh, S. Sudarshan
CONCURRENCY
2006
85views more  CONCURRENCY 2006»
13 years 8 months ago
A Problem Solving Environment for interactive modelling of multiway data
Ivo H. M. van Stokkum, Henri E. Bal
FOCS
2005
IEEE
14 years 2 months ago
Linear Lower Bounds on Real-World Implementations of Concurrent Objects
This paper proves   ¡ £ ¥ lower bounds on the time to perform a single instance of an operation in any implementation of a large class of data structures shared by £ processe...
Faith Ellen Fich, Danny Hendler, Nir Shavit
CONCURRENCY
2008
85views more  CONCURRENCY 2008»
13 years 8 months ago
The Weka4WS framework for distributed data mining in service-oriented Grids
Domenico Talia, Paolo Trunfio, Oreste Verta