Cet article recense de nombreux résultats obtenus dans diverses publications relevant de la théorie de Galois effective ; en particulier, les formules et théorèmes sur les idéaux galoisiens peuvent s’exprimer de diverses façons et sont parfois “redécouverts” par de triviales reformalisations. L’éparpillement complique également leur utilisation rapide. Les idéaux galoisiens (dits alors de Galoi...

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...

— This paper is a survey of both classical and new results and ideas on long memory, scaling and self-similarity, both in the light-tailed and heavy-tailed cases. RÉSUMÉ. — Cet article est une synthèse de résultats et idées classiques ou nouveaux sur la longue mémoire, les changements d’échelles et l’autosimilarité, à la fois dans le cas de queues de distributions lourdes ou légères.

La découverte en 1965 par Penzias et Wilson du fond de rayonnement cosmologique diffus à 3 K a définitivement fait du modèle du Big Bang chaud le cadre général de la cosmologie moderne. Ces trois dernières décennies ont été marquées par de nombreux progrès tant théoriques qu’observationnels qui n’ont fait que confirmer sa validité, et de préciser petit à petit les détails de ce scénario. Parmi ...

Model-checking is a popular technique for verifying finite-state concurrent systems, the behaviour of which can be modeled using Labeled Transition Systems (Ltss). In this report, we study the model-checking problem for the modal μ-calculus on acyclic Ltss. This has various applications of practical interest such as trace analysis, log information auditing, run-time monitoring, etc. We show tha...

........................................................................................................................... v Acknowledgements ........................................................................................................ vii Glossary ........................................................................................................................... ix List of F...

Transactional memory (TM) systems implement the concept of an atomic execution unit called transaction in order to discharge programmers from explicit synchronization management. But when shared data is atomically accessed by both transaction and non-transactional code, a TM system must provide strong isolation in order to overcome consistency problems. Strong isolation enforces ordering betwee...

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...

Transactional Memory (TM) is considered as one of the most promising paradigms for developing concurrent applications. TM has been shown to scale well on multiple cores when the data access pattern behaves “well,” i.e., when few conflicts are induced. In contrast, data patterns with frequent write sharing, with long transactions, or when many threads contend for a smaller number of cores, produ...

Le développement et la diffusion des équipements TEP passent par la réduction des temps de calcul de la reconstruction des images acquises. Aussi cet article présente une solution mixte logicielle/matérielle pour l’accélération de la reconstruction 2D sur une plateforme SOPC (System On Programmable Chip), la nouvelle génération de circuits reconfigurables. L’architecture présentée permet de rés...