Sylvain Girbal
Thales (Portugal)(PT)Thales (France)(FR)
Publications by Year
Research Areas
Parallel Computing and Optimization Techniques, Embedded Systems Design Techniques, Real-Time Systems Scheduling, Advanced Data Storage Technologies, Formal Methods in Verification
Most-Cited Works
- → Semi-Automatic Composition of Loop Transformations for Deep Parallelism and Memory Hierarchies(2006)212 cited
- → Putting Polyhedral Loop Transformations to Work(2004)113 cited
- → Facilitating the search for compositions of program transformations(2005)104 cited
- → On the evaluation of the impact of shared resources in multithreaded COTS processors in time-critical environments(2012)85 cited
- → UNISIM: An Open Simulation Environment and Library for Complex Architecture Design and Collaborative Development(2007)83 cited
- Predictable Flight Management System Implementation on a Multicore Processor(2014)
- → TERAFLUX: Harnessing dataflow in next generation teradevices(2014)66 cited
- → Reconciling specialization and flexibility through compound circuits(2009)43 cited
- → Violated dependence analysis(2006)43 cited
- → Distributed run-time WCET controller for concurrent critical tasks in mixed-critical systems(2014)39 cited