1724 search results - page 67 / 345 » Models for Concurrency |
CONCURRENCY
2008
13 years 9 months ago
2008
The Resource Space Model is a new semantic data model for managing various resources. Based on the model, this paper proposes a view mechanism for finding and reusing legacy Resou...
PODC
2010
ACM
14 years 22 days ago
2010
ACM
Concurrent collection classes are widely used in multi-threaded programming, but they provide atomicity only for a fixed set of operations. Software transactional memory (STM) pr...
LMO
2000
13 years 10 months ago
2000
The development of flexible and reusable concurrent object-oriented programming ions has suffered from the inherent problem that reusability and extensibility is limited due to pos...
PLDI
2011
ACM
12 years 11 months ago
2011
ACM
In this paper we propose Recon, a new general approach to concurrency debugging. Recon goes beyond just detecting bugs, it also presents to the programmer short fragments of buggy...
IACR
2011
12 years 8 months ago
2011
A zero-knowledge protocol allows a prover to convince a verifier of the correctness of a statement without disclosing any other information to the verifier. It is a basic tool a...