Philippe Gerner

According to our database, Philippe Gerner authored at least 5 papers between 2000 and 2006.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2006

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

Thao Dang, Philippe Gerner

Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

2005

Jahuel: A Formal Framework for Software Synthesis.

Ismail Assayad, Valérie Bertin, F.-X. Defaut, Philippe Gerner, O. Quévreux, Sergio Yovine

Proceedings of the Formal Methods and Software Engineering, 2005

Modelling, Analysis and Parallel Implementation of an On-line Video Encoder.

Ismail Assayad, Philippe Gerner, Sergio Yovine, Valérie Bertin

Proceedings of the 1st International Conference on Distributed Frameworks for Multimedia Applications (DFMA 2005), 2005

2004

Computing Schedules for Multithreaded Real-Time Programs Using Geometry.

Philippe Gerner, Thao Dang

Proceedings of the Formal Techniques, 2004

2000

A Theoretical Framework of Data Parallelism and Its Operational Semantics.

Philippe Gerner, Eric Violard

Proceedings of the Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29, 2000