Home
>
Topics
>
Shared Resources
>
Jobs and Internships
>
Jobs and Internships
Jobs and Internships
Jobs and internships
Masters
[Master] Multi-core Interference analysis and Global Scheduling
[Master] Simulation of Distributed Algorithms
Jobs in the whole Verimag lab
New publications
Some Recent Publications (Ressources Partagées)
Quentin Bramas, Stéphane Devismes, Pascal Lafourcade:
Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Opaque Robots with Common Chirality
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
Stéphane Devismes, Pascal Lafourcade:
Un jour sans fin
Karine Altisen, Stéphane Devismes, Erwan Jahier:
SASA: a SimulAtor of Self-stabilizing Algorithms
Cyril Six:
Optimized and formally-verified compilation for a VLIW processor
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
Arthur Rauch, Quentin Bramas, Stéphane Devismes, Pascal Lafourcade, Lamani Anissa:
Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Robots without Common Chirality
Jobs and internships
Jobs and internships (Ressources Partagées)
[Master] Multi-core Interference analysis and Global Scheduling
[Master] Simulation of Distributed Algorithms
Browsing
Sections
Verimag
Topics
Shared Resources
Members
Publications
Partners
Projects
Tools
Jobs and Internships
ETiCS
Formal Proofs
PACS
MOHYTOS
FETLAS
Contact
Site Map
Building Access
Contact
|
Site Map
|
Site powered by SPIP 3.2.15
+
AHUNTSIC
[CC License]
info visites
1863407
English
Français