... 3.2.4 Acme/Plastik Objectif de l’ADL. ACME/Armani est un langage déclaratif basé sur la logique de prédicat de premier ordre [Gar 00, Mon 01]. Son but initial était de définir un langage d’échange commun pour les outils ...
... la reconfigurationdynamique partielle en vue de l’optimisation de la surface et de la consommation d’énergie, ces systèmes parallèles peuvent évoluer donnant naissance à des systèmes plus flexibles ...
... une ReconfigurationDynamique Partielle Parallèle Par Prise En Compte De La Régularité Des Architectures FPGA-Xilinx ––––––––––––––––––––––––––––––––––––––––––––– Résumé : Ce travail propose deux ...
... a l’int´ erieur de la configuration du composite de fa¸con ` a d´ ecrire la configuration de mani` ere dynamique. Par exemple, Darwin permet de fixer le nombre d’instances d’un composant lors de son ...
... 3.4. CONCLUSION DU CHAPITRE CHAPITRE 3. ÉTAT DE L’ART collecte de statistiques en interne de chaque bloc (dans le cadre de la distribution du contrôle) fait également partie des objectifs. A partir de cet environnement, ...
... des architectures reconfigurables hautement parallèles à l’aide de notre approche basée sur des ...de reconfiguration du système (Microblaze par exemple), ainsi notre membrane prend 3 cycles pour exécuter ...
... different architectures giving as parameters the number of processors, the cache size, ...the architectures used in the ...these architectures are MIPSR3000 processors, 16KB SRAM memories and ...
... les architectures orientées services. Le comportement (dynamique) d’un service est caractérisé par un automate qui précise les enchaînements d’actions ...
... les architectureslogicielles vont être ...comportement dynamique et la formalisation des connecteurs, tandis qu’Olan [Bal 98] représente une solution aux problèmes de conception des systèmes ...
... Figure 1.1 – Catégories d’architecture logicielle face à la complexité croissante des systèmes. Le constat clé est que plus un système logiciel devient complexe, plus il devient nécessaire d’expliciter sa structure. Face ...
... Bon nombre de travaux portent sur les architectureslogicielles de reconfiguration des réseaux de capteurs et sur la collaboration entre composants logiciels et matériels. Les auteurs de [12] ...
... est dynamique et se répète en cas de changement de charge pour équilibrer entre plusieurs infrastructures hétérogènes ou en cas de mobilité de l’utilisateur pour que ces services le suivent (service ...
... 5.1 Introduction Comme nous l’avons vu lors des précédents chapitres, les appareils mobiles doivent supporter un grand nombre d’applications. Ces applications proviennent de différents do- maines tels que le multimédia, ...
... les architectures distribuées car il limite au maximum les ...modèle dynamique nécessite donc un ordonnanceur qui va se charger de gérer les tâches en fonction de ...
... Cette pratique est contestable ` a plusieurs titres. En premier lieu, elle conduit ` a inverser la charge de la preuve par rapport au droit et ` a l’usage en mati` ere, par exemple, d’œuvres litt´ eraires et artistiques, ...
... privateSeverity Severity INFO Niveau de risque des violations émises lors d'un changement de type d'une variable de visibilité PRIVATE. scopeSeverity Severity CRITICAL Niveau de risqu[r] ...
... Dans l’exemple de la Figure 1, le graphe de d´ependance D est compos´e de quatre sommets a, b, c et d (Fig. 1(c)). Il y a un arc de a vers b car a utilise des ressources dans le nouveau routage R ′ , utilis´ees par b ...
... Contributions to parallel stochastic simulation : application of good software engineering practices to the distribution of pseudorandom streams in hybrid Monte Carlo simulations Jonatha[r] ...
... 3.4. ESTIMATION RAPIDE DE LA TENSION 81 celle de tension. Au premier ordre, on peut facilement estimer que le débit de la méthode proposée ne suffit pas pour surveiller les variations rapides de tension. En effet, les ...
... des architectures orientées ...des architectures à base de Web Services, l’ingénierie des modèles (I DM ) apporte des éléments de réponses en basant le développement logiciel sur la définition de modèles ...