Buchumschlag

Determinacy with Priorities up to Clocks

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Liquori, Luigi, Mendler, Michael, Stolze, Claude
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Programming Languages Distributed, Parallel, and Cluster Computing Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Strong Priority and Determinacy in Timed CCS
von: Liquori, Luigi, et al.
Veröffentlicht: (2024)

Fray: An Efficient General-Purpose Concurrency Testing Platform for the JVM (Extended Version)
von: Li, Ao, et al.
Veröffentlicht: (2025)

Comparative analysis of large data processing in Apache Spark using Java, Python and Scala
von: Borodii, Ivan, et al.
Veröffentlicht: (2025)

Leveraging LLMs to Automate Energy-Aware Refactoring of Parallel Scientific Codes
von: Dearing, Matthew T., et al.
Veröffentlicht: (2025)

LeoTask: a fast, flexible and reliable framework for computational research
von: Zhang, Changwang, et al.
Veröffentlicht: (2015)

RVISmith: Fuzzing Compilers for RVV Intrinsics
von: He, Yibo, et al.
Veröffentlicht: (2025)

LASSI: An LLM-based Automated Self-Correcting Pipeline for Translating Parallel Scientific Codes
von: Dearing, Matthew T., et al.
Veröffentlicht: (2024)

Reward Augmentation in Reinforcement Learning for Testing Distributed Systems
von: Borgarelli, Andrea, et al.
Veröffentlicht: (2024)

A Tree Clock Data Structure for Causal Orderings in Concurrent Executions
von: Mathur, Umang, et al.
Veröffentlicht: (2022)

Optimizing Agentic Language Model Inference via Speculative Tool Calls
von: Nichols, Daniel, et al.
Veröffentlicht: (2025)

gFaaS: Enabling Generic Functions in Serverless Computing
von: Chadha, Mohak, et al.
Veröffentlicht: (2024)

ShuffleBench: A Benchmark for Large-Scale Data Shuffling Operations with Distributed Stream Processing Frameworks
von: Henning, Sören, et al.
Veröffentlicht: (2024)

TraceMesh: Scalable and Streaming Sampling for Distributed Traces
von: Chen, Zhuangbin, et al.
Veröffentlicht: (2024)

SPES: Towards Optimizing Performance-Resource Trade-Off for Serverless Functions
von: Lee, Cheryl, et al.
Veröffentlicht: (2024)

L4: Diagnosing Large-scale LLM Training Failures via Automated Log Analysis
von: Jiang, Zhihan, et al.
Veröffentlicht: (2025)

Fixed-Priority and EDF Schedules for ROS2 Graphs on Uniprocessor
von: Bell, Oren, et al.
Veröffentlicht: (2025)

DR.FIX: Automatically Fixing Data Races at Industry Scale
von: Behrang, Farnaz, et al.
Veröffentlicht: (2025)

Extending Data Spatial Semantics for Scale Agnostic Programming
von: Mars, Jason
Veröffentlicht: (2025)

Macroprogramming: Concepts, State of the Art, and Opportunities of Macroscopic Behaviour Modelling
von: Casadei, Roberto
Veröffentlicht: (2022)

A Test Taxonomy and Continuous Integration Ecosystem for Dynamic Resource Management in HPC
von: Sandås, Petter, et al.
Veröffentlicht: (2026)

GitFarm: Git as a Service for Large-Scale Monorepos
von: Dwivedi, Preetam, et al.
Veröffentlicht: (2026)

Predictive Autoscaling for Node.js on Kubernetes: Lower Latency, Right-Sized Capacity
von: Tymoshenko, Ivan, et al.
Veröffentlicht: (2026)

Efficiently Reproducing Distributed Workflows in Notebook-based Systems
von: Azaz, Talha, et al.
Veröffentlicht: (2026)

AlertGuardian: Intelligent Alert Life-Cycle Management for Large-scale Cloud Systems
von: Yu, Guangba, et al.
Veröffentlicht: (2026)

Cost-Performance Analysis of Cloud-Based Retail Point-of-Sale Systems: A Comparative Study of Google Cloud Platform and Microsoft Azure
von: Pagidoju, Ravi Teja
Veröffentlicht: (2026)

Wherefore Art Thou? Provenance-Guided Automatic Online Debugging with Lumos
von: Chen, Jingyuan, et al.
Veröffentlicht: (2026)

Extension of ACETONE C code generator for multi-core architectures
von: Aït-Aïssa, Yanis, et al.
Veröffentlicht: (2026)

MegaFlow: Large-Scale Distributed Orchestration System for the Agentic Era
von: Zhang, Lei, et al.
Veröffentlicht: (2026)

Multi-Objective Load Balancing for Heterogeneous Edge-Based Object Detection Systems
von: Alqahtani, Daghash K., et al.
Veröffentlicht: (2026)

A Lightweight Hybrid Publish/Subscribe Event Fabric for IPC and Modular Distributed Systems
von: Gkoulis, Dimitris
Veröffentlicht: (2026)

Configurable Runtime Orchestration for Dynamic Data Retrieval in Distributed Systems
von: Kandiraju, Abhiram
Veröffentlicht: (2026)

LLM-HPC++: Evaluating LLM-Generated Modern C++ and MPI+OpenMP Codes for Scalable Mandelbrot Set Computation
von: Diehl, Patrick, et al.
Veröffentlicht: (2025)

SeBS-Flow: Benchmarking Serverless Cloud Function Workflows
von: Schmid, Larissa, et al.
Veröffentlicht: (2024)

A Unifying Framework to Enable Artificial Intelligence in High Performance Computing Workflows
von: Domke, Jens, et al.
Veröffentlicht: (2025)

CloudHeatMap: Heatmap-Based Monitoring for Large-Scale Cloud Systems
von: Sohana, Sarah, et al.
Veröffentlicht: (2024)

$μ$OpTime: Statically Reducing the Execution Time of Microbenchmark Suites Using Stability Metrics
von: Japke, Nils, et al.
Veröffentlicht: (2025)

Adaptable TeaStore
von: Bliudze, Simon, et al.
Veröffentlicht: (2024)

Building Castles in the Cloud: Architecting Resilient and Scalable Infrastructure
von: Gundla, Naresh Kumar
Veröffentlicht: (2024)

Histrio: a Serverless Actor System
von: Buttiglieri, Giorgio Natale, et al.
Veröffentlicht: (2024)

AdaptiFlow: An Extensible Framework for Event-Driven Autonomy in Cloud Microservices
von: Ndadji, Brice Arléon Zemtsop, et al.
Veröffentlicht: (2025)