User profiles for Carlos Baquero
Carlos BaqueroProfessor at DEI, FEUP, University of Porto. Researcher at HASLab, INESC TEC. Verified email at fe.up.pt Cited by 4594 |
A survey of distributed data aggregation algorithms
Distributed data aggregation is an important task, allowing the decentralized determination
of meaningful global properties, which can then be used to direct the execution of other …
of meaningful global properties, which can then be used to direct the execution of other …
Conflict-free replicated data types
Replicating data under Eventual Consistency (EC) allows any replica to accept updates
without remote synchronisation. This ensures performance and scalability in large-scale …
without remote synchronisation. This ensures performance and scalability in large-scale …
A comprehensive study of convergent and commutative replicated data types
Eventual consistency aims to ensure that replicas of some mutable shared object converge
without foreground synchronisation. Previous approaches to eventual consistency are ad-…
without foreground synchronisation. Previous approaches to eventual consistency are ad-…
Scalable bloom filters
Bloom filters provide space-efficient storage of sets at the cost of a probability of false
positives on membership queries. The size of the filter must be defined a priori based on the …
positives on membership queries. The size of the filter must be defined a priori based on the …
Making operation-based CRDTs operation-based
Conflict-free Replicated Datatypes can simplify the design of predictable eventual consistency.
They can be classified into state-based or operation-based. Operation-based approaches …
They can be classified into state-based or operation-based. Operation-based approaches …
Interval tree clocks: a logical clock for dynamic systems
Causality tracking mechanisms, such as vector clocks and version vectors, rely on mappings
from globally unique identifiers to integer counters. In a system with a well known set of …
from globally unique identifiers to integer counters. In a system with a well known set of …
State-machine replication for planet-scale systems
Online applications now routinely replicate their data at multiple sites around the world. In this
paper we present Atlas, the first state-machine replication protocol tailored for such planet-…
paper we present Atlas, the first state-machine replication protocol tailored for such planet-…
Delta state replicated data types
Conflict-free Replicated Data Types (CRDTs) are distributed data types that make eventual
consistency of a distributed object possible and non ad-hoc. Specifically, state-based CRDTs …
consistency of a distributed object possible and non ad-hoc. Specifically, state-based CRDTs …
Extrema propagation: Fast distributed estimation of sums and network sizes
Aggregation of data values plays an important role on distributed computations, in particular,
over peer-to-peer and sensor networks, as it can provide a summary of some global system …
over peer-to-peer and sensor networks, as it can provide a summary of some global system …
Efficient state-based crdts by delta-mutation
CRDTs are distributed data types that make eventual consistency of a distributed object
possible and non ad-hoc. Specifically, state-based CRDTs ensure convergence through …
possible and non ad-hoc. Specifically, state-based CRDTs ensure convergence through …