Add to ORKGNational audienceNous avons proposé dans précédemment un cadre formel pour l'analyse de propriétés de latence dans un programme synchrone multi- périodique. Ce cadre ne permettait que le calcul d'une sur-approximation de la latence. Le présent article reprend ce cadre pour proposer un calcul exact, et l'étend à deux autres propriétés : la fraîcheur et la réactivité
Les événements déclencheurs 2007 : le débat sur la ratification du protocole de Londres et la détres...
International audienceDepuis un peu plus d'une dizaine d'années la sécurité matérielle (la sécurité ...
International audienceL'un dans l'autre est le nom d'un jeu collectif surréaliste créé dans les anné...
National audienceNous avons proposé dans précédemment un cadre formel pour l'analyse de propriétés d...
National audienceNous avons proposé dans précédemment un cadre formel pour l'analyse de propriétés d...
International audienceCet article présente un travail en cours pour mettre en place une chaîne d'out...
International audienceCet article présente un travail en cours pour mettre en place une chaîne d'out...
National audienceCet article présente un environnement de génération de règles de coordination a...
Avant de résoudre les références aux objets et aux lieux d'un énoncé multimodal associant parole et ...
International audienceCet ouvrage présente les fondements scientifiques de la théorie de l'apprentis...
International audienceCet article présente une expérimentation d'intégration des lycéens en première...
International audienceLe travail présenté dans cette deuxième partie de notre article vise à décrire...
Cette recherche méthodologique vise à proposer un cadre d'évaluation élargissant le champ de l'évalu...
National audienceCet article présente un environnement de génération de règles de coordination a...
National audienceCet article présente un environnement de génération de règles de coordination a...
Les événements déclencheurs 2007 : le débat sur la ratification du protocole de Londres et la détres...
International audienceDepuis un peu plus d'une dizaine d'années la sécurité matérielle (la sécurité ...
International audienceL'un dans l'autre est le nom d'un jeu collectif surréaliste créé dans les anné...
National audienceNous avons proposé dans précédemment un cadre formel pour l'analyse de propriétés d...
National audienceNous avons proposé dans précédemment un cadre formel pour l'analyse de propriétés d...
International audienceCet article présente un travail en cours pour mettre en place une chaîne d'out...
International audienceCet article présente un travail en cours pour mettre en place une chaîne d'out...
National audienceCet article présente un environnement de génération de règles de coordination a...
Avant de résoudre les références aux objets et aux lieux d'un énoncé multimodal associant parole et ...
International audienceCet ouvrage présente les fondements scientifiques de la théorie de l'apprentis...
International audienceCet article présente une expérimentation d'intégration des lycéens en première...
International audienceLe travail présenté dans cette deuxième partie de notre article vise à décrire...
Cette recherche méthodologique vise à proposer un cadre d'évaluation élargissant le champ de l'évalu...
National audienceCet article présente un environnement de génération de règles de coordination a...
National audienceCet article présente un environnement de génération de règles de coordination a...
Les événements déclencheurs 2007 : le débat sur la ratification du protocole de Londres et la détres...
International audienceDepuis un peu plus d'une dizaine d'années la sécurité matérielle (la sécurité ...
International audienceL'un dans l'autre est le nom d'un jeu collectif surréaliste créé dans les anné...