Buchumschlag

Compositional Design, Implementation, and Verification of Swarms (Technical Report)

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Furbach, Florian, Clorius, Lucas, Kuhn, Roland, Melgratti, Hernán, Scalas, Alceste, Tuosto, Emilio
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Distributed, Parallel, and Cluster Computing
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

INTELLECT-1 Technical Report
von: Jaghouar, Sami, et al.
Veröffentlicht: (2024)

DuaLip-GPU Technical Report
von: Dexter, Gregory, et al.
Veröffentlicht: (2026)

Prime Collective Communications Library -- Technical Report
von: Keiblinger, Michael, et al.
Veröffentlicht: (2025)

SwarmRaft: Leveraging Consensus for Robust Drone Swarm Coordination in GNSS-Degraded Environments
von: Dev, Kapel, et al.
Veröffentlicht: (2025)

DCGen 1.1 Technical Report: Generating Datacenter Configurations (including IT, Power, Cooling)
von: Gnibga, Wedan Emmanuel, et al.
Veröffentlicht: (2026)

FlexPie: Accelerate Distributed Inference on Edge Devices with Flexible Combinatorial Optimization[Technical Report]
von: Zhang, Runhua, et al.
Veröffentlicht: (2025)

RainCloud: Decentralized Coordination and Communication in Heterogeneous IoT Swarms
von: Loisel, Filip, et al.
Veröffentlicht: (2024)

SwarmSearch: Decentralized Search Engine with Self-Funding Economy
von: Gregoriadis, Marcel, et al.
Veröffentlicht: (2025)

Swarm UAVs Communication
von: Majee, Arindam, et al.
Veröffentlicht: (2024)

Conceptual Design Report for FAIR Computing
von: Messchendorp, Johan, et al.
Veröffentlicht: (2025)

Optimizing Distributed Protocols with Query Rewrites [Technical Report]
von: Chu, David, et al.
Veröffentlicht: (2024)

Co-Design and Evaluation of a CPU-Free MPI GPU Communication Abstraction and Implementation
von: Bridges, Patrick G., et al.
Veröffentlicht: (2026)

Design and Implementation of Code Completion System Based on LLM and CodeBERT Hybrid Subsystem
von: Zhang, Bingbing, et al.
Veröffentlicht: (2025)

The Design and Implementation of a High-Performance Log-Structured RAID System for ZNS SSDs
von: Li, Jinhong, et al.
Veröffentlicht: (2024)

Edge-Oriented Orchestration of Energy Services Using Graph-Driven Swarm Intelligence
von: Toderean, Liana, et al.
Veröffentlicht: (2026)

Efficient Multi-Worker Selection based Distributed Swarm Learning via Analog Aggregation
von: Yao, Zhuoyu, et al.
Veröffentlicht: (2025)

Error-resilient Distributed Local Verification
von: Garncarek, Paweł, et al.
Veröffentlicht: (2026)

xLLM Technical Report
von: Liu, Tongxuan, et al.
Veröffentlicht: (2025)

Space and Move-optimal Arbitrary Pattern Formation on Infinite Rectangular Grid by Oblivious Robot Swarm
von: Sharma, Avisek, et al.
Veröffentlicht: (2023)

TACO: A Toolsuite for the Verification of Threshold Automata
von: Eichler, Paul, et al.
Veröffentlicht: (2026)

Model Input Verification of Large Scale Simulations
von: Neykova, Rumyana, et al.
Veröffentlicht: (2024)

Hierarchical Observe-Orient-Decide-Act Enabled UAV Swarms in Uncertain Environments: Frameworks, Potentials, and Challenges
von: Jia, Ziye, et al.
Veröffentlicht: (2026)

Enhancing Cloud Task Scheduling Using a Hybrid Particle Swarm and Grey Wolf Optimization Approach
von: Prasad, Raveena, et al.
Veröffentlicht: (2025)

Formal Modeling and Verification of the Algorand Consensus Protocol in CADP
von: Esposito, Andrea, et al.
Veröffentlicht: (2025)

Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability
von: Castañeda, Armando, et al.
Veröffentlicht: (2023)

PVU: Design and Implementation of a Posit Vector Arithmetic Unit (PVU) for Enhanced Floating-Point Computing in Edge and AI Applications
von: Wu, Xinyu, et al.
Veröffentlicht: (2025)

Towards Formal Verification of Federated Learning Orchestration Protocols on Satellites
von: Popovic, Miroslav, et al.
Veröffentlicht: (2024)

Towards Efficient Verification of Parallel Applications with Mc SimGrid
von: Laurent, Matthieu, et al.
Veröffentlicht: (2025)

Towards System-Oriented Formal Verification of Local-First Access Control
von: Jacob, Florian, et al.
Veröffentlicht: (2026)

Quick Order Fairness: Implementation and Evaluation
von: Cachin, Christian, et al.
Veröffentlicht: (2023)

Some New Approaches to MPI Implementations
von: Xiong, Yuqing
Veröffentlicht: (2024)

What Cannot Be Implemented on Weak Memory?
von: Castañeda, Armando, et al.
Veröffentlicht: (2024)

Asynchronous Fault-Tolerant Language Decidability for Runtime Verification of Distributed Systems
von: Castañeda, Armando, et al.
Veröffentlicht: (2025)

Proof-Carrying Fair Ordering: Asymmetric Verification for BFT via Incremental Graphs
von: Ren, Pengkun, et al.
Veröffentlicht: (2025)

Parameterized Verification of Round-based Distributed Algorithms via Extended Threshold Automata
von: Baumeister, Tom, et al.
Veröffentlicht: (2024)

When Agents are Powerful: Black Hole Search with Verification in Time-Varying Graphs
von: Kaur, Tanvir, et al.
Veröffentlicht: (2025)

Failure Transparency in Stateful Dataflow Systems (Technical Report)
von: Veresov, Aleksey, et al.
Veröffentlicht: (2024)

Formal Verification of a Generic Algorithm for TDM Communication Over Inter Satellite Links
von: Popovic, Miroslav, et al.
Veröffentlicht: (2025)

Formal Definition and Implementation of Reproducibility Tenets for Computational Workflows
von: Pritchard, Nicholas J., et al.
Veröffentlicht: (2024)

Implementing True MPI Sessions and Evaluating MPI Initialization Scalability
von: Zhou, Hui, et al.
Veröffentlicht: (2026)