Published April 29, 2021
| Version 1.0
Software
Open
Delay-Bound Scheduling Without Delay! (artifact)
Description
This is the artifact for the CAV2021 paper:
Delay-Bounded Scheduling Without Delay!
Instructions to run:
Download the docker image tarball (~320MB).
Load the docker image:
docker load < ubuntu-duba.tar
Generate a container:
docker run --name=duba-container -it johnsonan299/ubuntu-duba:latest
This should open a terminal as root in the container. Navigate to the directory /home/CAV2021 and follow the instructions in the README to run the tool.
Files
Files
(319.1 MB)
Name | Size | Download all |
---|---|---|
md5:8704f70d5b5d29a0cb2fafb40db38cae
|
319.1 MB | Download |