Imagen de Portada

TAPAAL SMC: Statistical Model Checking of Stochastic Timed-Arc Petri Nets

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Dubois, Tanguy, Larsen, Kim G., Srba, Jiri
Formato:	Preprint
Publicado:	2026
Materias:	Distributed, Parallel, and Cluster Computing
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Model Checking and Synthesis for Optimal Use of Knowledge in Consensus Protocols
por: Alpturer, Kaya, et al.
Publicado: (2025)

AMP: Arc Multi-Proposer Protocol with Bounded Inclusion Guarantees
por: Cason, Daniel, et al.
Publicado: (2026)

CheckMate: LLM-Powered Approximate Intermittent Computing
por: Sayyid-Ali, Abdur-Rahman Ibrahim, et al.
Publicado: (2024)

Stochastic Modeling for Energy-Efficient Edge Infrastructure
por: Rossi, Fabio Diniz
Publicado: (2025)

Towards Scalable Proteomics: Opportunistic SMC Samplers on HTCondor
por: Carter, Matthew, et al.
Publicado: (2025)

HiRace: Accurate and Fast Source-Level Race Checking of GPU Programs
por: Jacobson, John, et al.
Publicado: (2024)

Layout-Agnostic MPI Abstraction for Distributed Computing in Modern C++
por: Klepl, Jiří, et al.
Publicado: (2025)

Structured Acyclic Nets
por: Alahmadi, Mohammed, et al.
Publicado: (2024)

High-Performance Statistical Computing (HPSC): Challenges, Opportunities, and Future Directions
por: Abdulah, Sameh, et al.
Publicado: (2025)

Transactional Dynamics in Hyperledger Fabric: A Stochastic Modeling and Performance Evaluation of Permissioned Blockchains
por: Melo, Carlos, et al.
Publicado: (2025)

Stochastic Distance in Property Testing
por: Meir, Uri, et al.
Publicado: (2024)

Net-Zero 6G from Earth to Orbit: Sustainable Design of Integrated Terrestrial and Non-Terrestrial Networks
por: Jamshed, Muhammad Ali, et al.
Publicado: (2025)

DWM-RO: Decentralized World Models with Reasoning Offloading for SWIPT-enabled Satellite-Terrestrial HetNets
por: Liu, Guangyuan, et al.
Publicado: (2025)

DEVS/SOA: A Cross-Platform Framework for Net-centric Modeling and Simulation in DEVS Unified Process
por: Mittal, Saurabh, et al.
Publicado: (2024)

CheckMate: Evaluating Checkpointing Protocols for Streaming Dataflows
por: Siachamis, George, et al.
Publicado: (2024)

NotNets: Accelerating Microservices by Bypassing the Network
por: Alvaro, Peter, et al.
Publicado: (2024)

Distributed Statistical Zero-Knowledge Proofs via Sumcheck
por: Jauregui, Benjamin, et al.
Publicado: (2026)

Revisiting the Time Cost Model of AllReduce
por: Xiong, Dian, et al.
Publicado: (2024)

GCAPS: GPU Context-Aware Preemptive Priority-based Scheduling for Real-Time Tasks
por: Wang, Yidi, et al.
Publicado: (2024)

Adaptive Weighting Push-SUM for Decentralized Optimization with Statistical Diversity
por: Zhou, Yiming, et al.
Publicado: (2024)

Identifying Quality Mersenne Twister Streams For Parallel Stochastic Simulations
por: Antunes, Benjamin, et al.
Publicado: (2024)

Multi-Grained Specifications for Distributed System Model Checking and Verification
por: Ouyang, Lingzhi, et al.
Publicado: (2024)

NetSenseML: Network-Adaptive Compression for Efficient Distributed Machine Learning
por: Wang, Yisu, et al.
Publicado: (2025)

Communication-Efficient Distributed Learning via Sparse and Adaptive Stochastic Gradient
por: Deng, Xiaoge, et al.
Publicado: (2021)

Aragog: Just-in-Time Model Routing for Scalable Serving of Agentic Workflows
por: Dai, Yinwei, et al.
Publicado: (2025)

Parallelize Over Data Particle Advection: Participation, Ping Pong Particles, and Overhead
por: Wang, Zhe, et al.
Publicado: (2024)

Breaking the Capacity Bottleneck in Model-Heterogeneous Federated Learning via Gradual Model Restoration
por: Ma, Chengjie, et al.
Publicado: (2025)

The SAP Cloud Infrastructure Dataset: A Reality Check of Scheduling and Placement of VMs in Cloud Computing
por: Uhlig, Arno, et al.
Publicado: (2025)

Pairbot: A Novel Model for Autonomous Mobile Robot Systems Consisting of Paired Robots
por: Kim, Yonghwan, et al.
Publicado: (2020)

ArcLight: A Lightweight LLM Inference Architecture for Many-Core CPUs
por: Xu, Yuzhuang, et al.
Publicado: (2026)

TierCheck: Tiered Checkpointing for Fault Tolerance in Large Language Model Training
por: Han, Shujie, et al.
Publicado: (2026)

Distributed Ranges: A Model for Distributed Data Structures, Algorithms, and Views
por: Brock, Benjamin, et al.
Publicado: (2024)

Regular Model Checking Upside-Down: An Invariant-Based Approach
por: Esparza, Javier, et al.
Publicado: (2022)

A Transverse-Read-assisted Fast Valid-Bits Collection in Stochastic Computing MACs for Energy-Efficient in-RTM DNNs
por: Wang, Jihe, et al.
Publicado: (2024)

cuFastTuckerPlus: A Stochastic Parallel Sparse FastTucker Decomposition Using GPU Tensor Cores
por: Li, Zixuan, et al.
Publicado: (2024)

P-TimeSync: A Precise Time Synchronization Simulation with Network Propagation Delays
por: Dai, Wei, et al.
Publicado: (2024)

Tightening I/O Lower Bounds through the Hourglass Dependency Pattern
por: Eyraud-Dubois, Lionel, et al.
Publicado: (2024)

SpotVista: Availability-Aware Recommendation System for Reliable and Cost-Efficient Multi-Node Spot Instances
por: Kim, Taeyoon, et al.
Publicado: (2026)

Broadcast in Almost Mixing Time
por: Paramonov, Anton, et al.
Publicado: (2025)

bittide: Control Time, Not Flows
por: Bastiaan, Martijn, et al.
Publicado: (2025)