arXiv2
Search
Dark
/ Date
/ Name
Aa
W
/ Date
/ Name
"au:"Christian Menard"" — arXiv2 Search
Showing 1–7 of 7 results
/ Date
/ Name
Jan 21, 2023
Consistency vs. Availability in Distributed Real-Time Systems
Dec 3, 2019
Achieving Determinism in Adaptive AUTOSAR
Jul 7, 2020
The gem5 Simulator: Version 20.0+
Jan 6, 2023
High-Performance Deterministic Concurrency using Lingua Franca
Sep 16, 2021
Quantifying and Generalizing the CAP Theorem
Jun 10, 2024
PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency
Jul 19, 2022
Xronos: Predictable Coordination for Safety-Critical Distributed Embedded Systems