gricad-gitlab.univ-grenoble-alpes.fr / verimag / reproducible-research
verimag/reproducible-research/sasartifact
Reproduce experiments done in sasa related articles
dernière synchronisation: il y a 10 mois - enregistré: il y a environ un an - étoiles: 0 - forks: 0
verimag/reproducible-research/simple-dflow-rtss-2020
Repository containing code pointed out in the RTSS 2020 submitted paper
dernière synchronisation: il y a 10 mois - étoiles: 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).
dernière synchronisation: il y a 10 mois - étoiles: 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
dernière synchronisation: il y a 10 mois - enregistré: il y a environ un an - étoiles: 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''
dernière synchronisation: il y a 10 mois - enregistré: il y a environ un an - étoiles: 0 - forks: 0