Quatorze docteurs (1998 - 2023) à Sorbonne Université
2023
OUDRHIRI Ali : Performance d'une architecture d'accélérateur de réseau neuronal et son optimisation à l'aide d'une approche basée sur un pipeline.
2022
TANG Ning : Etude de cas d'un problème d'ordonnancement pour l'automobile.
2020
AIT ABA Massinissa : Optimisation de l’énergie et de la performance d’applications sur des micro-servers hétérogènes.
2017
LESPARRE Youen : Évaluation de l'affectation des tâches sur une architecture à mémoire distribuée pour des modèles flot de données.
2016
CARLIER Aurélien : Optimisation d'un éco-système de transport multimodal pour les grandes agglomérations urbaines.
2014
HUJSA Thomas : Contribution à l'étude des réseaux de Petri généralisés.
2013
BODIN Bruno : Analyse d’Applications Flot de Données pour la Compilation Multiprocesseur.
2012
BENAZOUZ Mohamed : Dimensionnement des Mémoires dans les Applications de Traitement de Flux de Données.
2009
DUPUIS Damien : Routeur Global pour la plateforme Coriolis.
TAKTAK Sami : Détection des interblocages dans les réseaux sur puce.
2007
BRAUNSTEIN Cécile : Conception Incrémentale, Vérification de Composants Matériels et Méthode d'Abstraction pour Vérification de Systèmes Intégrés sur Puce.
2006
MARCHETTI Olivier : Dimensionnement des mémoires pour systèmes embarqués.
BOSSART Timothée : Modèles pour l'optimisation de la simulation au cycle près de systèmes synchrones.
1998
LAHLOU Chams : Conception d'Algorithmes approchés pour les problèmes d'ordonnancement avec délais de communication.
V. Fu, L. Zaourar, A. Munier‑Kordon, M. Duranton : “Design space exploration of HPC systems with Random Forest-based Bayesian Optimization”, RAPIDO '24 - Proceedings of the 16th Workshop on Rapid Simulation and Performance Evaluation for Design Optimization: Methods and Tools, Munich, Germany, pp. 9-15, (Association for Computing Machinery), (ISBN: 9798400717918) (2024)
M. Ait Aba, L. Zaourar, A. Munier : “Efficient algorithm for scheduling parallel applications on hybrid multicore machines with communications delays and energy constraint”, Concurrency and Computation: Practice and Experience, vol. 32 (15), Special Issue on New Trends in Adaptive Smart Systems, Services, and Architectures (WETICE/AROSA2017). The Twenty Seventh International Heterogeneity in Computing Workshop (HCW2018) and the Sixteenth International Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms (HeteroPar2018), pp. e5573, (Wiley) (2020)
C. Hanen, A. Munier‑Kordon : “Cyclic DataFlows in computers and embedded systems”, chapter in Modelling and Performance Analysis of Cyclic Systems, vol. 241, Studies in Systems, Decision and Control, pp. 3-29, (Springer) (2019)
Th. Hujsa, J.‑M. Delosme, A. Munier Kordon : “On the Reversibility of Live Equal-Conflict Petri Nets”, Proceedings of the 36th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2015, vol. 9115, Lecture Notes in Computer Science, Bruxelles, Belgium, pp. 234-253, (Springer) (2015)
B. Bodin, Y. LESPARRE, J.‑M. Delosme, A. Munier‑Kordon : “Fast and efficient dataflow graph generation”, Proc. of the 17th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2014), Schloss RheinfelsSt. Goar, Germany, pp. 40-49 (2014)
Th. Hujsa, J.‑M. Delosme, A. Munier‑Kordon : “On the Reversibility of Well-Behaved Weighted Choice-Free Systems”, 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2014, vol. 8489, Lecture Notes in Computer Science, Tunis, Tunisia, pp. 334-353, (Springer International Publishing) (2014)
B. Bodin, A. Munier‑Kordon, B. Dupont De Dinechin : “Periodic Schedules for Cyclo-Static Dataflow”, 11th IEEE Symposium on Embedded Systems For Real-time Multimedia (ESTIMedia 2013), Montreal, Canada, pp. 105-114 (2013)
M. Benazouz, A. Munier‑Kordon, Th. Hujsa, B. Bodin : “Liveness evaluation of a cyclo-static DataFlow graph”, The 50th Annual Design Automation Conference, DAC 2013, Austin, United States, pp. 3:1-3:7, (ACM) (2013)
A. Benabid, C. Hanen, O. Marchetti, A. Munier‑Kordon : “Periodic schedules for bounded timed weighted event graphs”, IEEE Transactions on Automatic Control, vol. 57 (5), pp. 1222-1232, (Institute of Electrical and Electronics Engineers) (2012)
A. Benabid, C. Hanen, O. Marchetti, A. Munier‑Kordon : “Periodic schedules for Unitary Timed Weighted Event Graphs”, 9e Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2008), Clermont-Ferrand, France, pp. 17-31 (2008)
B. Baynat, Ph. Chrétienne, C. Hanen, S. Kedad‑Sidhoum, A. Munier‑Kordon, Ch. Picouleau : “Exercices et problèmes d’algorithmique”, 460 pages, (Dunod), (ISBN: 2-10-051185-8) (2007)
Ch. Artigues, Ph. Baptiste, J. Carlier, Ph. Chrétienne, Ch. Guéret, C. Hanen, S. Kedad‑Sidhoum, Ch. Lahlou, Ch. Lenté, A. Munier‑Kordon, E. Neron, Ch. Picouleau, E. Pinson, M.‑C. Portmann, Ch. Prins, C. Proust, D. Rivreau, F. Sourd : “Modèles et Algorithmes en Ordonnancement: Exercices et Problèmes Corrigés”, 227 p pages, (Ellipses), (ISBN: 978-2729821715) (2004)
B. Baynat, Ph. Chrétienne, C. Hanen, S. Kedad‑Sidhoum, A. Munier, Ch. Picouleau : “Exercices et Problèmes d’Algorithmique”, (Dunod), (ISBN: 2100056433) (2003)