Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

77 résultats

Computing latency of a real-time system modeled by Synchronous Dataflow Graph

Jad Khatib , Alix Munier-Kordon , Enagnon Cedric Klikpo , Trabelsi-Colibet Kods
Real-Time Networks and Systems RTNS, Oct 2016, Brest, France. pp.87 - 96, ⟨10.1145/2997465.2997479⟩
Communication dans un congrès hal-01449892v1

Variants of the two machine flow-shop with precedence constraints

Alix Munier-Kordon
MAPSP 2003 - 6th Workshop on Methods and Algorithms for Planning and Scheduling Problems, Mar 2003, Aussois, France
Communication dans un congrès hal-01529848v1

Minimizing Place Capacities of Weighted Event Graphs for Enforcing Liveness

Olivier Marchetti , Alix Munier-Kordon
Discrete Event Dynamic Systems, 2008, 18 (1), pp.91-109. ⟨10.1007/s10626-007-0035-y⟩
Article dans une revue istex hal-01195977v1

Complexity results for bi-criteria cyclic scheduling problems

Olivier Marchetti , Alix Munier-Kordon
RenPar Rencontres Francophones du Parallélisme, Oct 2006, Perpignan, France. pp.17-24
Communication dans un congrès hal-01338488v1
Image document

Two Deadline Reduction Algorithms for Scheduling Dependent Typed-tasks Systems

Claire C. Hanen , Alix Munier-Kordon
ROADEF 2020, Feb 2020, Montpellier, France
Communication dans un congrès hal-02981257v1

Fixed-parameter tractability of scheduling dependent typed tasks subject to release times and deadlines

Claire C. Hanen , Alix Munier Kordon
Journal of Scheduling, 2023, ⟨10.1007/s10951-023-00788-4⟩
Article dans une revue hal-04229946v1
Image document

Optimization of a one-way carsharing system with relocation operations

Aurélien Carlier , Alix Munier-Kordon , Witold Klaudel
10th International Conference on Modeling, Optimization and SIMulation MOSIM 2014, Nov 2014, Nancy, France
Communication dans un congrès hal-01294548v1

A polynomial algorithm for a bi-criteria cyclic scheduling problem.

Olivier Marchetti , Alix Munier-Kordon
PlanSIG UK PLANNING AND SCHEDULING Special Interest Group, Dec 2006, Nottingham, United Kingdom. pp.88-96
Communication dans un congrès hal-01336895v1

Scheduling an interval ordered precedence graph with communication delays and a limited number of processors

Alix Munier-Kordon , Fadi Kacem , Benoit Dupont de Dinechin , Lucian Finta
RAIRO - Operations Research, 2013, 47 (1), pp.73-87. ⟨10.1051/ro/2013028⟩
Article dans une revue hal-01195937v1

Les problèmes d'ordonnancement

Jacques Carlier , Philippe Chrétienne , J. Erschler , Claire Hanen , P. Lopez , et al.
RAIRO - Operations Research, 1993, 27 (1), pp.77-150. ⟨10.1051/ro/1993270100771⟩
Article dans une revue hal-02893901v1

Minimizing the volume in scheduling an outtree with communication delays and duplication

Claire Hanen , Alix Munier-Kordon
Parallel Computing, 2002, 28 (11), pp.1573-1585. ⟨10.1016/S0167-8191(02)00131-X⟩
Article dans une revue hal-01185803v1
Image document

Approximation algorithm for scheduling applications on hybrid multi-core machines with communications delays

Massinissa Ait Aba , Lilia Zaourar , Alix Munier-Kordon
IPDPS Workshops 2018, 2018 IEEE International Parallel and Distributed Processing Symposium Workshops, May 2018, Vancouver, Canada. pp.36-45, ⟨10.1109/IPDPSW.2018.00016⟩
Communication dans un congrès hal-02073600v1

Converging to periodic schedules for cyclic scheduling problems with resources and deadlines

Benoit Dupont de Dinechin , Alix Munier-Kordon
Computers and Operations Research, 2014, 51, pp.227-236. ⟨10.1016/j.cor.2014.03.004⟩
Article dans une revue hal-01195859v1

Exercices et Problèmes d'Algorithmique

Bruno Baynat , Philippe Chrétienne , Claire Hanen , Safia Kedad-Sidhoum , Alix Munier , et al.
Dunod, 2003, 2100056433
Ouvrages hal-01531168v1

Cyclo-static DataFlow Phases Scheduling Optimization for Buffer Sizes Minimization

Mohamed Benazouz , Alix Munier-Kordon
The 16th International Workshop on Software and Compilers for Embedded Systems, Jun 2013, St. Goar, Germany. pp.3-12, ⟨10.1145/2463596.2463602⟩
Communication dans un congrès hal-01216562v1
Image document

A New Method for Minimizing Buffer Sizes for Cyclo-Static Dataflow Graphs.

Mohamed Benazouz , Olivier Marchetti , Alix Munier-Kordon , Thierry Michel
ESTIMedia 2010 - 8th IEEE International Workshop on Embedded Systems for Real-Time Multimedia, Oct 2010, Scottsdale, Arizona, United States. pp.11-20, ⟨10.1109/ESTMED.2010.5666980⟩
Communication dans un congrès hal-00461647v1
Image document

Performance Modeling and Estimation of a Configurable Output Stationary Neural Network Accelerator

Ali Oudrhiri , Emilien Taly , Nathan Bain , Alix Munier-Kordon , Roberto Guizzetti , et al.
2023
Pré-publication, Document de travail hal-04168803v1

An approximation algorithm for scheduling dependent tasks on m processors with small communication delays

Claire Hanen , Alix Munier-Kordon
Discrete Applied Mathematics, 2001, 108 (3), pp.239-257. ⟨10.1016/S0166-218X(00)00179-7⟩
Article dans une revue hal-01185825v1
Image document

Cyclic DataFlows in computers and embedded systems

Claire C. Hanen , Alix Munier-Kordon
Modelling and Performance Analysis of Cyclic Systems, 241, Springer, pp.3-29, 2019, Studies in Systems, Decision and Control, ⟨10.1007/978-3-030-27652-2_1⟩
Chapitre d'ouvrage hal-02394814v1

Optimal and fast throughput evaluation of CSDF

Bruno Bodin , Alix Munier-Kordon , Benoît Dupont de Dinechin
Design Automation Conference DAC, Jun 2016, Austin, United States. pp.160, ⟨10.1145/2897937.2898056⟩
Communication dans un congrès hal-01358062v1

Cyclic Scheduling for the Synthesis of Embedded Systems

Olivier Marchetti , Alix Munier-Kordon
Introduction to Scheduling, Chapman and Hall/CRC Computational Science, pp.129-154, 2009, 978-1420072730. ⟨10.1201/9781420072747-c6⟩
Chapitre d'ouvrage hal-01297931v1

A Buffer Minimization Problem for the Design of Embedded Systems

Alix Munier-Kordon , Jean-Baptiste Note
European Journal of Operational Research, 2005, 164 (3), pp.669-679. ⟨10.1016/j.ejor.2004.01.041⟩
Article dans une revue hal-01195968v1

Space Optimal Solution for Data Reordering in Streaming Applications on NoC based MPSoC

Daniela Genius , Alix Munier-Kordon , Khouloud Zine El Abidine
Journal of Systems Architecture, 2013, 59 (7), pp.455-467. ⟨10.1016/j.sysarc.2013.04.001⟩
Article dans une revue hal-01195936v1

Preemptive scheduling of dependent periodic tasks modeled by synchronous dataflow graphs

Enagnon Cédric Klikpo , Alix Munier-Kordon
Real-Time Networks and Systems RTNS, Oct 2016, Brest, France. pp.77 - 86, ⟨10.1145/2997465.2997474⟩
Communication dans un congrès hal-01449876v1

Automatic Allocation of Redundant Operators in Arithmetic Data path Optimization

Sophie Belloeil , Roselyne Chotin-Avot , Habib Mehrez , Alix Munier-Kordon
DASIP IEEE International Conference on Design and Architectures for Signal and Image Processing, Nov 2008, Bruxelles, Belgium. pp.176-183
Communication dans un congrès hal-01265631v1

Modèles et Algorithmes en Ordonnancement: Exercices et Problèmes Corrigés

Christian Artigues , Philippe Baptiste , Jacques Carlier , Philippe Chrétienne , Christelle Guéret , et al.
Ellipses, 227 p, 2004, 978-2729821715
Ouvrages inria-00108094v1
Image document

Polynomial Sufficient Conditions of Well-Behavedness for Weighted Join-Free and Choice-Free Systems

Jean-Marc Delosme , Thomas Hujsa , Alix Munier-Kordon
13th International Conference of Application of Concurrency to System Design (ACSD 2013), Jul 2013, Barcelona, Spain. pp.90-99, ⟨10.1109/ACSD.2013.12⟩
Communication dans un congrès hal-00863651v1

Modeling Multi-Periodic Simulink Systems by Synchronous Dataflow Graphs

Enagnon Cedric Klikpo , Jad Khatib , Alix Munier-Kordon
Real-Time and Embedded Technology and Application Symposium RTAS, Apr 2016, Vienna, Austria. pp.1-10, ⟨10.1109/RTAS.2016.7461343⟩
Communication dans un congrès hal-01358061v1

A graph-based analysis of the cyclic scheduling problem with time constraints: schedulability and periodicity of the earliest schedule

Alix Munier-Kordon
Journal of Scheduling, 2011, 14 (1), pp.103-117. ⟨10.1007/s10951-009-0159-z⟩
Article dans une revue istex hal-01195915v1

The coupled unit-time operations problem on identical parallel machines with respect to the makespan

Alix Munier-Kordon , Djamal Rebaine
Operations Research Letters, 2014, 42 (1), pp.21-26. ⟨10.1016/j.orl.2013.11.006⟩
Article dans une revue hal-01195939v1