Search Results - Theory of computation → Distributed algorithms phrases Verification

Guard Automata for the Verification of Safety and Liveness of Distributed Algorithms

Authors: Bertrand, Nathalie Thomas, Bastien Widder, Josef et al.

Contributors: Bertrand, Nathalie Thomas, Bastien Widder, Josef et al.

Subject Terms: Theory of computation → Distributed algorithms phrases Verification, Theory of computation → Verification by model checking, Domain theory, Verification, Distributed algorithms, ddc:004, [INFO] Computer Science [cs]

File Description: application/pdf

Access URL: https://inria.hal.science/hal-03480241v1/document
https://inria.hal.science/hal-03480241v1
https://doi.org/10.4230/lipics.concur.2021.15
https://drops.dagstuhl.de/opus/volltexte/2021/14392/pdf/LIPIcs-CONCUR-2021-15.pdf/
https://dblp.uni-trier.de/db/conf/concur/concur2021.html#0001TW21
https://drops.dagstuhl.de/opus/volltexte/2021/14392/
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2021.15

Brief Announcement: Model Checking Rendezvous Algorithms for Robots with Lights in Euclidean Space

Authors: Défago, Xavier Heriban, Adam Tixeuil, Sébastien et al.

Contributors: Défago, Xavier Heriban, Adam Tixeuil, Sébastien et al.

Source: 33rd International Symposium on Distributed Computing (DISC 2019)
https://hal.sorbonne-universite.fr/hal-02394992
33rd International Symposium on Distributed Computing (DISC 2019), Oct 2019, Budapest, Hungary. pp.41:1--41:3, ⟨10.4230/LIPIcs.DISC.2019.41⟩

Subject Terms: Model Checking, Lights, Rendezvous, Theory of computation → Self-organization Keywords and phrases Autonomous mobile robots, Computer systems organization → Robotic autonomy, Theory of computation → Verification by model checking, 2012 ACM Subject Classification Theory of computation → Distributed algorithms, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

Subject Geographic: Budapest, Hungary

Availability: https://hal.sorbonne-universite.fr/hal-02394992
https://hal.sorbonne-universite.fr/hal-02394992v1/document
https://hal.sorbonne-universite.fr/hal-02394992v1/file/LIPIcs-DISC-2019-41.pdf
https://doi.org/10.4230/LIPIcs.DISC.2019.41

Holistic Verification of Blockchain Consensus

Authors: Bertrand, Nathalie Gramoli, Vincent Konnov, Igor et al.

Contributors: Bertrand, Nathalie Gramoli, Vincent Konnov, Igor et al.

Source: DISC 2022 - 36th International Symposium on Distributed Computing ; https://inria.hal.science/hal-03819724 ; DISC 2022 - 36th International Symposium on Distributed Computing, Oct 2022, Augusta, United States. pp.1-24, ⟨10.4230/LIPIcs.DISC.2022.10⟩

Subject Terms: 2012 ACM Subject Classification Computing methodologies → Distributed algorithms, Theory of computation → Logic and verification phrases Model checking, automata, logic, byzantine failure, [INFO]Computer Science [cs]

Subject Geographic: Augusta, United States

Availability: https://inria.hal.science/hal-03819724
https://inria.hal.science/hal-03819724v1/document
https://inria.hal.science/hal-03819724v1/file/BGKLTW-disc22.pdf
https://doi.org/10.4230/LIPIcs.DISC.2022.10

Decentralised Runtime Verification of Timed Regular Expressions

Authors: Roussanaly, Victor Falcone, Yliès Victor Roussanaly and Yliès Falcone

Contributors: Roussanaly, Victor Falcone, Yliès Victor Roussanaly and Yliès Falcone

Subject Terms: Theory of computation → Automata over infinite objects, Monitoring, 2012 ACM Subject Classification Theory of computation → Distributed computing models Theory of computation → Regular languages Theory of computation → Rewrite systems Theory of computation → Automata over infinite objects Computer systems organization → Real-time system specification phrases Timed expressions, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], Decentralized systems, Runtime verification, Theory of computation → Regular languages, Timed expressions, [INFO.INFO-ES] Computer Science [cs]/Embedded Systems, Computer systems organization → Real-time system specification phrases Timed expressions, Asynchronous communication, Asynchronous communication Digital Object Identifier 10.4230/LIPIcs...12, 2012 ACM Subject Classification Theory of computation → Distributed computing models, ddc:004, Theory of computation → Rewrite systems, Timed properties

File Description: application/pdf

Access URL: https://inria.hal.science/hal-03911668v1
https://doi.org/10.4230/lipics...12
https://inria.hal.science/hal-03911668v1/document
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2022.6

Expected Constant Round Byzantine Broadcast under Dishonest Majority.

Authors: Wan, Jun Xiao, Hanshen Shi, Elaine et al.

Source: Journal of the ACM; Aug2025, Vol. 72 Issue 4, p1-39, 39p

Subject Terms: DISTRIBUTED computing, DISTRIBUTED algorithms, COMPUTATIONAL complexity, DISTRIBUTED network protocols, CRYPTOGRAPHY

The 2-Dimensional Constraint Loop Problem Is Decidable

Authors: Guilmant, Quentin Lefaucheux, Engel Ouaknine, Joël et al.

Contributors: Guilmant, Quentin Lefaucheux, Engel Ouaknine, Joël et al.

Source: 51st International Colloquium on Automata, Languages, and Programming (ICALP 2024)
https://inria.hal.science/hal-04644417
51st International Colloquium on Automata, Languages, and Programming (ICALP 2024), Tallinn University of Technology, Jul 2024, Tallin, Estonia. pp.21, ⟨10.4230/LIPIcs.ICALP.2024.140⟩
https://compose.ioc.ee/icalp2024/

Subject Terms: Theory of computation → Program verification, Asymptotic Expansions, Linear Constraints Loops, and Theory of Programming ], Semantics, Logic, Asymptotic Expansions Digital Object Identifier 10.4230/LIPIcs.ICALP.2024.140 Category Track B: Automata, Convex Sets, Minkowski-Weyl, 2012 ACM Subject Classification Theory of computation → Program verification Keywords and phrases Linear Constraints Loops, 2012 ACM Subject Classification Theory of computation → Program verification Keywords and phrases Linear Constraints Loops Minkowski-Weyl Convex Sets Asymptotic Expansions Digital Object Identifier 10.4230/LIPIcs.ICALP.2024.140 Category Track B: Automata Logic Semantics and Theory of Programming ], [INFO]Computer Science [cs]

Subject Geographic: Tallin, Estonia

Time: Tallin, Estonia

Availability: https://inria.hal.science/hal-04644417
https://inria.hal.science/hal-04644417v1/document
https://inria.hal.science/hal-04644417v1/file/LIPIcs.ICALP.2024.140.pdf
https://doi.org/10.4230/LIPIcs.ICALP.2024.140

Hybrid Algorithm Selection and Hyperparameter Tuning on Distribute Machine Learning Resources: Hierarchical Agent-based Approach.

Authors: Esmaeili, Ahmad Rayz, Julia Matson, Eric

Source: ACM Transactions on Internet Technology; Nov2024, Vol. 24 Issue 4, p1-30, 30p

Subject Terms: MACHINE learning, TIME complexity, VECTOR spaces, ALGORITHMS, SCALABILITY, DISTRIBUTED algorithms

Trustworthy Distributed AI Systems: Robustness, Privacy, and Governance.

Authors: Wei, Wenqi Liu, Ling

Source: ACM Computing Surveys; Jun2025, Vol. 57 Issue 6, p1-42, 42p

Subject Terms: ARTIFICIAL neural networks, MACHINE learning, ARTIFICIAL intelligence, HEALTH Insurance Portability & Accountability Act, LANGUAGE models, DISTRIBUTED algorithms, DEEP learning

A Simple Deterministic Distributed MST Algorithm with Near-Optimal Time and Message Complexities.

Authors: ELKIN, M.

Source: Journal of the ACM; Mar2020, Vol. 67 Issue 2, p1-15, 15p

Subject Terms: ALGORITHMS, DISTRIBUTED algorithms, RADIUS (Geometry), DETERMINISTIC algorithms, GRAPH algorithms, SPANNING trees, HOPPING conduction

Deep reinforcement learning-based scheduling in distributed systems: a critical review.

Authors: Jalali Khalil Abadi, Zahra Mansouri, Najme Javidi, Mohammad Masoud

Source: Knowledge & Information Systems; Oct2024, Vol. 66 Issue 10, p5709-5782, 74p

Subject Terms: DEEP reinforcement learning, ARTIFICIAL intelligence, VIRTUAL machine systems, DISTRIBUTED algorithms

Near-optimal Distributed Triangle Enumeration via Expander Decompositions.

Authors: YI-JUN CHANG PETTIE, SETH SARANURAK, THATCHAPHOL et al.

Source: Journal of the ACM; May2021, Vol. 68 Issue 3, p1-36, 36p

Subject Terms: DISTRIBUTED algorithms, ROUTING algorithms, TRIANGLES, GRAPH algorithms

MAINTENANCE OF A SPANNING TREE FOR DYNAMIC GRAPHS BY MOBILE AGENTS AND LOCAL COMPUTATIONS.

Authors: KTARI, MOUNA HADDAR, MOHAMED AMINE MOSBAH, MOHAMED et al.

Source: RAIRO - Theoretical Informatics & Applications; Apr-Jun2017, Vol. 51 Issue 2, p51-70, 20p, 18 Diagrams, 1 Graph

Subject Terms: GRAPH theory, DISTRIBUTED computing, SPANNING trees, MOBILE agent systems, DISTRIBUTED algorithms, COMPUTER network protocols

Neural dynamic foundations of a theory of higher cognition: the case of grounding nested phrases.

Authors: Sabinasz, Daniel Richter, Mathis Schöner, Gregor

Source: Cognitive Neurodynamics; Apr2024, Vol. 18 Issue 2, p557-579, 23p

All in One: Design, Verification, and Implementation of SNOW-optimal Read Atomic Transactions.

Authors: SI LIU

Source: ACM Transactions on Software Engineering & Methodology; Jul2022, Vol. 31 Issue 3, p1-44, 44p

Subject Terms: DISTRIBUTED algorithms, MICROGRIDS

Closure Properties of General Grammars – Formally Verified

Authors: Dvorak, Martin Blanchette, Jasmin Institute of Science and Technology Klosterneuburg, Austria (IST Austria) et al.

Contributors: Dvorak, Martin Blanchette, Jasmin Institute of Science and Technology Klosterneuburg, Austria (IST Austria) et al.

Source: 14th International Conference on Interactive Theorem Proving (ITP 2023)
ITP 2023
https://inria.hal.science/hal-04298533
ITP 2023, 2023, Białystok, Poland. ⟨10.4230/LIPIcs.ITP.2023.15⟩

Subject Terms: 2012 ACM Subject Classification Theory of computation → Formal languages and automata theory phrases Lean type-0 grammars recursively enumerable languages Kleene star, 2012 ACM Subject Classification Theory of computation → Formal languages and automata theory phrases Lean, type-0 grammars, recursively enumerable languages, Kleene star, Lean, Theory of computation → Rewrite systems, [INFO]Computer Science [cs]

Subject Geographic: Białystok, Poland

Time: Białystok, Poland

Availability: https://inria.hal.science/hal-04298533
https://inria.hal.science/hal-04298533v1/document
https://inria.hal.science/hal-04298533v1/file/paper.pdf
https://doi.org/10.4230/LIPIcs.ITP.2023.15

Distributed Exact Shortest Paths in Sublinear Time.

Authors: ELKIN, MICHAEL

Source: Journal of the ACM; May2020, Vol. 67 Issue 3, p1-36, 36p

Subject Terms: ALGORITHMS, GRAPH algorithms, OPEN-ended questions, DISTRIBUTED algorithms, HOPPING conduction

An antenna subset selection algorithm in distributed MIMO radar for target localization via convolutional neural network.

Authors: Yan, Yingfei Tao, Haihong Su, Jia

Source: IET Radar, Sonar & Navigation (Wiley-Blackwell); Oct2023, Vol. 17 Issue 10, p1538-1548, 11p

Subject Terms: CONVOLUTIONAL neural networks, BISTATIC radar, MIMO radar, RADAR targets, SUBSET selection, ANTENNAS (Electronics), DISTRIBUTED algorithms

DxHash: A Memory-saving Consistent Hashing Algorithm.

Authors: Dong, Chao Wang, Fang Feng, Dan

Source: ACM Transactions on Internet Technology; Feb2024, Vol. 24 Issue 1, p1-22, 22p

Subject Terms: ALGORITHMS, INTERNET of things, RANDOM numbers, DISTRIBUTED algorithms

Markov decision process‐based computation offloading algorithm and resource allocation in time constraint for mobile cloud computing.

Authors: Gao, Zihan Hao, Wanming Zhang, Ruizhe et al.

Source: IET Communications (Wiley-Blackwell); Aug2020, Vol. 14 Issue 13, p2068-2078, 11p

Subject Terms: POWER aware computing, REMOTE computing, PROCESS capability, TIME management, DISTRIBUTED algorithms

Fast Computation of Small Cuts via Cycle Space Sampling.

Authors: PRITCHARD, DAVID THURIMELLA, RAMAKRISHNA

Source: ACM Transactions on Algorithms; 2011, Vol. 7 Issue 4, p46-46:30, 30p

Subject Terms: PATHS & cycles in graph theory, MATHEMATICAL proofs, ALGORITHMS, DISTRIBUTED algorithms, MONTE Carlo method, GRAPH connectivity, LINEAR algebra