6 citations · 6 across the 1 of their papers we have counts for
2 papers
eess.SY2024
PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency
Shaokai Lin, Erling Jellum, Mirco Theile +10
This paper introduces the Precision-Timed Virtual Machine (PretVM), an intermediate platform facilitating the execution of quasi-static schedules compiled from a subset of programs…
cs.PL2023★ 6 cited
High-Performance Deterministic Concurrency using Lingua Franca
Christian Menard, Marten Lohstroh, Soroush Bateni +10
Actor frameworks and similar reactive programming techniques are widely used for building concurrent systems. They promise to be efficient and scale well to a large number of cores…