Nombre de documents

54

CV de Alix Munier-Kordon


Communication dans un congrès25 documents

  • Enagnon Cédric Klikpo, Alix Munier-Kordon. Preemptive scheduling of dependent periodic tasks modeled by synchronous dataflow graphs. Real-Time Networks and Systems RTNS, Oct 2016, Brest, France. pp.77 - 86, 2016, <10.1145/2997465.2997474>. <hal-01449876>
  • Jad Khatib, Alix Munier-Kordon, Enagnon Klikpo, Trabelsi-Colibet Kods. Computing latency of a real-time system modeled by Synchronous Dataflow Graph. Real-Time Networks and Systems RTNS, Oct 2016, Brest, France. pp.87 - 96, 2016, <10.1145/2997465.2997479>. <hal-01449892>
  • Bruno Bodin, Alix Munier-Kordon, Benoît Dupont de Dinechin. Optimal and fast throughput evaluation of CSDF. Design Automation Conference DAC, Jun 2016, Austin, United States. ACM, pp.160, <10.1145/2897937.2898056>. <hal-01358062>
  • Enagnon Cedric Klikpo, Jad Khatib, Alix Munier-Kordon. Modeling Multi-Periodic Simulink Systems by Synchronous Dataflow Graphs. Real-Time and Embedded Technology and Application Symposium RTAS, Apr 2016, Vienna, Austria. IEEE, pp.1-10, 2016, <10.1109/RTAS.2016.7461343>. <hal-01358061>
  • Youen Lesparre, Alix Munier-Kordon, Jean-Marc Delosme. Evaluation of Synchronous Dataflow Graph Mappings onto Distributed Memory Architectures. 2016 Euromicro Conference on Digital System Design, DSD 2016, Aug 2016, Limassol, Cyprus. IEEE Computer Society, pp.146-153, 2016, <10.1109/DSD.2016.52>. <hal-01444593>
  • Thomas Hujsa, Jean-Marc Delosme, Alix Munier Kordon. On the Reversibility of Live Equal-Conflict Petri Nets. PETRI NETS 2015, Jun 2015, Brussels, Belgium. Proceedings of the 36th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2015. Lecture Notes in Computer Science., 9115, pp.234-253, 2015, Application and Theory of Petri Nets and Concurrency. <10.1007/978-3-319-19488-2_12>. <hal-01197020>
  • Thomas Hujsa, Jean-Marc Delosme, Alix Munier-Kordon. On the Reversibility of Well-Behaved Weighted Choice-Free Systems. Ciardo, Gianfranco and Kindler, Ekkart. PETRI NETS 2014, Jun 2014, Tunis, Tunisia. Springer International Publishing, Application and Theory of Petri Nets and Concurrency, 8489, pp.334-353, 2014, Lecture Notes in Computer Science. <10.1007/978-3-319-07734-5_18>. <hal-01017044>
  • Aurélien Carlier, Alix Munier-Kordon, Witold Klaudel. Optimization of a one-way carsharing system with relocation operations. 10th International Conference on Modeling, Optimization and SIMulation MOSIM 2014, Nov 2014, Nancy, France. 2014. <hal-01294548>
  • Bruno Bodin, Youen Lesparre, Jean-Marc Delosme, Alix Munier-Kordon. Fast and efficient dataflow graph generation. 17th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2014), Jun 2014, Schloss RheinfelsSt. Goar, Germany. Proc. of the 17th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2014), pp.40--49, 2014, <10.1145/2609248.2609258>. <hal-01084899>
  • Aurélien Carlier, Alix Munier Kordon, Witold Klaudel. OPTIMIZATION OF A ONE-WAY CARSHARING SYSTEM WITH RELOCATION OPERATIONS. MOSIM 2014, 10ème Conférence Francophone de Modélisation, Optimisation et Simulation, Nov 2014, Nancy, France. <hal-01166627>
  • Mohamed Benazouz, Alix Munier-Kordon, Thomas Hujsa, Bruno Bodin. Liveness evaluation of a cyclo-static DataFlow graph. The 50th Annual Design Automation Conference, DAC 2013, Jun 2013, Austin, United States. ACM, pp.3:1-3:7, 2013, <10.1145/2463209.2488736>. <hal-00861992>
  • Mohamed Benazouz, Alix Munier-Kordon. Cyclo-static DataFlow Phases Scheduling Optimization for Buffer Sizes Minimization. The 16th International Workshop on Software and Compilers for Embedded Systems, Jun 2013, St. Goar, Germany. ACM, M-SCOPES '13, pp.3-12, <10.1145/2463596.2463602>. <hal-01216562>
  • Bruno Bodin, Alix Munier-Kordon, Benoît Dupont de Dinechin. Periodic Schedules for Cyclo-Static Dataflow. 11th IEEE Symposium on Embedded Systems For Real-time Multimedia (ESTIMedia 2013), Oct 2013, Montreal, Canada. pp.105-114, 2013, <10.1109/ESTIMedia.2013.6704509>. <hal-00880646>
  • Jean-Marc Delosme, Thomas Hujsa, Alix Munier-Kordon. Polynomial Sufficient Conditions of Well-Behavedness for Weighted Join-Free and Choice-Free Systems. 13th International Conference of Application of Concurrency to System Design (ACSD 2013), Jul 2013, Barcelona, Spain. IEEE, pp.90-99, 2013, <10.1109/ACSD.2013.12>. <hal-00863651>
  • Claire Hanen, Alix Munier-Kordon. Equivalence of two classical list scheduling algorithms for dependent tasks with release dates and due dates on parallel processors. Project Management and Scheduling conference, Apr 2012, Leuwen, Belgium. Project Management and Scheduling conference, 2012. <hal-01272442>
  • Mohamed Benazouz, Olivier Marchetti, Alix Munier-Kordon, P. Urard. A New Approach for Minimizing Buffer Capacities with Throughput Constraint for Embedded System Design. AICCSA IEEE/ACS International Conference on Computer Systems and Applications, May 2010, Hammamet, Tunisia. IEEE, AICCSA IEEE/ACS International Conference on Computer Systems and Applications, pp.1-8, <10.1109/AICCSA.2010.5586972>. <hal-01288687>
  • Mohamed Benazouz, Olivier Marchetti, Alix Munier-Kordon, Thierry Michel. A New Method for Minimizing Buffer Sizes for Cyclo-Static Dataflow Graphs. ESTIMedia IEEE International Workshop on Embedded Systems for Real-Time Multimedia, Oct 2010, Scottsdale, Arizona, United States. IEEE, ESTIMedia IEEE International Workshop on Embedded Systems for Real-Time Multimedia, pp.11-20, <10.1109/ESTMED.2010.5666980>. <hal-01289303>
  • Daniela Genius, Alix Munier-Kordon, Khouloud Zine El Abidine. A Buffer Space Optimal Solution for Re-establishing the Packet Order in a MPSoC Network Processor. Euro-Par European Conference on Parallel computing, Aug 2009, Delft, Netherlands. Springer, Euro-Par European Conference on Parallel computing, 5704, pp.216-227, Lecture Notes in Computer Science. <10.1007/978-3-642-03869-3_23>. <hal-01294429>
  • Mohamed Benazouz, Olivier Marchetti, Alix Munier-Kordon, P. Urard. A polynomial algorithm for the computation of buffer capacities with throughput constraint for embedded system design.. CIE IEEE International Conference on Computers & Industrial Engineering, Jul 2009, Troyes, France. IEEE, CIE IEEE International Conference on Computers & Industrial Engineering, pp.690-695, <10.1109/ICCIE.2009.5223822>. <hal-01294432>
  • Sophie Belloeil, Roselyne Chotin-Avot, Habib Mehrez, Alix Munier-Kordon. Automatic Allocation of Redundant Operators in Arithmetic Data path Optimization. DASIP IEEE International Conference on Design and Architectures for Signal and Image Processing, Nov 2008, Bruxelles, Belgium. pp.176-183, 2008. <hal-01265631>
  • Abir Benabid, Claire Hanen, Olivier Marchetti, Alix Munier-Kordon. Periodic Schedules for Unitary Timed Weighted Event Graphs. 9ème Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2008), Feb 2008, Clermont-Ferrand, France. 9ème Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2008), pp.17-31. <hal-01299167>
  • Claire Hanen, Alix Munier-Kordon. Periodic schedules for generalized event graphs. European Chapter on Combinatorial Optimization, May 2007, Limassol, Cyprus. European Chapter on Combinatorial Optimization, pp.46-47. <hal-01311639>
  • Alix Munier-Kordon, Djamal Rebaine. An approximation algorithm for the UET two-machine open shop problem with time delays. MISTA Multidisciplinary International Scheduling Conference: Theory and Applications, Aug 2007, Paris, France. MISTA Multidisciplinary International Scheduling Conference: Theory and Applications, pp.377-385. <hal-01311531>
  • Olivier Marchetti, Alix Munier-Kordon. Complexity results for bi-criteria cyclic scheduling problems. RenPar Rencontres Francophones du Parallélisme, Oct 2006, Perpignan, France. RenPar Rencontres Francophones du Parallélisme, pp.17-24. <hal-01338488>
  • Olivier Marchetti, Alix Munier-Kordon. A polynomial algorithm for a bi-criteria cyclic scheduling problem.. PlanSIG UK PLANNING AND SCHEDULING Special Interest Group, Dec 2006, Nottingham, United Kingdom. PlanSIG UK PLANNING AND SCHEDULING Special Interest Group, pp.88-96. <hal-01336895>

Ouvrage (y compris édition critique et traduction)2 documents

  • Bruno Baynat, Philippe Chrétienne, Claire Hanen, Safia Kedad-Sidhoum, Alix Munier-Kordon, et al.. Exercices et problèmes d'algorithmique. Dunod, pp.460, 2007, 2-10-051185-8. <hal-01335041>
  • Christian Artigues, Philippe Baptiste, Jacques Carlier, Philippe Chrétienne, Christelle Guéret, et al.. Modèles et Algorithmes en Ordonnancement: Exercices et Problèmes Corrigés. Ellipses, 227 p, 2004, 978-2729821715. <inria-00108094>

Article dans une revue21 documents

  • Aurélien Carlier, Alix Munier-Kordon, Witold Klaudel. Mathematical Model for the Study of Relocation Strategies in One-way Carsharing Systems. Transportation Research Procedia, Elsevier, 2015, 10, pp.374-383. <10.1016/j.trpro.2015.09.087>. <hal-01294551>
  • Alix Munier-Kordon, Djamal Rebaine. The coupled unit-time operations problem on identical parallel machines with respect to the makespan. Operations Research Letters, Elsevier, 2014, 42 (1), pp.21-26. <10.1016/j.orl.2013.11.006>. <hal-01195939>
  • Thomas Hujsa, Jean-Marc Delosme, Alix Munier-Kordon. Polynomial Sufficient Conditions of Well-Behavedness and Home Markings in Subclasses of Weighted Petri Nets. ACM Transactions on Embedded Computing Systems (TECS), ACM, 2014, 13 (4), pp.141:1--141:25. <10.1145/2627349>. <hal-01053867>
  • Benoit Dupont de Dinechin, Alix Munier-Kordon. Converging to periodic schedules for cyclic scheduling problems with resources and deadlines. Computers and Operations Research, Elsevier, 2014, 51, pp.227-236. <10.1016/j.cor.2014.03.004>. <hal-01195859>
  • Daniela Genius, Alix Munier-Kordon, Khouloud Zine El Abidine. Space Optimal Solution for Data Reordering in Streaming Applications on NoC based MPSoC. Journal of Systems Architecture, Elsevier, 2013, 59 (7), pp.455-467. <10.1016/j.sysarc.2013.04.001>. <hal-01195936>
  • Alix Munier-Kordon, Fadi Kacem, Benoit Dupont de Dinechin, Lucian Finta. Scheduling an interval ordered precedence graph with communication delays and a limited number of processors. RAIRO - Operations Research, EDP Sciences, 2013, 47 (1), pp.73-87. <10.1051/ro/2013028>. <hal-01195937>
  • Abir Benabid, Claire Hanen, Olivier Marchetti, Alix Munier-Kordon. Periodic schedules for bounded timed weighted event graphs. IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2012, 57 (5), pp.1222-1232. <10.1109/TAC.2012.2191871>. <hal-01185244>
  • Alix Munier-Kordon. A graph-based analysis of the cyclic scheduling problem with time constraints: schedulability and periodicity of the earliest schedule. Journal of Scheduling, Springer Verlag, 2011, 14 (1), pp.103-117. <10.1007/s10951-009-0159-z>. <hal-01195915>
  • Olivier Marchetti, Alix Munier-Kordon. Complexity results for bi-criteria cyclic scheduling problems. Discrete Optimization, Elsevier, 2010, 7 (3), pp.166-180. <10.1016/j.disopt.2010.03.006>. <hal-01195931>
  • Alix Munier-Kordon, Djamal Rebaine. The two-machine open shop problem with unit-time opera- tions and time delays to minimize the makespan. European Journal of Operational Research, Elsevier, 2010, 203 (1), pp.42-49. <10.1016/j.ejor.2009.07.030>. <hal-01195929>
  • Salim Achouri, Timothée Bossart, Alix Munier-Kordon. A Polynomial algorithm for minDSC on series-parallel graphs. RAIRO - Operations Research, EDP Sciences, 2009, 43 (2), pp.145-156. <10.1051/ro/2009009>. <hal-01197186>
  • Olivier Marchetti, Alix Munier-Kordon. A sufficient condition for the liveness of weighted event graphs. European Journal of Operational Research, Elsevier, 2009, 197 (2), pp.532-540. <10.1016/j.ejor.2008.07.037>. <hal-01197183>
  • Claire Hanen, Alix Munier-Kordon. Periodic Schedules for Linear Precedence Constraints. Discrete Applied Mathematics, Elsevier, 2009, 157 (2), pp.280-291. <10.1016/j.dam.2008.03.018>. <hal-01185124>
  • Alix Munier-Kordon, Djamal Rebaine. A polynomial time algorithms for the UET permutation flowshop problem with time delays. Computers and Operations Research, Elsevier, 2008, 35 (2), pp.525-537. <10.1016/j.cor.2006.03.018>. <hal-01195974>
  • Olivier Marchetti, Alix Munier-Kordon. Minimizing Place Capacities of Weighted Event Graphs for Enforcing Liveness. Discrete Event Dynamic Systems, Springer Verlag, 2008, 18 (1), pp.91-109. <10.1007/s10626-007-0035-y>. <hal-01195977>
  • Timothée Bossart, Alix Munier-Kordon, Francis Sourd. Memory Management Optimization Problems for Integrated Circuit Simulators. Discrete Applied Mathematics, Elsevier, 2007, 155 (14), pp.1795-1811. <10.1016/j.dam.2007.03.019>. <hal-01185123>
  • Alix Munier-Kordon, Jean-Baptiste Note. A Buffer Minimization Problem for the Design of Embedded Systems. European Journal of Operational Research, Elsevier, 2005, 164 (3), pp.669-679. <10.1016/j.ejor.2004.01.041>. <hal-01195968>
  • Alix Munier-Kordon. Minimizing makespan for a bipartite graph on a single processor with an integer precedence delay. Operations Research Letters, Elsevier, 2004, 32 (6), pp.557-564. <10.1016/j.orl.2003.12.003>. <hal-01195965>
  • Alix Munier-Kordon, Francis Sourd. Scheduling chains on a single machine with non-negative time lags. Mathematical Methods of Operations Research, Springer Verlag, 2003, 57 (1), pp.111-123. <10.1007/s001860200242>. <hal-01185777>
  • Claire Hanen, Alix Munier-Kordon. Minimizing the volume in scheduling an outtree with communication delays and duplication. Parallel Computing, Elsevier, 2002, 28 (11), pp.1573-1585. <10.1016/S0167-8191(02)00131-X>. <hal-01185803>
  • Claire Hanen, Alix Munier-Kordon. An approximation algorithm for scheduling dependent tasks on m processors with small communication delays. Discrete Applied Mathematics, Elsevier, 2001, 108 (3), pp.239-257. <10.1016/S0166-218X(00)00179-7>. <hal-01185825>

Pré-publication, Document de travail5 documents

  • Mohamed Benazouz, Alix Munier-Kordon. Cyclo-Static DataFlow Phases Scheduling Optimization for the Throughput Constrained Buffer Sizes Minimization Problem. 2011. <hal-00610751>
  • Mohamed Benazouz, Olivier Marchetti, Alix Munier-Kordon, Pascal Urard. A New Method for Minimizing Buffer Sizes for Cyclo-Static Dataflow Graphs.. 7 pages. 2010. <hal-00461647>
  • Mohamed Benazouz, Olivier Marchetti, Alix Munier-Kordon, Pascal Urard. A new Approach for Minimizing Buffer Capacities with Throughput Constraint for Embedded System Design.. 8. 2009. <hal-00368648>
  • Mohamed Benazouz, Olivier Marchetti, Alix Munier-Kordon, Pascal Urard. A Polynomial Algorithm for the Computation of Buffer Capacities with Throughput Constraint for Embedded System Design. 7 pages. 2009. <hal-00368683>
  • Abir Benabid-Najjar, Claire Hanen, Olivier Marchetti, Alix Munier-Kordon. Periodic schedules for Unitary Timed Weighted Event Graphs.. 22 pages. 2009. <hal-00371028>

Chapitre d'ouvrage1 document

  • Olivier Marchetti, Alix Munier-Kordon. Cyclic Scheduling for the Synthesis of Embedded Systems. Introduction to Scheduling, Chapman and Hall/CRC Computational Science, pp.129-154, 2009, 978-1420072730. <10.1201/9781420072747-c6>. <hal-01297931>