Knowledge Tree

researcher / Oded Maler

Oded Maler

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Directed Thesis:

Sur les aspects théoriques et pratiques des compromis dans les problèmes d'allocation des ressources

La réduction de consommation dans les circuits digitaux

Mapping and scheduling on multi-core processors using SMT solvers

Techniques pour l'analyse formelle de systèmes dynamiques non-linéaires

On computer-aided design-space exploration for multi-cores

Optimisation des transferts de données sur systèmes multiprocesseurs sur puce

Calcul d'Atteignabilité des systèmes hybrides avec des fonctions de support

Optimisation multicritères et applications aux systèmes multi-processeurs embarqués

Langages formels : quelques aspects quantitatifs

Calcul d'atteignabilité des systèmes hybrides à partie continue linéaire

Trajectoires pour la vérification et la commande de systémes continus et hybrides

Test des Systèmes hybrides

Stratégies d'ordonnancement conditionnelles utilisant des automates temporisés

Sur la vérification de la satisfaction pour la logique des différences

Théorie algébrique des langages formels temps réel