Buchumschlag

Formal Verification of a Generic Algorithm for TDM Communication Over Inter Satellite Links

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Popovic, Miroslav, Popovic, Marko, Vasiljevic, Pavle, Djukic, Miodrag
Format:	Preprint
Veröffentlicht:	2025
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

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

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

MicroPython Testbed for Federated Learning Algorithms
von: Popovic, Miroslav, et al.
Veröffentlicht: (2024)

Developing Elementary Federated Learning Algorithms Leveraging the ChatGPT
von: Popovic, Miroslav, et al.
Veröffentlicht: (2023)

Federated Isolation Forest for Efficient Anomaly Detection on Edge IoT Systems
von: Vasiljevic, Pavle, et al.
Veröffentlicht: (2025)

On the Efficiency of Dynamic Transaction Scheduling in Blockchain Sharding
von: Adhikari, Ramesh, et al.
Veröffentlicht: (2025)

Fast Transaction Scheduling in Blockchain Sharding
von: Adhikari, Ramesh, et al.
Veröffentlicht: (2024)

Reusable Formal Verification of DAG-based Consensus Protocols
von: Bertrand, Nathalie, et al.
Veröffentlicht: (2024)

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

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

Communication-Efficient Collaborative LLM Inference over LEO Satellite Networks
von: Zhang, Songge, et al.
Veröffentlicht: (2026)

Blockchain-Enabled Dynamic Spectrum Sharing for Satellite and Terrestrial Communication Networks
von: Wang, Zixin, et al.
Veröffentlicht: (2024)

TileLink: Generating Efficient Compute-Communication Overlapping Kernels using Tile-Centric Primitives
von: Zheng, Size, et al.
Veröffentlicht: (2025)

Inter-APU Communication on AMD MI300A Systems via Infinity Fabric: a Deep Dive
von: Schieffer, Gabin, et al.
Veröffentlicht: (2025)

CWASI: A WebAssembly Runtime Shim for Inter-function Communication in the Serverless Edge-Cloud Continuum
von: Marcelino, Cynthia, et al.
Veröffentlicht: (2025)

DFedSat: Communication-Efficient and Robust Decentralized Federated Learning for LEO Satellite Constellations
von: Yang, Minghao, et al.
Veröffentlicht: (2024)

Herring: Parallel Batch-Order-Fairness on DAG-based Blockchain Consensus
von: Putnik, Marko, et al.
Veröffentlicht: (2026)

Communication Lower Bounds and Optimal Algorithms for Symmetric Matrix Computations
von: Daas, Hussam Al, et al.
Veröffentlicht: (2024)

Communication Lower Bounds and Algorithms for Sketching with Random Dense Matrices
von: Daas, Hussam Al, et al.
Veröffentlicht: (2026)

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

Formalization and security analysis of the Bridgeless protocol
von: Alpos, Orestis, et al.
Veröffentlicht: (2025)

Heat: Satellite's meat is GPU's poison
von: Yuan, Zhehu, et al.
Veröffentlicht: (2024)

The R(1)W(1) Communication Model for Self-Stabilizing Distributed Algorithms
von: Kakugawa, Hirotsugu, et al.
Veröffentlicht: (2025)

Communication Round and Computation Efficient Exclusive Prefix-Sums Algorithms (for MPI_Exscan)
von: Träff, Jesper Larsson
Veröffentlicht: (2025)

Parallel GPU-Enabled Algorithms for SpGEMM on Arbitrary Semirings with Hybrid Communication
von: McFarland, Thomas, et al.
Veröffentlicht: (2025)

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

Generating Dynamic Graph Algorithms for Multiple Backends for a Graph DSL
von: Behera, Nibedita, et al.
Veröffentlicht: (2025)

Task queue implementation for edge computing platform
von: Maksimovic, Veljko, et al.
Veröffentlicht: (2024)

Three Birds, One Stone: Solving the Communication-Memory-Privacy Trilemma in LLM Fine-tuning Over Wireless Networks with Zeroth-Order Optimization
von: Cai, Zhijie, et al.
Veröffentlicht: (2026)

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

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

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

Rethinking Inter-Process Communication with Memory Operation Offloading
von: Park, Misun, et al.
Veröffentlicht: (2026)

General Convex Agreement with Near-Optimal Communication
von: Dufay, Marc, et al.
Veröffentlicht: (2026)

StarDist: A Code Generator for Distributed Graph Algorithms
von: Nandy, Barenya Kumar, et al.
Veröffentlicht: (2025)

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

Compositional Design, Implementation, and Verification of Swarms (Technical Report)
von: Furbach, Florian, et al.
Veröffentlicht: (2026)

Edge Intelligence in Satellite-Terrestrial Networks with Hybrid Quantum Computing
von: Huang, Siyue, et al.
Veröffentlicht: (2024)

Distributed On-Device LLM Inference With Over-the-Air Computation
von: Zhang, Kai, et al.
Veröffentlicht: (2025)

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