Sciweavers

2438 search results - page 90 / 488
» Consistent Gradient Operators
Sort
View
PODC
2010
ACM
15 years 1 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
15 years 10 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 2 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
14 years 11 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»
14 years 9 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