Emplois et stages

Dernières brèves

• Nouvelles brèves
  • 5 décembre 2021 La science taille XX’Elles

Nouvelles publications

• Quelques Publications Récentes (Ressources Partagées)
  • Cyril Six, Sylvain Boulmé, David Monniaux: Certified and Efficient Instruction Scheduling: Application to Interlocked VLIW Processors
  • Quentin Bramas, Stéphane Devismes, Pascal Lafourcade: Finding Water on Poleless using Melomaniac Myopic Chameleon Robots
  • 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
  • David Monniaux, Cyril Six: Simple, light, yet formally verified, global common subexpression elimination and loop-invariant code motion
  • Maximilien Dupont De Dinechin, Matheus Schuh, Matthieu Moy, Claire Maiza: Scaling Up the Memory Interference Analysis for Hard Real-Time Many-Core Systems
  • Stéphane Devismes, Pascal Lafourcade: Un jour sans fin
  • Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain: Du discrètement continu au continûment discret
  • Karine Altisen, Stéphane Devismes, Erwan Jahier: SASA: a SimulAtor of Self-stabilizing Algorithms

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

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