The explicit-state analysis of concurrent systems must handle large state spaces, which correspond to realistic systems containing many parallel processes and complex data structures. In this report, we combine the on-the-fly approach (incremental construction of the state space) and the distributed approach (state space exploration using several machines connected by a network) in order to inc...

Face aux aspirations de liberté et d’émancipation des personnes, dans un contexte politique qui les promeuvent, formes nouvelles que peut prendre le travail social, comme ses outils, sont à investiguer. Le pouvoir d’agir (ou l’empowerment), travers la possibilité conférée une personne d’être actrice sa vie, semble être socle sur le...

RÉSUMÉ Le TAL est tenu pour une activité pratique hétérogène susceptible d’associer dans un même système des méthodes et des théories linguistiques ou philosophiques parfois contradictoires. Dans mon exposé, je vais tâcher d’expliciter cette tension en m’appuyant sur une étude de tout premiers systèmes de TAL, modèles de traduction automatique et d’extraction d’information, mis au point dans le...

L’inégalité de concentration de Azuma-Hoeffding fait partie de ces beaux outils mathématiques à la fois simples et utiles. Elle mérite d’être connue par tous ceux qui s’intéressent aux probabilités. Dans cet exposé, on en donne une version due à McDiarmid, ainsi qu’une application aux mesures spectrales empiriques de matrices aléatoires, puis au problème du voyageur de commerce en optimisation ...

ion étoile déco noël (3) multi-abstraction étoile (4) co-abstraction étoile (5) multi-concrétisation étoile déco noël (6)

This paper presents the results of a comparative study between traditional analogue tools (sketches and physical models), a CAD software (digital) and a hybrid tool (digital and analogue) that allows immersive freehand sketching and model making (the Hybrid Ideation Space), in order to assess their respective abilities to support collaborative ideation. By comparing these tools, we were able to...

Dans cette perspective, et dans le but de développer des outils et des ressources linguistiques, nous avons entrepris de construire un module NooJ pour la langue amazighe standard (Ameur et al., 2004). Le présent article propose une formalisation de la catégorie nom permettant de générer à partir d’une entrée lexicale son genre (masculin, féminin), son nombre (singulier, pluriel), et son état (...

Model-checking is a successful technique for automatically verifying concurrent nite-state systems. When building a model-checker, a good compromise must be made between the expressive power of the property description formalism, the complexity of the model-checking problem, and the user-friendliness of the interface. We present a temporal logic and an associated model-checking method that atte...

Tous droits réservés pour tous pays. Toute traduction ou toute reproduction sous quelque forme que ce soit est interdite. Les textes publiés dans la série des Cahiers de recherche HEC n'engagent que la responsabilité de leurs auteurs. La publication de ce Cahier de recherche a été rendue possible grâce à des subventions d'aide à la publication et à la diffusion de la recherche provenant des fon...

In a previous work, we proposed a framework for the o -line simulation of MPI applications. Its main originality with regard to the literature is to rely on time-independent execution traces. Time-independent traces are an original way to estimate the performance of parallel applications. To acquire time-independent traces of the execution of MPI applications, we have to instrument them to log ...