Cover Image

Model Input Verification of Large Scale Simulations

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Neykova, Rumyana, Groen, Derek
Format:	Preprint
Published:	2024
Subjects:	Distributed, Parallel, and Cluster Computing
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Understanding Power and Energy Utilization in Large Scale Production Physics Simulation Codes
by: Bertsch, Adam, et al.
Published: (2022)

Large-Scale Simulations of Fully Resolved Complex Moving Geometries with Partially Saturated Cells
by: Suffa, P., et al.
Published: (2025)

Large Scale Multi-GPU Based Parallel Traffic Simulation for Accelerated Traffic Assignment and Propagation
by: Jiang, Xuan, et al.
Published: (2024)

λScale: Enabling Fast Scaling for Serverless Large Language Model Inference
by: Yu, Minchen, et al.
Published: (2025)

DeepServe: Serverless Large Language Model Serving at Scale
by: Hu, Junhao, et al.
Published: (2025)

Formal Modeling and Verification of the Algorand Consensus Protocol in CADP
by: Esposito, Andrea, et al.
Published: (2025)

Benchmarking the Performance of Large Language Models on the Cerebras Wafer Scale Engine
by: Zhang, Zuoning, et al.
Published: (2024)

CGSim: A Simulation Framework for Large Scale Distributed Computing Environment
by: Vatsavai, Sairam Sri, et al.
Published: (2025)

HexiScale: Facilitating Large Language Model Training over Heterogeneous Hardware
by: Yan, Ran, et al.
Published: (2024)

An Engineering Journey Training Large Language Models at Scale on Alps: The Apertus Experience
by: Coles, Jonathan, et al.
Published: (2026)

PALM: A Efficient Performance Simulator for Tiled Accelerators with Large-scale Model Training
by: Fang, Jiahao, et al.
Published: (2024)

PRISM: Probabilistic Runtime Insights and Scalable Performance Modeling for Large-Scale Distributed Training
by: Golden, Alicia, et al.
Published: (2025)

AIReSim: A Discrete Event Simulator for Large-scale AI Cluster Reliability Modeling
by: Pattabiraman, Karthik, et al.
Published: (2026)

Oases: Efficient Large-Scale Model Training on Commodity Servers via Overlapped and Automated Tensor Model Parallelism
by: Li, Shengwei, et al.
Published: (2023)

Blockchain Epidemic Consensus for Large-Scale Networks
by: Abdi, Siamak, et al.
Published: (2025)

Pandemics In Silico: Scaling an Agent-Based Simulation on Realistic Social Contact Networks
by: Kitson, Joy, et al.
Published: (2024)

Error-resilient Distributed Local Verification
by: Garncarek, Paweł, et al.
Published: (2026)

Declarative Data Pipeline for Large Scale ML Services
by: Yang, Yunzhao, et al.
Published: (2025)

KIS-S: A GPU-Aware Kubernetes Inference Simulator with RL-Based Auto-Scaling
by: Zhang, Guilin, et al.
Published: (2025)

TACO: A Toolsuite for the Verification of Threshold Automata
by: Eichler, Paul, et al.
Published: (2026)

A Scalable Recipe on SuperMUC-NG Phase 2: Efficient Large-Scale Training of Language Models
by: Rajgopal, Ajay Navilarekal, et al.
Published: (2026)

ACE-Sync: An Adaptive Cloud-Edge Synchronization Framework for Communication-Efficient Large-Scale Distributed Model Training
by: Yang, Yi, et al.
Published: (2025)

MOSS: A Large-scale Open Microscopic Traffic Simulation System
by: Zhang, Jun, et al.
Published: (2024)

Large-Scale Metric Computation in Online Controlled Experiment Platform
by: Xiong, Tao, et al.
Published: (2024)

Efficient Parallel Compilation and Profiling of Quantum Circuits at Large Scales
by: Moore, Jane, et al.
Published: (2026)

Collaborative Evolution of Intelligent Agents in Large-Scale Microservice Systems
by: Li, Yilin, et al.
Published: (2025)

Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability
by: Castañeda, Armando, et al.
Published: (2023)

Compositional Design, Implementation, and Verification of Swarms (Technical Report)
by: Furbach, Florian, et al.
Published: (2026)

Unfolding an Atomistic World: Atomistic Simulation of Reactor Pressure Vessel Steel Across Year-and-Meter Scales
by: Han, Haozhi, et al.
Published: (2026)

Steering a Fleet: Adaptation for Large-Scale, Workflow-Based Experiments
by: Pruyne, Jim, et al.
Published: (2024)

Driving Computational Efficiency in Large-Scale Platforms using HPC Technologies
by: Mendez, Alexander Martinez, et al.
Published: (2026)

CkIO: Parallel File Input for Over-Decomposed Task-Based Systems
by: Jacob, Mathew, et al.
Published: (2024)

Towards Formal Verification of Federated Learning Orchestration Protocols on Satellites
by: Popovic, Miroslav, et al.
Published: (2024)

Towards Efficient Verification of Parallel Applications with Mc SimGrid
by: Laurent, Matthieu, et al.
Published: (2025)

FLAME: A Serving System Optimized for Large-Scale Generative Recommendation with Efficiency
by: Guo, Xianwen, et al.
Published: (2025)

Scheduling Data-Intensive Workloads in Large-Scale Distributed Systems: Trends and Challenges
by: Stavrinides, Georgios L., et al.
Published: (2025)

PRISM: Dynamic Primitive-Based Forecasting for Large-Scale GPU Cluster Workloads
by: Wu, Xin, et al.
Published: (2026)

A General Input-Dependent Colorless Computability Theorem and Applications to Core-Dependent Adversaries
by: Coutouly, Yannis, et al.
Published: (2025)

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

Automated, Reliable, and Efficient Continental-Scale Replication of 7.3 Petabytes of Climate Simulation Data: A Case Study
by: Lacinski, Lukasz, et al.
Published: (2024)