Error in query: No results found.
The path you have selected does not seem valid. Please return to the previous page and verify the information provided.
Jan Reineke, Sebastian Altmeyer, Daniel Grund, Sebastian Hahn, Claire Maiza:
Selfish-LRU: Preemption-Aware Caching for Predictability and Performance
Jean-Francois Kempf, Olivier Lebeltel, Oded Maler:
Formal and Informal Methods for Multi-Core Design Space Exploration
Distributed Implementation of Constrained Systems based on Knowledge
Emmanuel Pourcelot, Nicolas Mobilia, Alexandre Donzé, Oded Maler, Pascal Mossuz, Eric Fanchon:
Cellular iron regulation in animals: need and use of suitable models
Karine Altisen, Stéphane Devismes, Anaïs Durand:
Self-Stabilizing Leader Election in Polynomial Steps
Alexis Fouilhé, Sylvain Boulmé:
A certifying frontend for (sub)polyhedral abstract domains
[funded PhD] Abstract domains for hybrid systems verification
Registering with the site
You can take an active part in this website and write your own articles by registering below. You will then receive immediately an email giving you an access code to the private area of the site.
How to reach us
Jobs and Internships
Workshops and Conferences
Site created with SPIP 2.1.26
Logged in visitors: