gricad-gitlab.univ-grenoble-alpes.fr / verimag / reproducible-research
verimag/reproducible-research/sasartifact
Reproduce experiments done in sasa related articles
Last synced at: 7 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
verimag/reproducible-research/simple-dflow-rtss-2020
Repository containing code pointed out in the RTSS 2020 submitted paper
Last synced at: 7 months ago - Stars: 0 - Forks: 0
verimag/reproducible-research/run-bench
The objective of run-bench is to measure the execution time of a set of tools (e.g., compilers) and tool options on several data files (e.g., programs).
Last synced at: 7 months ago - Stars: 0 - Forks: 0
verimag/reproducible-research/osim-lutin
Reproduce the experimental results of an article currently under submission "Assessing Software Abstractions inWCET Analysis of Reactive Programs" cf http://www-verimag.imag.fr/TR/TR-2018-2.pdf
Last synced at: 7 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
verimag/reproducible-research/lra4w7
Reproduce the experimental results of an article under submission (at the LITES journal) named : ''Improving WCET Evaluation using Counters and Linear Relation Analysis''
Last synced at: 7 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0