Buchumschlag

Coefficient Synthesis for Threshold Automata

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Balasubramanian, A. R.
Format:	Preprint
Veröffentlicht:	2023
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

Complexity of Verification and Synthesis of Threshold Automata
von: Balasubramanian, A. R., et al.
Veröffentlicht: (2020)

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

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

CAT: Cellular Automata on Tensor cores
von: Navarro, Cristóbal A., et al.
Veröffentlicht: (2024)

Distributed Load Balancing with Workload-Dependent Service Rates
von: Zhang, Wenxin, et al.
Veröffentlicht: (2024)

Barycentric Coded Distributed Computing with Flexible Recovery Threshold for Collaborative Mobile Edge Computing
von: Qiu, Houming, et al.
Veröffentlicht: (2025)

Fine-Grained Energy Prediction For Parallellized LLM Inference With PIE-P
von: Dutt, Anurag, et al.
Veröffentlicht: (2025)

Breaking through the $Ω(n)$-space barrier: Population Protocols Decide Double-exponential Thresholds
von: Czerner, Philipp
Veröffentlicht: (2022)

Knowledge Connectivity Requirements for Solving BFT Consensus with Unknown Participants and Fault Threshold (Extended Version)
von: Heydari, Hasan, et al.
Veröffentlicht: (2024)

Threshold-Driven Streaming Graph: Expansion and Rumor Spreading
von: Angileri, Flora, et al.
Veröffentlicht: (2025)

A Scored Non-Deterministic Finite Automata Processor for Sequence Alignment
von: Karakchi, Ryan Karbowniczak Rasha
Veröffentlicht: (2024)

Model Checking and Synthesis for Optimal Use of Knowledge in Consensus Protocols
von: Alpturer, Kaya, et al.
Veröffentlicht: (2025)

The Latency Price of Threshold Cryptosystem in Blockchains
von: Xiang, Zhuolun, et al.
Veröffentlicht: (2024)

NLP-Guided Synthesis: Transitioning from Sequential Programs to Distributed Programs
von: Sanjel, Arun, et al.
Veröffentlicht: (2024)

HAP: SPMD DNN Training on Heterogeneous GPU Clusters with Automated Program Synthesis
von: Zhang, Shiwei, et al.
Veröffentlicht: (2024)

FedGA: A Fair Federated Learning Framework Based on the Gini Coefficient
von: Liu, ShanBin
Veröffentlicht: (2025)

Broadcasting on Adversarial Multiple Access Channels
von: Aldawsari, Bader A., et al.
Veröffentlicht: (2021)

GPU-Accelerated Syndrome Decoding for Quantum LDPC Codes below the 63 $μ$s Latency Threshold
von: Ferraz, Oscar, et al.
Veröffentlicht: (2025)

Agent-Based Triangle Counting: Unlocking Truss Decomposition, Triangle Centrality, and Local Clustering Coefficient
von: Chand, Prabhat Kumar, et al.
Veröffentlicht: (2024)

Case Study: Performance Analysis of a Virtualized XRootD Frontend in Large-Scale WAN Transfers
von: da Silva, J M, et al.
Veröffentlicht: (2026)

Beeping Deterministic CONGEST Algorithms in Graphs
von: Garncarek, Pawel, et al.
Veröffentlicht: (2025)

FAIR Ecosystems for Science at Scale
von: Wilkinson, Sean R., et al.
Veröffentlicht: (2025)

Leveraging Teaching on Demand: Approaching HPC to Undergrads
von: Catalán, S., et al.
Veröffentlicht: (2026)

Byzantine-Resilient Population Protocols
von: Busch, Costas, et al.
Veröffentlicht: (2021)

ASSESSING THE STOCHASTIC PROPERTIES OF MODERN PSEUDO-RANDOM GENERATORS FOR PARALLEL COMPUTING
von: Wartel, Théau, et al.
Veröffentlicht: (2026)

A Study on Messaging Trade-offs in Data Streaming for Scientific Workflows
von: George, Anjus, et al.
Veröffentlicht: (2025)

Vitamin-V: Virtual Environment and Tool-boxing for Trustworthy Development of RISC-V based Cloud Services
von: Arelakis, A., et al.
Veröffentlicht: (2023)

A New Execution Model and Executor for Adaptively Optimizing the Performance of Parallel Algorithms Using HPX Runtime System
von: Mohammadiporshokooh, Karame, et al.
Veröffentlicht: (2025)

Managing Forensic Recovery in the Cloud
von: Weir, George R. S., et al.
Veröffentlicht: (2024)

Stable Blockchain Sharding under Adversarial Transaction Generation
von: Adhikari, Ramesh, et al.
Veröffentlicht: (2024)

Near-Optimal Stability for Distributed Transaction Processing in Blockchain Sharding
von: Adhikari, Ramesh, et al.
Veröffentlicht: (2025)

Analysis of Distributed Algorithms for Big-data
von: Purohit, Rajendra, et al.
Veröffentlicht: (2024)

Parallel Reduced Order Modeling for Digital Twins using High-Performance Computing Workflows
von: de Parga, S. Ares, et al.
Veröffentlicht: (2024)

Reliable Replication Protocols on SmartNICs
von: Katebzadeh, M. R. Siavash, et al.
Veröffentlicht: (2025)

Shared Virtual Memory: Its Design and Performance Implications for Diverse Applications
von: Cooper, Bennett, et al.
Veröffentlicht: (2024)

Identifying Quality Mersenne Twister Streams For Parallel Stochastic Simulations
von: Antunes, Benjamin, et al.
Veröffentlicht: (2024)

SLIM: A Heterogeneous Accelerator for Edge Inference of Sparse Large Language Model via Adaptive Thresholding
von: Xu, Weihong, et al.
Veröffentlicht: (2025)

Iterative Thresholding and Projection Algorithms and Model-Based Deep Neural Networks for Sparse LQR Control Design
von: Cho, Myung
Veröffentlicht: (2022)

Instant Resonance: Dual Strategy Enhances the Data Consensus Success Rate of Blockchain Threshold Signature Oracles
von: Xian, Youquan, et al.
Veröffentlicht: (2024)

The workflow motif: a widely-useful performance diagnosis abstraction for distributed applications
von: Abdi, Mania, et al.
Veröffentlicht: (2025)