Sciweavers

12453 search results - page 29 / 2491
» Concurrent Data Structures
Sort
View
SBBD
2004
137views Database» more  SBBD 2004»
15 years 1 months ago
A Lock Manager for Collaborative Processing of Natively Stored XML Documents
Today, neither transactional provisions, in general, nor concurrency control, in particular, of DBMS-based processing are tailored to the specific needs of large and collaborative...
Michael Peter Haustein, Theo Härder
ICCAD
2006
IEEE
96views Hardware» more  ICCAD 2006»
15 years 8 months ago
Loop pipelining for high-throughput stream computation using self-timed rings
We present a technique for increasing the throughput of stream processing architectures by removing the bottlenecks caused by loop structures. We implement loops as self-timed pip...
Gennette Gill, John Hansen, Montek Singh
AIS
1998
Springer
14 years 11 months ago
The Synergy of Learning Organisations and Flexible Information Technology
The switch from the Command-and-Control to Learning Organisation paradigm in the area of organisational theory is well understood. It is less well appreciated that learning organi...
George Rzevski, Kumkum Prasad
SIGCOMM
2006
ACM
15 years 5 months ago
Beyond bloom filters: from approximate membership checks to approximate state machines
Many networking applications require fast state lookups in a concurrent state machine, which tracks the state of a large number of flows simultaneously. We consider the question ...
Flavio Bonomi, Michael Mitzenmacher, Rina Panigrah...
LOGCOM
2007
126views more  LOGCOM 2007»
14 years 11 months ago
A Structural Proof of the Soundness of Rely/guarantee Rules
Various forms of rely/guarantee conditions have been used to record and reason about interference in ways that provide compositional development methods for concurrent programs. Th...
Joey W. Coleman, Cliff B. Jones