Arrival Curves for Real-Time Calculus: The Causality Problem and Its Solutions
Abstract elided by the publisher.
Related papers
- Modeling Parsimonious Putative Regulatory Networks: Complexity and Heuristic Approach VMCAI 2014
- Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults TACAS 2017
- Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves CPP 2023
- Executable Counterfactuals: A Causal Calculus for Concurrent Systems (Keynote) GPCE 2026
- Efficient Discovery of Actual Causality in Stochastic Systems VMCAI 2026
- TF-Coder: Program Synthesis for Tensor Manipulations TOPLAS 2022
- Parallel k-Core Decomposition with Batched Updates and Asynchronous Reads PPoPP 2024
- Simple, Efficient Asynchronous Parallel Algorithms for Maximization TOPLAS 1988