Sites Inria

Il y a 4 Résultats avec le mot clé : "Marc Pouzet"

Marc Pouzet, professeur, équipe Proval - © Inria Saclay - Île-de-France

Unithé ou café

Les programmes prennent le temps

Laure Guion - 15/01/2010

Deux personnes jonglent ensemble, elles s’échangent des balles au même moment. Cette simple situation réelle est complexe à recréer en programmation. Comment introduire la notion de temps dans un logiciel ? Et que signifie « en même temps » ? De l’ABS de voiture au sas de sécurité d’une entrée de banque, en passant par le tapis roulant des bagages à l’aéroport, l’échelle de temps doit être suffisamment fine pour que les systèmes fonctionnent sur un rythme commun. Mais il faut aussi « faire comme si » le temps était précis pour pouvoir synchroniser des tâches ensemble, entre machines mais aussi avec des humains. C’est-à-dire simplifier la réalité pour mieux réguler…

Mots-clés :

Accueil > Centre > Saclay > Recherche > Algorithmique, programmation, logiciels et architectures > Les programmes prennent le temps

Lire la suite

Prix Inria 2016

Les lauréats des Prix Inria 2016

Laurence Goussu - 30/11/2016

Pour la 6e année consécutive, Inria, l’Académie des sciences et Dassault Systèmes mettent à l’honneur des chercheurs ayant apporté une contribution majeure dans le domaine des sciences du numérique. Les travaux des lauréats 2016 des Prix Inria illustrent une fois de plus l’impact du numérique dans notre société et le formidable potentiel d’innovation de ce secteur. Deux prix récompensent également des personnels techniciens d’Inria pour leur implication dans le bon fonctionnement et le rayonnement de l’institut.
La remise des prix a eu lieu le 30 novembre lors d’une cérémonie qui s'est déroulée au Forum des Images à Paris.

Mots-clés :

Accueil > Actualité > Médiacenter > Les lauréats des Prix Inria 2016

Lire la suite

Prix Inria 2016

Palmarès des Prix Inria 2016

(*) - 14/11/2016

Découvrez celles et ceux qui sont honorés cette année pour leurs contributions majeures aux sciences du numérique, au déploiement d’innovations riches de promesses pour notre société ainsi qu’au bon fonctionnement de l’institut. Les lauréates et lauréats 2016 des cinq prix Inria seront à l’honneur le 30 novembre prochain, lors de la cérémonie de remise des prix qui se déroulera au Forum des images à Paris.

Mots-clés :

Accueil > Actualité > Actualités Inria > Palmarès des Prix Inria 2016

Lire la suite

© Inria / Photo G .Scagnelli

Prix Inria 2016

Marc Pouzet : Prix de l’Innovation Inria - Académie des sciences - Dassault Système

Citizen Press - 21/11/2016

Récompensé par le Prix de l’Innovation Inria - Académie des sciences - Dassault Systèmes, Marc Pouzet est un spécialiste des langages synchrones. Ses recherches portent sur la conception, la sémantique et l’implémentation de langages de programmation pour mettre en œuvre des systèmes embarqués. Ses travaux ont notamment permis le développement de SCADE KCG 6, langage et environnement utilisés pour réaliser les logiciels critiques dans les avions et les trains.

Mots-clés :

Accueil > Institut > Inria en bref > Prix Inria par année > Lauréats 2016 > Marc Pouzet : Prix de l’Innovation

Lire la suite

Haut de page

Suivez Inria