2006 |
5 | EE | Thao Dang,
Philippe Gerner:
Scheduling for multi-threaded real-time programs via path planning.
EMSOFT 2006: 282-291 |
2005 |
4 | EE | Ismail Assayad,
Philippe Gerner,
Sergio Yovine,
Valérie Bertin:
Modelling, Analysis and Parallel Implementation of an On-line Video Encoder.
DFMA 2005: 295-302 |
3 | EE | Ismail Assayad,
Valérie Bertin,
F.-X. Defaut,
Philippe Gerner,
O. Quévreux,
Sergio Yovine:
Jahuel: A Formal Framework for Software Synthesis.
ICFEM 2005: 204-218 |
2004 |
2 | EE | Philippe Gerner,
Thao Dang:
Computing Schedules for Multithreaded Real-Time Programs Using Geometry.
FORMATS/FTRTFT 2004: 325-342 |
2000 |
1 | EE | Philippe Gerner,
Eric Violard:
A Theoretical Framework of Data Parallelism and Its Operational Semantics.
Euro-Par 2000: 668-677 |