Search Sciweavers | Sciweavers

12453 search results - page 5 / 2491

» Concurrent Data Structures

120

click to vote

CAV
2010
Springer

239views Hardware» more CAV 2010»

Model Checking of Linearizability of Concurrent List Implementations

15 years 3 months ago

Download www.cis.upenn.edu

Abstract. Concurrent data structures with ﬁne-grained synchronization are notoriously diﬃcult to implement correctly. The diﬃculty of reasoning about these implementations do...

Pavol Cerný, Arjun Radhakrishna, Damien Zuf...

claim paper

Read More »

116

click to vote

COMAD
2008

176views Knowledge Management» more COMAD 2008»

Concurrency Control in Distributed MRA Index Structure

15 years 1 months ago

Download www.cse.iitb.ac.in

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

claim paper

Read More »

click to vote

CONCURRENCY
2006

85views more CONCURRENCY 2006»

A Problem Solving Environment for interactive modelling of multiway data

14 years 12 months ago

Download www.nat.vu.nl

Ivo H. M. van Stokkum, Henri E. Bal

claim paper

Read More »

click to vote

FOCS
2005
IEEE

90views Theoretical Computer Science» more FOCS 2005»

Linear Lower Bounds on Real-World Implementations of Concurrent Objects

15 years 5 months ago

Download www.cs.tau.ac.il

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

claim paper

Read More »

click to vote

CONCURRENCY
2008

85views more CONCURRENCY 2008»

The Weka4WS framework for distributed data mining in service-oriented Grids

14 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers