Outils, Logiciels, Démonstrations
LIMOS makes available to its researchers various tools and resources.
- A platform HPC (High Performance Computing) with a Slurm scheduler
- Une plateforme de virtualisation Proxmox
The following tools were created and shared by LIMOS researchers.
- A platform HPC (High Performance Computing) with a Slurm scheduler
- Une plateforme de virtualisation Proxmox
The following tools were created 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 | DiceKriging | package R « DiceKriging » | Olivier ROUSTANT, D. Ginsbourger, Y. Deville |
library | kergp | Package R « kergp » | Olivier ROUSTANT, Deville, D. Ginsbourger, N. Durrande |
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 |
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 |