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

We consider the real and complex noncentral Wishart distributions. The moments of these distributions are shown to be expressed as weighted generating functions of graphs associated with the Wishart distributions. We give some bijections between sets of graphs related to moments of the real Wishart distribution and the complex noncentral Wishart distribution. By means of the bijections, we see ...

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

We propose a transaction management protocol for increasing concurrency and deadline satisfaction in a real-time distributed database. This protocol combines the concepts of data imprecision and transaction importance. The isolation level tolerated is not maximal, that is, each read transaction may access a data item while another transaction is writing it provided that the amount of inconsiste...

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é. Qu’y a t’il de commun aujourd’hui entre l’acquisition de données 3D, la gestion d’informations patrimoniales, ou encore la modélisation tridimensionnelle en temps réel ? Bien peu, force est de le constater, si ce n’est que l’édifice patrimonial sert là souvent de terrain d’expérimentation. Pourtant, il ne saurait être réduit à ce seul statut : il est objet de connaissances dont l’étude ...

RÉSUMÉ. Les systèmes de suivi d’objets mobiles permettent de surveiller en temps réel leurs déplacements. Le stockage de ces données de positions offre des perspectives intéressantes en termes d’analyse de trajectoires. La fouille de données dans des historiques de déplacements d’objets mobiles permet d’identifier des patrons spatio-temporels. En s’appuyant sur ces patrons, il est alors possibl...

La construction de systèmes embarqués critiques temps réel suppose de définir conjointement les aspects fonctionnels (algorithmes de calcul, logique de décision) et les aspects non fonctionnels (paramètres de qualité de service, échéances). Afin de valider que le système embarqué critique temps réel est correct, il est souvent nécessaire de disposer d’une vue complète de l’architecture logiciel...

Résumé— L’approche de transformée opérationnelle (TO) est l'une des meilleurs techniques qui permet de supporter la collaboration dans les environnements mobiles et distribués. Les éditeurs collaborative en temps réel utilisent cette technique pour la réconciliation des données modifiées simultanément par plusieurs utilisateurs. Cependant, l’approche TO utilise un log qui peut atteindre une tai...

ION Modèle RESOLUTION Résultats Système réel COMPARAISON SIMPLIFICATION / COMPLEXIFICATION FIG. 1.1 – Processus de Modélisation Nous détaillons dans la section suivante la phase d’abstraction du système, en présentant différents formalismes de modélisation. 14 CHAPITRE