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)
Arthur Rauch, Quentin Bramas, Stéphane Devismes, Pascal Lafourcade, Lamani Anissa:
Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Robots without Common Chirality
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
Karine Altisen, Pierre Corbineau, Stéphane Devismes:
Exact Worst Case Self-Stabilization Time
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
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
Quentin Bramas, Stéphane Devismes, Pascal Lafourcade:
Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Opaque Robots with 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
1852294
English
Français