Zobrazeno 1 - 10
of 90
pro vyhledávání: '"Almeida, Paulo Sérgio"'
Autor:
Almeida, Paulo Sérgio
We define am axiomatic timeless framework for asynchronous distributed systems, together with well-formedness and consistency axioms, which unifies and generalizes the expressive power of current approaches. 1) It combines classic serialization per-p
Externí odkaz:
http://arxiv.org/abs/2411.16355
Autor:
Almeida, Paulo Sérgio, Shapiro, Ehud
Conflict-free Replicated Data Types (CRDTs) are designed for replica convergence without global coordination or consensus. Recent work has achieves the same in a Byzantine environment, through DAG-like structures based on cryptographic hashes of cont
Externí odkaz:
http://arxiv.org/abs/2402.08068
Autor:
Almeida, Paulo Sérgio
Conflict-free Replicated Data Types (CRDTs) allow optimistic replication in a principled way. Different replicas can proceed independently, being available even under network partitions, and always converging deterministically: replicas that have rec
Externí odkaz:
http://arxiv.org/abs/2310.18220
A Bloom Filter is a probabilistic data structure designed to check, rapidly and memory-efficiently, whether an element is present in a set. It has been vastly used in various computing areas and several variants, allowing deletions, dynamic sets and
Externí odkaz:
http://arxiv.org/abs/2306.06742
Autor:
Almeida, Paulo Sérgio1 (AUTHOR) psa@di.uminho.pt
Publikováno v:
ACM Computing Surveys. Feb2025, Vol. 57 Issue 2, p1-36. 36p.
Dissertação apresentada para obtenção do grau de Mestre em Engenharia Electrotécnica e de Computadores, na Faculdade de Engenharia da Universidade do Porto, sob a orientação dos Professores Doutores Francisco Coelho Soares de Moura e Raul Fern
Externí odkaz:
http://hdl.handle.net/10216/11383
Autor:
Almeida, Paulo Sérgio
In a partitioned Bloom Filter the $m$ bit vector is split into $k$ disjoint $m/k$ sized parts, one per hash function. Contrary to hardware designs, where they prevail, software implementations mostly adopt standard Bloom filters, considering partitio
Externí odkaz:
http://arxiv.org/abs/2009.11789
Bloom filters (BF) are widely used for approximate membership queries over a set of elements. BF variants allow removals, sets of unbounded size or querying a sliding window over an unbounded stream. However, for this last case the best current appro
Externí odkaz:
http://arxiv.org/abs/2001.03147
Publikováno v:
Repositório Institucional da UFCUniversidade Federal do CearáUFC.
ALMEIDA, Paulo Sérgio Caldas de. O coreógrafo e a coreografia: derivas artístico-pedagógicas a partir das proposições de William Forsythe. 2017. 255f. – Tese (Doutorado) – Universidade Federal do Ceará, Programa de Pós-graduação em Educ
Externí odkaz:
http://www.repositorio.ufc.br/handle/riufc/24660
To ensure high availability in large scale distributed systems, Conflict-free Replicated Data Types (CRDTs) relax consistency by allowing immediate query and update operations at the local replica, with no need for remote synchronization. State-based
Externí odkaz:
http://arxiv.org/abs/1803.02750