Jump to navigation
Véronique Cortier is CNRS research director at Loria (Nancy, France). In 2003, she received her Ph.D.
Abstract In this thesis, we present several theoretical and practical re
We consider the problem of proving linearizability for concurrent threads that access a shared data structure.
Dynamical systems, both discrete and continuous, permeate vast areas of mathematics, physics, engineering, and comput
A thread-modular proof for the correctness of a concurrent program is based on an inductive and interference-free ann
Marc Vautier a passé près de 20 ans dans la R&D chez Orange dans le domaine des réseaux & services, il est en charge depuis 2007 de l’éco
Damien Hartmann & Magnus Piotrowski (Responsable des Affaires Environnementales pour la zone EMEA chez Lenovo.
Hervé Guilcher (ingénieur HP depuis 20 ans. Il a occupé différents postes chez HP, à San Diego notamment dans la Supply Chain.
Une vision du design pour une industrie IT plus éthique.
Olivier Richard (LIG, Grenoble) Olivier Richard est enseignant-chercheur à l’université Grenoble Alpes, il s’intéresse à la gestion des infrastru