291 search results - page 33 / 59 » Liveness-Preserving Atomicity Abstraction |
108
click to vote
TCS
2011
14 years 6 months ago
2011
d Abstract) Hagit Attiya and Eshcar Hillel Department of Computer Science, Technion The design of concurrent data structures is greatly facilitated by the availability of synchroni...
118
click to vote
TSP
2010
14 years 6 months ago
2010
Abstract--An efficient and flexible dictionary structure is proposed for sparse and redundant signal representation. The proposed sparse dictionary is based on a sparsity model of ...
ICPR
2000
IEEE
15 years 4 months ago
2000
IEEE
A collection of distributed databases forms an important architectural component of the ATON project for networked incidence management of highway traffic. The database sub-archit...
FATES
2005
Springer
15 years 5 months ago
2005
Springer
We propose a novel, practical coverage metric called “location pairs” (LP) for concurrently-accessed software components. The LP metric captures well common concurrency errors ...
ISOLA
2004
Springer
15 years 5 months ago
2004
Springer
We study consistency, satisfiability, and validity problems for collectively model checking a set of views endowed with labelled transitions, hybrid constraints on states, and ato...