Výsledky vyhledávání - CCS Concepts • Theory of computation → Distributed algorithms

Efficient Renaming in Sequence CRDTs

Autoři: Matthieu Nicolas Gerald Oster Olivier Perrin a další

Přispěvatelé: Matthieu Nicolas Gerald Oster Olivier Perrin a další

Zdroj: IEEE Transactions on Parallel and Distributed Systems. 33:3870-3885

Témata: eventual consistency, Replication, [INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS], • Human-centered computing → Collaborative and social computing systems and tools, 02 engineering and technology, CCS Concepts • Theory of computation → Distributed algorithms, Eventual consistency, memory-wise optimisation, real-time collaborative editing, Keywords CRDTs, CRDTs, • Software and its engineering → Consis- tency, Real-time collaborative editing, • Applied com- puting → Text editing, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], 0202 electrical engineering, electronic engineering, information engineering, performance

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.inria.fr/hal-02526724v2/file/main.pdf
https://inria.hal.science/hal-02526724v2

Topological Characterization of Consensus under General Message Adversaries

Autoři: Nowak, Thomas Schmid, Ulrich Winkler, Kyrill

Přispěvatelé: Nowak, Thomas Schmid, Ulrich Winkler, Kyrill

Zdroj: Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing. :218-227

Témata: consensus, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], dynamic networks, KEYWORDS Topological characterization, 0102 computer and information sciences, CCS CONCEPTS • Theory of computation → Distributed algorithms, point-set topology, 01 natural sciences, message adversaries

Popis souboru: application/pdf

Přístupová URL adresa: https://dl.acm.org/doi/pdf/10.1145/3293611.3331624
https://hal.science/hal-02946833v1/document
https://hal.science/hal-02946833v1
https://doi.org/10.1145/3293611.3331624
https://dl.acm.org/doi/10.1145/3293611.3331624
https://dl.acm.org/doi/pdf/10.1145/3293611.3331624
http://arxiv.org/pdf/1905.09590.pdf
https://dblp.uni-trier.de/db/journals/corr/corr1905.html#abs-1905-09590
https://doi.org/10.1145/3293611.3331624
https://arxiv.org/abs/1905.09590

The assignment problem

Autoři: Delporte-Gallet, Carole Fauconnier, Hugues Gafni, Eli a další

Přispěvatelé: Delporte-Gallet, Carole Fauconnier, Hugues Gafni, Eli a další

Zdroj: Theoretical Computer Science. 886:13-26

Témata: Renaming, [SCCO.COMP] Cognitive science/Computer science, Shared-Memory, 0202 electrical engineering, electronic engineering, information engineering, Wait-Free, Mutual Exclusion, 0102 computer and information sciences, 02 engineering and technology, Concurrent algorithms, CCS CONCEPTS • Theory of computation → Distributed algorithms, 01 natural sciences, Assignment, Resource Allocation

Popis souboru: application/pdf

Přístupová URL adresa: https://inria.hal.science/hal-01955902v1
https://hal.inria.fr/hal-01955902
https://dl.acm.org/doi/pdf/10.1145/3154273.3154303
https://doi.org/10.1145/3154273.3154303
https://dblp.uni-trier.de/db/conf/icdcn/icdcn2018.html#Delporte-Gallet18
https://dl.acm.org/doi/10.1145/3154273.3154303
https://hal.inria.fr/hal-01955902/document
https://dblp.uni-trier.de/db/journals/tcs/tcs886.html#Delporte-Gallet21
https://doi.org/10.1016/j.tcs.2021.06.040
https://www.sciencedirect.com/science/article/abs/pii/S0304397521003972

Efficient Renaming in Sequence CRDTs

Autoři: Nicolas, Matthieu Oster, Gérald Perrin, Olivier a další

Přispěvatelé: Nicolas, Matthieu Oster, Gérald Perrin, Olivier a další

Zdroj: PaPoC 2020 - 7th Workshop on Principles and Practice of Consistency for Distributed Data ; https://inria.hal.science/hal-02526724 ; PaPoC 2020 - 7th Workshop on Principles and Practice of Consistency for Distributed Data, Apr 2020, Heraklion / Virtual, Greece

Témata: eventual consistency, memory-wise optimisation, performance, real-time collaborative editing, Keywords CRDTs, • Applied com- puting → Text editing, • Human-centered computing → Collaborative and social computing systems and tools, • Software and its engineering → Consis- tency, CCS Concepts • Theory of computation → Distributed algorithms, CRDTs, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]

Geografické téma: Heraklion / Virtual, Greece

Dostupnost: https://inria.hal.science/hal-02526724
https://inria.hal.science/hal-02526724v2/document
https://inria.hal.science/hal-02526724v2/file/main.pdf

SAT-Inspired Eliminations for Superposition

Autoři: Vukmirović, Petar Blanchette, Jasmin Heule, Marijn, J H a další

Přispěvatelé: Vukmirović, Petar Blanchette, Jasmin Heule, Marijn, J H a další

Zdroj: ISSN: 1529-3785.

Témata: CCS Concepts: Theory of computation → Automated reasoning Logic and verification Constraint and logic programming Theorem proving, first-order logic, superposition calculus, SAT solving, CCS Concepts, Theory of computation → Automated reasoning, Logic and verification, Constraint and logic programming Theorem proving, [INFO]Computer Science [cs]

Dostupnost: https://inria.hal.science/hal-04298574
https://inria.hal.science/hal-04298574v1/document
https://inria.hal.science/hal-04298574v1/file/jour.pdf
https://doi.org/10.1145/3565366

Sublinear Computation Paradigm

Autoři: Naoki Katoh Yuya Higashikawa Hiro Ito a další

Resource Type: eBook.

Témata: Computer algorithms--Mathematics, Big data

Categories: COMPUTERS / Computer Science, COMPUTERS / Programming / Algorithms

An introduction to statistical models used to characterize species-habitat associations with animal movement data.

Autoři: Florko, Katie R. N. Togunov, Ron R. Gryba, Rowenna a další

Zdroj: Movement Ecology. 4/17/2025, Vol. 13 Issue 1, p1-17. 17p.

Proportional Dynamics in Exchange Economies.

Autoři: BRÂNZEI, SIMINA DEVANUR, NIKHIL RABANI, YUVAL

Zdroj: EC: Economics & Computation; 2021, p180-201, 22p

Témata: BIDS, DYNAMIC models, GAME theory, TECHNOLOGICAL innovations, DIGITAL technology, ELECTRONIC commerce

BagQuery Containment and Information Theory.

Autoři: KHAMIS, MAHMOUD ABO KOLAITIS, PHOKION G. HUNG Q. NGO a další

Zdroj: ACM Transactions on Database Systems; Sep2021, Vol. 46 Issue 3, p1-39, 39p

Témata: SEMANTICS, DATA management, ALGORITHMS, OPEN-ended questions, MATHEMATICS

Error Bounded Line Simplification Algorithms for Trajectory Compression: An Experimental Evaluation.

Autoři: XUELIAN LIN SHUAI MA JIAHAO JIANG a další

Zdroj: ACM Transactions on Database Systems; Sep2021, Vol. 46 Issue 3, p1-44, 44p

Témata: ALGORITHMS, ONLINE algorithms, DATA compression, INFORMATION storage & retrieval systems

"Intelligent Heuristics Are the Future of Computing".

Autoři: Teng, Shang-Hua

Zdroj: ACM Transactions on Intelligent Systems & Technology; Dec2023, Vol. 14 Issue 6, p1-39, 39p

Témata: HEURISTIC, SIMPLEX algorithm, COMPUTER software, EVOLUTIONARY algorithms, COMPUTER science, UBIQUITOUS computing

Sampling-enabled scalable manifold learning unveils the discriminative cluster structure of high-dimensional data.

Autoři: Peng, Dehua Gui, Zhipeng Wei, Wenzhang a další

Zdroj: Nature Machine Intelligence; Oct2025, Vol. 7 Issue 10, p1669-1684, 16p

Basalt: A Rock-Solid Byzantine-Tolerant Peer Sampling for Very Large Decentralized Networks

Autoři: Auvolat, Alex Bromberg, Yérom-David Frey, Davide a další

Přispěvatelé: Auvolat, Alex Bromberg, Yérom-David Frey, Davide a další

Zdroj: Proceedings of the 24th International Middleware Conference on ZZZ. :111-123

Témata: Peer Sampling, Distributed System, 1. No poverty, Gossip, Gossip Peer Sampling Distributed System Byzantine tolerance Eclipse Attacks, [INFO] Computer Science [cs], Eclipse Attacks, 7. Clean energy, Byzantine tolerance

Popis souboru: application/pdf

Přístupová URL adresa: https://inria.hal.science/hal-04394966v1/document
https://doi.org/10.1145/3590140.3629109
https://inria.hal.science/hal-04394966v1

High Performance Computing Experiments in Enumerative and Algebraic Combinatorics

Autoři: Hivert, Florent

Přispěvatelé: Hivert, Florent

Zdroj: Proceedings of the International Workshop on Parallel Symbolic Computation. :1-4

Témata: [MATH.MATH-CO] Mathematics [math]/Combinatorics [math.CO], • Theory of computation → Parallel algorithms, Combinatorics, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], com- binatorics, CCS CONCEPTS • Mathematics of computing → Mathematical software per- formance, 0102 computer and information sciences, 0101 mathematics, Permutations and combinations, computer algebra, work-stealing, 01 natural sciences, KEYWORDS Multithreaded programming

Přístupová URL adresa: https://dblp.uni-trier.de/db/conf/issac/pasco2017.html#Hivert17
https://dl.acm.org/citation.cfm?id=3115938
https://dl.acm.org/doi/10.1145/3115936.3115938

Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2024)

Autoři: Jaime Caro Shigeki Hagihara Shin-ya Nishizaki a další

Resource Type: eBook.

Témata: Computer science

Categories: COMPUTERS / General

Online Scheduling for Shuffle Grouping in Distributed Stream Processing Systems Research Paper

Autoři: Rivetti, Nicoló Anceaume, Emmanuelle Busnel, Yann a další

Přispěvatelé: Rivetti, Nicoló Anceaume, Emmanuelle Busnel, Yann a další

Témata: [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], •Theory of computation → Sketching and sampling, CCS Concepts •Information systems → Data streams, [INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS], Shuffle Grouping, [INFO] Computer Science [cs], Data Streaming, Keywords Stream Processing, •Computer systems organization → Distributed architectures, Stream manage- ment

Popis souboru: application/pdf

Approaches for In Situ Computation of Moments in a Data-Parallel Environment

Autoři: Roxana Bujack Berk Geveci Karen C. Tsai a další

Témata: Parallel algorithms, Human centered computing, Pattern matching, 7. Clean energy, Visualization, Theory of computation

The Use of Hierarchical Temporal Memory and Temporal Sequence Encoder for Online Anomaly Detection in Industrial Cyber-Physical Systems †.

Autoři: Malits, Roman Mendelson, Avi

Zdroj: Water (20734441); Feb2025, Vol. 17 Issue 3, p321, 20p

Témata: WATER treatment plants, CYBER physical systems, MACHINE learning, INDUSTRIALISM, ANOMALY detection (Computer security)

SpyShield: a Spyfall inspired defense mechanism against poisoning attacks in federated learning.

Autoři: Elgharieb Y Alexan W El-Aasser M a další

Zdroj: Scientific reports [Sci Rep] 2025 Aug 26; Vol. 15 (1), pp. 31374. Date of Electronic Publication: 2025 Aug 26.

Způsob vydávání: Journal Article

Informace o časopise: Publisher: Nature Publishing Group Country of Publication: England NLM ID: 101563288 Publication Model: Electronic Cited Medium: Internet ISSN: 2045-2322 (Electronic) Linking ISSN: 20452322 NLM ISO Abbreviation: Sci Rep Subsets: PubMed not MEDLINE; MEDLINE

Copula Modeling and Uncertainty Propagation in Field‐Scale Simulation of CO2 Fault Leakage.

Autoři: Pettersson, Per Keilegavlen, Eirik Sandve, Tor Harald a další

Zdroj: Water Resources Research; Jan2025, Vol. 61 Issue 1, p1-28, 28p

Témata: ROCK properties, UNDERGROUND storage, FAULT zones, DISTRIBUTION (Probability theory), GREENHOUSE gases