Tools, softwares, demos
LIMOS provides its researchers with various tools and resources
- A platform HPC (High Performance Computing) with a Slurm scheduler
- A virtualization platform Proxmox
Foolowing tools were built and shared by LIMOS researchers.
- A platform HPC (High Performance Computing) with a Slurm scheduler
- A virtualization platform Proxmox
Foolowing tools were built and shared by LIMOS researchers.
| Type | Tool | Description | Authors |
|---|---|---|---|
| library | alsk | Active C++ Library for Assisted Parallelisation with Algorithmic Skeletons | Alexis PEREDA, Bruno BACHELET, Claude MAZEL, David HILL |
| library | pfor | Active C++ Library for Automatic Parallelisation of Loops | Alexis PEREDA, Bruno BACHELET, Claude MAZEL, David HILL |
| library | Hedgehog | C++ Library for Data-Flow Driven Heterogeneous Parallelization | Alexandre BARDAKOFF, Timothy BLATTNER, Walid KEYROUZ, Bruno BACHELET, Loïc YON, Mary BRADY |
| library | sensitivity | package R « sensitivity » | Olivier ROUSTANT, Bertrand Iooss |
| library | lineqGPR | Gaussian Processes with Linear Inequality Constraints | LOPEZ-LOPERA |
| library | DiceOptim | package R « DiceOptim » | Olivier ROUSTANT, Picheny, D. Ginsbourger |
| software | MetaExploArrays | logiciel parallèle pour la détermination d’oligonucléotides | David HILL, Faouzi JAZIRI , Mohiedine MISSAOUI, Pierre PEYRET |
| software | HiSpOD | logiciel de détermination de sonde ou d’amorce dans le domaine de l’écologie microbienne | David HILL, Faouzi JAZIRI , Mohiedine MISSAOUI, Pierre PEYRET |
| library | Générateur MATLAB de maillages | Générateur MATLAB de maillages d’éléments finis 2D avec une fonction de densité automatique | Jonas KOKO |
| library | KPDE | Bibliothèques de fonctions MATLAB | Jonas KOKO |
| library | KSTOK | Functions Matlab Libraries | Jonas KOKO |
| library | DiceKriging | package R « DiceKriging » | Olivier ROUSTANT, D. Ginsbourger, Y. Deville |
| library | kergp | Package R « kergp » | Olivier ROUSTANT, Deville, D. Ginsbourger, N. Durrande |
| software | Hoare Logic Checkers for Security Proofs | We developp two prototypes that implement two Hoare Logic to automatically verify specific cryptographic primitives | Pascal LAFOURCADE, Martin Gagné and Yassine Lakhnech |
| library | ETC++ | C++ Library for Concept-Based Expression Templates | Bruno BACHELET, Loïc YON |
| library | C4TS++ | C++ Library for Concept-Based Template Specialization | Bruno BACHELET, Antoine MAHUL, Loïc YON |
| library | B++ Library | Generic C++ Library for Operations Research and Simulation | Bruno BACHELET |
| software | Build Graph Online | Web Application to Generate Graphs or Graph Problems | Bruno BACHELET |