Philippe Gerner

Publication Activity (10 Years)

Years Active: 2000-2006
Publications (10 Years): 0

Publications

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