Accueil
>
Axes
>
Ressources partagées
>
Emplois et stages
>
Emplois et stages
Emplois et stages
Emplois et stages
Masters
[Master] Multi-core Interference analysis and Global Scheduling
[Master] Simulation of Distributed Algorithms
Emplois et stages à Verimag
Nouvelles publications
Quelques Publications Récentes (Ressources Partagées)
Quentin Bramas, Stéphane Devismes, Pascal Lafourcade:
Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Opaque Robots with Common Chirality
Quentin Bramas, Stéphane Devismes, Pascal Lafourcade:
Finding Water on Poleless using Melomaniac Myopic Chameleon Robots
Stéphane Devismes, Pascal Lafourcade:
Un jour sans fin
Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit:
On Implementing Stabilizing Leader Election with Weak Assumptions on Network Dynamics
Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, Sébastien Tixeuil:
Terminating Exploration of a Grid by an Optimal Number of Asynchronous Oblivious Robots
Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit:
Self-stabilizing Systems in Spite of High Dynamics
David Monniaux, Cyril Six:
Simple, light, yet formally verified, global common subexpression elimination and loop-invariant code motion
Cyril Six:
Optimized and formally-verified compilation for a VLIW processor
Offres d'emploi et stages
Offres d'emploi et stages (Ressources Partagées)
[Master] Multi-core Interference analysis and Global Scheduling
[Master] Simulation of Distributed Algorithms
Navigation
Rubriques
Verimag
Axes
Ressources partagées
Membres
Publications
Partenaires
Projets
Outils
Emplois et stages
ETiCS
Formal Proofs
PACS
MOHYTOS
FETLAS
Contact
Plan du site
Acces au Batiment
Contact
|
Plan du site
|
Site réalisé avec SPIP 3.1.15
+
AHUNTSIC
[CC License]
info visites
1849940
English
Français