Allocation et ordonnancement sur des processeurs multi-coeur avec des solveurs SMT. |
|
Analyses de mémoire à bas cout pour des compilateurs efficaces. |
|
Analyses for schedulability and flexibility of real-time systems. |
|
Analyses pour l'ordonnançabilité et la flexibilité de systèmes temps-réel |
|
Une approche basée programmation par contraintes pour l'exploration d'architectures multi bus pour les applications flots de données. |
|
Automatic generation of distributed, real-time, fault-tolerant and reliable schedules. |
|
Boolean Parametric Data Flow Modeling - Analyses - Implementation. |
|
Code Generation for Multi-Core Processor with Hard Real-Time Constraints. |
|
Compilation optimisante et formellement prouvée pour un processeur VLIW |
|
Contributions aux environnements d’exécution pour processeurs massivement parallèles et clustérisés appliqués aux applications embarquées et hautes performances. |
|
Contributions to Software Runtime for Clustered Manycores Applied to Embedded and High-Performance Applications |
|
Design, Optimization, and Formal Verification of Circuit Fault-Tolerance Techniques |
|
The distribution of synchronous programs |
|
From Cyclo-Static Process Networks to Code Generation for Multidimensional Software Pipelining. |
|
Génération automatique de distributions/ordonnancements temps réel, fiables et tolérants aux fautes |
|
Génération de code pour un many-core avec des contraintes temps réel fortes |
|
Low-cost memory analyses for efficient compilers |
|
Mapping and scheduling on multi-core processors using SMT solvers |
|
Méthodes logico-numériques pour la vérification des systèmes discrets et hybrides. |
|
Modèles de calculs flot de données avec paramètres entiers et booléens. Modélisation - Analyses - Mise en oeuvre |
|
Modeling, Scheduling, Pipelining and Configuration of Synchronous Dataflow Graphs with Throughput Constraints |
|
Modélisation, analyse et éxécution de graphes audio dans les systèmes interactifs multimédia. |
|
Modélisation, Ordonnancement, Pipelinage et Configuration de Graphes Synchrones de Flux de Données sous Contrainte de Cadence. |
|
Online optimization in dynamic real-time systems. |
|
Optimisation en-ligne pour les systèmes dynamiques en temps-réel |
|
Optimized and formally-verified compilation for a VLIW processor. |
|
Ordonnancement d'applications à flux de données pour les MPSoC embarqués hybrides comprenant des unités de calcul programmables et des accélérateurs matériels |
|
Ordonnancement pour la Fiabilité : complexité et algorithmes. |
|
Programming parallelism with futures in Heptagon a synchronous functional language, and, study of Kahn networks aiming synchronous compilation. |
|
RDF : A Reconfigurable Dataflow Models of Computation. |
|
RDF : un modèle de calcul flot de données reconfigurable |
|
Reactive Web Programming. |
|
Resilient and energy-efficient scheduling algorithms at scale |
|
Runtime multicore scheduling techniques for dispatching parameterized signal and vision dataflow applications on heterogeneous MPSoCs |
|
Scheduling for Reliability : complexity and Algorithms |
|
Scheduling of dynamic streaming applications on hybrid embedded MPSoCs comprising programmable computing units and hardware accelerators. |
|
SLAP 2003 : synchronous languages, applications, and programming : proceedings |
|
Stochastic analysis of stationary real-time systems |
|
Sur la répartition de programmes synchrones |
|
Test criteria and automatic test sequences generation for synchronous reactive systems specified by dataflow equations and controled by extended automata. |
|
Vérification et synthèse quantitative. |
|