Potop-Butucaru, Dumitru
VIAF ID: 21932896 ( Personal )
Permalink: http://viaf.org/viaf/21932896
Preferred Forms
- 100 1 _ ‡a Potop-Butucaru, Dumitru
-
-
-
- 100 1 _ ‡a Potop-Butucaru, Dumitru
- 100 1 _ ‡a Potop-Butucaru, Dumitru
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Adéquation algorithme architecture automatisée par solveur SMT | |
Compiling ESTEREL, c2007: | |
Compositional synthesis of latency-insensitive systems from multi-clocked synchronous specifications | |
Contributions à la parallélisation sûre et efficace de systèmes critiques temps-réel. | |
Contributions to the safe and efficient parallelisation of hard real-time systems | |
Efficient Compilation of Image Processing Applications for Manycore Processors. | |
Etude de génération de tests à partir d'un modèle pour les systèmes GALS | |
Un langage de programmation pour composer l'interaction musicale : la gestion du temps et des événements dans Antescofo | |
Low power application architecture adaptation using SMT solvers. | |
Méthodologie de vérification formelle de propriétés temporelles pour les applications temps-réel critiques basées sur le concept de temps logique | |
Methodology for the formal verification of temporal properties for real-time safety-critical applications based on logical time. | |
Modeling and scheduling embedded real-time systems using Synchronous Data Flow Graphs. | |
Modélisation, analyse et éxécution de graphes audio dans les systèmes interactifs multimédia. | |
Modélisation et conception par approche synchrone d'architectures neuronales hybrides biologique-artificiel | |
Modélisation et ordonnancement des systèmes temps réel embarqués utilisant des graphes de flots de données synchrones | |
On Model-based Testing of GALS Systems. | |
Optimisations pour la simulation efficace de programmes Esterel | |
Optimizations for faster execution of Esterel programs. | |
Programming parallelism with futures in Heptagon a synchronous functional language, and, study of Kahn networks aiming synchronous compilation. | |
Réconcilier performance et prédictibilité sur un many-coeur en utilisant des techniques d'ordonnancement hors-ligne | |
Reconciling performance and predictability on a noc-based mpsoc using off-line scheduling techniques. | |
Specification and compilation of embedded neural networks. | |
Spécification et compilation de réseaux de neurones embarqués |