gricad-gitlab.univ-grenoble-alpes.fr / verimag 14 Repositories
Verimag projects
verimag/tempo/multidimensional_search
Last synced at: 7 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
verimag/synchrone/sasa
Self-stabilizing Algorithms SimulAtor
Last synced at: 7 months ago - Pushed at: 11 months ago - Stars: 1 - 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/bip/compiler
BIP compiler and execution engines.
Last synced at: 7 months ago - Stars: 0 - Forks: 0
verimag/synchrone/lutils
Tools and libs shared by Verimag/synchronous tools (lustre, lutin, rdbg).
Last synced at: 7 months ago - Stars: 0 - Forks: 0
verimag/bip/artifacts/drbip-feb2020
Last synced at: 7 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
verimag/synchrone/rdbg
RDBG stands for Reactive programs DeBuGger. Its a programmable debugger that targets reactive programs for which a rdbg-plugin exists. Currently two plugins exist : one for Lustre, and one for Lutin (nb: both are synchronous programming languages).
Last synced at: 7 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
verimag/Members
This project is meant to make the _veri-gitlabrun_ runner available to Verimag members. To be able to use it, you just need to (1) subscribe to this project; (2) asks to one of the project owner to assign you the _master_ status
Last synced at: 7 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
verimag/if/if-toolset
The open source release of the IF Toolset
Last synced at: 7 months ago - Stars: 0 - Forks: 0
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/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/old-reproducible-research
The experiment of this project has been moved into the osim-lutin project inside the verimag/reproducible-research/ group
Last synced at: 7 months ago - Stars: 0 - Forks: 0