Sciweavers

2438 search results - page 90 / 488
» Consistent Gradient Operators
Sort
View
PODC
2010
ACM
15 years 10 months ago
Eventually linearizable shared objects
Linearizability is the strongest known consistency property of shared objects. In asynchronous message passing systems, Linearizability can be achieved with 3S and a majority of c...
Marco Serafini, Dan Dobre, Matthias Majuntke, P&ea...
OSDI
2004
ACM
16 years 6 months ago
Chain Replication for Supporting High Throughput and Availability
Chain replication is a new approach to coordinating clusters of fail-stop storage servers. The approach is intended for supporting large-scale storage services that exhibit high t...
Robbert van Renesse, Fred B. Schneider
SIGOPSE
1998
ACM
15 years 10 months ago
The PerDiS FS: a transactional file system for a distributed persistent store
Companies cooperating in the framework of a virtual enterprise have increasing demands for systems on which to base applications for their particular environment: groups of worker...
João Garcia, Paulo Ferreira, Paulo Guedes
IJCAI
2003
15 years 7 months ago
Finite Domain Constraint Solver Learning
paper, we present an abstract framework for learning a finite domain constraint solver modeled by a set of operators enforcing a consistency. The behavior of the consistency to be...
Arnaud Lallouet, Thi-Bich-Hanh Dao, Andrei Legtche...
SYNTHESE
2008
80views more  SYNTHESE 2008»
15 years 6 months ago
Majority merging by adaptive counting
The present paper introduces a belief merging procedure by majority using the standard format of Adaptive Logics. The core structure of the logic ADMc (Adaptive Doxastic Merging by...
Giuseppe Primiero, Joke Meheus