You're currently viewing an old version of this dataset. To see the current version, click here.

Precision-Timed Virtual Machine (PRETVM)

The PRETVM dataset is a collection of quasi-static schedules compiled from a subset of LF programs, supporting a top-down, model-based design flow for real-time software in Cyber-Physical Systems.

Data and Resources

This dataset has no data

Cite this as

Shaokai Lin, Erling Jellum, Mirco Theile, Tassilo Tanneberger, Binqi Sun, Chadlia Jerad, Ruomu Xu, Guangyu Feng, Christian Menard, Marten Lohstroh, Jeronimo Castrillon, Sanjit Seshia, Edward Lee (2024). Dataset: Precision-Timed Virtual Machine (PRETVM). https://doi.org/10.57702/2lrcb092

Private DOI This DOI is not yet resolvable.
It is available for use in manuscripts, and will be published when the Dataset is made public.

Additional Info

Field	Value
Created	December 17, 2024
Last update	December 17, 2024
Defined In	https://doi.org/10.48550/arXiv.2406.06253
Author	Shaokai Lin
More Authors	Erling Jellum Mirco Theile Tassilo Tanneberger Binqi Sun Chadlia Jerad Ruomu Xu Guangyu Feng Christian Menard Marten Lohstroh Jeronimo Castrillon Sanjit Seshia Edward Lee