Identité
|
Laboratoire
|
Mots clés
|
Key words
|
| Renaud BLANCH |
LIG |
- Interaction homme-machine
- visualisation interactive d'information
|
- Human-computer interaction
- Information visualisation
|
| Georges-Pierre BONNEAU |
LJK |
- Visualisation
- Informatique graphique
- Géométrie numérique
|
- Visualization
- Computer Graphics
- Digital Geometry
|
| Vincent DANJEAN |
LIG |
- HPC
- Analyse de traces
- Programmation parallèle par tâches
- OpenMP
|
- HPC
- Traces analysis
- Task oriented parallel programming
- OpenMP
|
| Didier DONSEZ |
LIG |
- Systèmes distribués
- Intergiciels
- Génie logiciel
- Internet des objets
|
- Disributed systems
- Middlewares
- Software engineering
- Internet of things
|
| Jean-François MEHAUT |
LIG |
- Calcul haute performance
- Programmation multi-coeurs
- Architectures basse consommation
|
- High performance computing
- Multi-core programming
- Low power architectures
|
| Jean-François MONIN |
VERIMAG |
- Vérification et preuves formelles
- Assistant à la preuve Coq
- Programmation fonctionnelle
|
- Program verification
- Formal proofs Coq
- Functional programming
|
| Nicolas PALIX |
LIG |
- Système d’exploitation
- Fautes logicielles
- Langages dédiés
|
- Operating system
- Software faults
- Domain-specific langages
|
| Michaël PÉRIN |
VERIMAG |
- Certification d’outils de vérification
- Programmation linéaire
- Correction automatique
|
- Certification
- Formal proofs
- Polyhedra
- Static analysis
|
| Olivier RICHARD |
LIG |
- Calcul haute performance
- Système de traitement de donnée
- Gestion d’infrastructure, de tâche et de ressource
|
- High performance computing
- Big Data System
- Infrastucture, resource and job management system
|
| Bernard TOURANCHEAU |
LIG |
- Réseaux
- Protocoles
- Internet des objets
- Calcul haute performance
|
- Networks
- Protocols
- Internet of Things
- High Performance Computing
|
| Romain VERGNE |
LJK |
- Informatique graphique
- Synthèse d’images
- Édition d’images
- Rendu expressif
|
- Computer graphics
- Image synthesis
- Image editing
- Expressive rendering
|
