– We consider a time and spatial explicit discretisation scheme for the Boltzmannequation. We prove some Maxwellian bounds on the resulting approximated solution anddeduce its convergence using a new time-discrete averaging lemma.  2003 Éditions scientifiques et médicales Elsevier SAS MSC: 35A35; 65L20; 76PO5 RÉSUMÉ. – Nous considérons une discrétisation explicite en temps et espace de l’équat...

. The goal of this paper is to give a simple proof of the convergence to timeperiodic states of the solutions of time-periodic Hamilton-Jacobi equations on the circle with convex Hamiltonian. Note that the period of limiting solutions may be greater than the period of the Hamiltonian. Resumé. . On donne une preuve simple de la convergence vers des états périodiques en temps pour les solutions d...

Résumé. Nous présentons un nouvel algorithme de SVM (Support Vector Machine ou Séparateur à Vaste Marge) linéaire et non-linéaire, parallèle et distribué permettant le traitement de grands ensembles de données dans un temps restreint sur du matériel standard. A partir de l’algorithme de NewtonGSVM proposé par Mangasarian, nous avons construit un algorithme incrémental, parallèle et distribué pe...

Precision Timed Architectures (PRET) are a recent proposal for designing processors for real-time embedded systems. These processors must guarantee precise worst case reaction time (WCRT) of applications without sacrificing throughput, and must allow the WCRT of programs to be computed simply as well as efficiently. The objective of this paper is to propose a new synchronous language based on C...

Résumé—Dans cet article, nous présentons une proposition de protocole de validation atomique anticipée pour la validation des transactions d’une application temps réel mobile. Ce protocole utilise les «timeout » pour atteindre une décision rapide de validation ou d’abandon de la transaction globale. L’utilisation des délais minimise davantage l’impact du non fiabilité des liaisons sans fil dans...

L’approche synchrone a été récemment étendue pour permettre la spécification de systèmes multipériodiques rythmés par des horloges temps réel explicites et non plus seulement des horloges booléennes. Cette extension est au cœur du langage Prelude et permet la compilation de la spécification en un système multi-tâches gérées par un ordonnanceur temps réel. Le gain est une implémentabilité accrue...

RÉSUMÉ La caractérisation du contexte des mots constitue le cœur de la plupart des méthodes d’extraction de lexiques bilingues à partir de corpus comparables. Dans cet article, nous revisitons dans un premier temps les deux principales stratégies de représentation contextuelle, à savoir celle par fenêtre ou sac de mots et celle par relations de dépendances syntaxiques. Dans un second temps, nou...

RÉSUMÉ. Cet article étudie les apports de la modélisation de l’anticipation musicale à la conception d’application musicale temps réel. Nous proposons d’aborder le problème de l’anticipation sous l’angle de la notion d’attente et à partir de trois questions : quoi attendre ? comment attendre ? et quand attendre ? Ces questions sont formalisées à partir d’outils théoriques variés faisant appel r...