5180 search results - page 101 / 1036 » Concurrency, Time, and Constraints |
190
click to vote
CONCUR
2010
Springer
15 years 7 months ago
2010
Springer
Optimistic concurrency algorithms provide good performance for parallel programs but they are extremely hard to reason about. Program logics such as concurrent separation logic and...
161
click to vote
ECOOP
2005
Springer
15 years 12 months ago
2005
Springer
There are many algorithms for concurrent garbage collection, but they are complex to describe, verify, and implement. This has resulted in a poor understanding of the relationships...
285
click to vote
CRYPTO
2004
Springer
15 years 11 months ago
2004
Springer
In the bare public-key model (BPK in short), each verifier is assumed to have deposited a public key in a file that is accessible by all users at all times. In this model, intro...
148
click to vote
PACT
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. This paper describes a mechanism for “fusing” concurrent invocations of exclusive methods. The target of our work is object-oriented languages with concurrent extensi...
170
click to vote
FORMATS
2006
Springer
15 years 10 months ago
2006
Springer
This paper argues that basing the semantics of concurrent systems on the notions of state and state transitions is neither advisable nor necessary. The tendency to do this is deepl...