• Aucun résultat trouvé

[PDF] Top 20 Réduction de la consommation statique des systèmes temps-réel multiprocesseurs

Has 7683 "Réduction de la consommation statique des systèmes temps-réel multiprocesseurs" found on our website. Below are the top 20 most common "Réduction de la consommation statique des systèmes temps-réel multiprocesseurs".

Réduction de la consommation statique des systèmes temps-réel multiprocesseurs

Réduction de la consommation statique des systèmes temps-réel multiprocesseurs

... Leur consommation ´energ´etique est divis´ee en deux : la consommation dynamique et la consommation ...la consommation et s’int´eressent soit `a la consommation statique soit `a ... Voir le document complet

5

Ordonnancement temps réel multiprocesseur pour la réduction de la consommation énergétique des systèmes embarqués

Ordonnancement temps réel multiprocesseur pour la réduction de la consommation énergétique des systèmes embarqués

... la réduction de la consommation énergétique ont été publiées ...la consommation énergétique ayant ...d’ordonnancement temps réel dont l’objectif est de réduire la consommation ... Voir le document complet

124

Stratégie de réduction des cycles thermiques pour systèmes temps-réel multiprocesseurs sur puce

Stratégie de réduction des cycles thermiques pour systèmes temps-réel multiprocesseurs sur puce

... la consommation d'énergie a été l'un des sujets de recherche importants ces dernières années dans le domaine des systèmes ...une réduction continuelle de leur taille avec pour résultat un nombre ... Voir le document complet

134

Techniques de réduction de la consommation dans les systèmes embarqués temps-réel

Techniques de réduction de la consommation dans les systèmes embarqués temps-réel

... Techniques de réduction de la consommation dans les systèmes embarqués temps-réel Frédéric Parain — Michel Banâtre — Gilbert Cabillic — Teresa Higuera — Valérie Issarny — Jean-Philippe L[r] ... Voir le document complet

34

Caractérisation de la performance temporelle et de la consommation  électrique de systèmes embarqués basés sur des plates-formes multiprocesseurs/coeurs et mettant en oeuvre du logiciel temps réel : FORECAST : perFORmance and Energy Consumption AnalysiS T

Caractérisation de la performance temporelle et de la consommation électrique de systèmes embarqués basés sur des plates-formes multiprocesseurs/coeurs et mettant en oeuvre du logiciel temps réel : FORECAST : perFORmance and Energy Consumption AnalysiS Tool

... Nous pouvons observer que lors de la transmission de donn´ee, le module de cryptage s’ex´ecute presque autant de temps que le codeur ou le modulateur alors que pour la synchronisation, le bloc de modulation est la ... Voir le document complet

145

Efficacité énergétique et ordonnancement des systèmes temps-réel multiprocesseurs.

Efficacité énergétique et ordonnancement des systèmes temps-réel multiprocesseurs.

... de temps inutilisés qui attribue l’intervalle de temps inutilisé par une tâche précédente à la tâche prête suivante ayant la priorité locale la plus élevée s’exécutant sur le même ...de temps ... Voir le document complet

202

Ordonnancement de tâches efficace et à complexité maîtrisée pour des systèmes temps-réel

Ordonnancement de tâches efficace et à complexité maîtrisée pour des systèmes temps-réel

... la consommation Dans le cas de syst` emes monoprocesseurs, des algorithmes d’ordonnancement temps r´ eel ont des bornes d’ordonnan¸ cabilit´ e optimales mais au prix d’une complexit´ e en ligne qui peut ˆ ... Voir le document complet

179

Gestion de l'énergie renouvelable et ordonnancement temps réel dans les systèmes embarqués

Gestion de l'énergie renouvelable et ordonnancement temps réel dans les systèmes embarqués

... La problématique d’ordonnancement sur les systèmes qui récupèrent l’énergie de l’environnement est de trouver des algorithmes performants ainsi que les outils d’analyses d’ordonnançabilité associés. L’algorithme ... Voir le document complet

299

Approche formelle pour la spécialisation de systèmes d'exploitation temps réel

Approche formelle pour la spécialisation de systèmes d'exploitation temps réel

... emes temps r´ ...le temps car nous supposons que les fonctions du syst` emes d’exploitation s’ex´ ecutent en temps ...le temps d’ex´ ecution des tˆ aches afin de pourvoir v´ erifier les ... Voir le document complet

15

Conception et fabrication d'un matelas ajustable, personnalisable pour l'optimisation du confort statique et dynamique en temps réel

Conception et fabrication d'un matelas ajustable, personnalisable pour l'optimisation du confort statique et dynamique en temps réel

... Comme le coût a explosé avec l’automatisation, il serait nécessaire de réfléchir à une approche où le nombre de configurations de suspension soit limité. Davantage de recherche serait nécessaire pour comprendre le nombre ... Voir le document complet

115

Test de systèmes temps réel à l’aide du forçage en ligne

Test de systèmes temps réel à l’aide du forçage en ligne

... – Contrôle de la date d’inter-arrivée pour une tâche, c’est à dire la durée entre deux activations d’une même tâche. – Contrôle du temps d’exécution d’une instance d’une tâche. – Contrôle de la durée d’une section ... Voir le document complet

109

Supervision en ligne de propriétés temporelles dans les systèmes distribués temps-réel

Supervision en ligne de propriétés temporelles dans les systèmes distribués temps-réel

... Erlang est un langage sous licence libre introduit par l’entreprise en télécommunication Er- ricson dans le but de fournir des systèmes hautement distribué et concurrent, extrêmement tolérant aux fautes , et ... Voir le document complet

119

Modélisation, évaluation et validation des systèmes temps réel distribués

Modélisation, évaluation et validation des systèmes temps réel distribués

... une consommation de crédit régule les classes de plus hautes priorités afin de limiter leur ...le temps additionnel induit pour la classe sous ana- lyse quand elle ne possède pas suffisamment de crédit pour ... Voir le document complet

163

Test de systèmes temps réel à l'aide du forçage en ligne

Test de systèmes temps réel à l'aide du forçage en ligne

... – Contrôle de la date d’inter-arrivée pour une tâche, c’est à dire la durée entre deux activations d’une même tâche. – Contrôle du temps d’exécution d’une instance d’une tâche. – Contrôle de la durée d’une section ... Voir le document complet

110

Contrôle supervisé de systèmes à évènements discrets temps-réel

Contrôle supervisé de systèmes à évènements discrets temps-réel

... Tout comme les deux exemples de controle centralise presentes dans la section 5.2, cet exemple simple de controle modulaire fonde sur SetExp illustre les avantages de notre methode de [r] ... Voir le document complet

260

Conception basée modèle des systèmes temps réel et distribués

Conception basée modèle des systèmes temps réel et distribués

... de systèmes temps réel et embarqués, nous pouvons mentionner le projet OMEGA [OME] et son profil UML temps réel : OMEGA-RT [GOO ... Voir le document complet

102

Tests en Temps-Réel Basés sur des Modèles de Systèmes Dynamiques et Distribués

Tests en Temps-Réel Basés sur des Modèles de Systèmes Dynamiques et Distribués

... — Matthieu Gallien, Fahmi Gargouri, Imen Kahloul, Moez Krichen, Thanh Hung Nguyen, Saddek Bensalem, Félix Ingrand. D’une approche modulaire à une ap- proche orientée composant pour le développement de systèmes ... Voir le document complet

14

Systèmes de localisation en temps réel basés sur les réseaux de communication sans fil

Systèmes de localisation en temps réel basés sur les réseaux de communication sans fil

... aux systèmes de localisation en temps réel (RTLS) basés sur les technologies de communication sans-fil ...en temps réel, la technique d’acquisition comprimée (CS) est appliquée pour ... Voir le document complet

208

SPÉCIFICATION ET VÉRIFICATION DES SYSTÈMES
EMBARQUÉS TEMPS RÉEL EN UTILISANT LA
LOGIQUE DE RÉÉCRITURE

SPÉCIFICATION ET VÉRIFICATION DES SYSTÈMES EMBARQUÉS TEMPS RÉEL EN UTILISANT LA LOGIQUE DE RÉÉCRITURE

... les systèmes de transitions étiquetées (Labelled Transition Systems), les Statecharts de Harel, les réseaux de Petri, les machines d’états, les automates généralisés et ceux de Buchi, les structures de Kripke [60] ... Voir le document complet

171

Méthodologie de conception de systèmes temps réel et distribués en contexte UML/SysML

Méthodologie de conception de systèmes temps réel et distribués en contexte UML/SysML

... premier temps puis ajoutés dans un second temps aux précédent Aleas : ceci garantit donc les tests de non-régression vis-à-vis du modèle considéré dans l’itération ... Voir le document complet

140

Show all 7683 documents...