7557 search results - page 33 / 1512 » Modeling Timed Concurrent Systems |
124
click to vote
CRYPTO
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We present a lower bound on the number of rounds required by Concurrent Zero-Knowledge proofs for languages in NP. It is shown that in the context of Concurrent Zero-Know...
CONCURRENCY
2004
15 years 1 months ago
2004
The heterogeneous and dynamic nature of Grid environments place new demands on models and paradigms for parallel programming. In this work we discuss how ALua, a programming syste...
118
click to vote
VLDB
1987
ACM
15 years 4 months ago
1987
ACM
This paper reports on an implementation of Bayer's Time Interval concurrency control method and compares it to the performance of a conventional timestamp method. The impleme...
111
click to vote
POS
1994
Springer
15 years 5 months ago
1994
Springer
The differing requirements for concurrency models in programming languages and databases are widely diverse and often seemingly incompatible. The rigid provision of a particular c...