6181 search results - page 576 / 1237 » Transactional Cluster Computing |
243
click to vote
BIOSIG
2009
15 years 5 months ago
2009
: In ACISP'07, Bringer et al proposed a new approach for remote biometric based verification, which consists of a hybrid protocol that distributes the server side functionalit...
232
click to vote
IC3
2009
15 years 5 months ago
2009
Abstract. This paper presents liveness properties that need to be preserved by Event-B models of distributed systems. Event-B is a formal technique for development of models of dis...
232
click to vote
PVLDB
2011
15 years 2 months ago
2011
New hardware platforms, e.g. cloud, multi-core, etc., have led to a reconsideration of database system architecture. Our Deuteronomy project separates transactional functionality ...
320
click to vote
LADC
2011
Springer
14 years 10 months ago
2011
Springer
Abstract—Replication is a well-established approach to increasing database availability. Many database replication protocols have been proposed for the crash-stop failure model, ...
193
click to vote
PODC
2011
ACM
14 years 10 months ago
2011
ACM
We present the Mindicator, a set implementation customized for shared memory runtime systems. The Mindicator is optimized for constant-time querying of its minimum element, while ...