Philippe Gerner

A Geometric Approach to Scheduling of Concurrent Real-time Processes Sharing Resources

Thao Dang, Philippe Gerner, 2007 .

Computing Schedules for Multithreaded Real-Time Programs Using Geometry

Thao Dang, Philippe Gerner, T. Dang, 2004, FORMATS/FTRTFT.

La sémantique des directives au compilateur : application au parallélisme de données

Philippe Gerner, 2002 .

A Theoretical Framework of Data Parallelism and Its Operational Semantics

Eric Violard, Philippe Gerner, 2000, Euro-Par.

Jahuel: A Formal Framework for Software Synthesis

Valérie Bertin, Ismail Assayad, Sergio Yovine, 2005, ICFEM.

Scheduling for multi-threaded real-time programs via path planning

Thao Dang, Philippe Gerner, T. Dang, 2006, EMSOFT '06.

An Approach for Defining the Semantics of Directives

Philippe Gerner, Philippe Gerner, 2002 .

Modelling, analysis and parallel implementation of an on-line video encoder

Valérie Bertin, Ismail Assayad, Sergio Yovine, 2005, First International Conference on Distributed Frameworks for Multimedia Applications.