Pascal Sainrat - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 52 from 52

2023

2016

Temporal Isolation of Hard Real-Time Applications on Many-Core ProcessorsQuentin Perret, Pascal Maurere, Eric Noulard, Claire Pagetti, Pascal Sainrat, Benoit Triquet. rtas 2016: 37-47 [doi]

Mapping hard real-time applications on many-core processorsQuentin Perret, Pascal Maurère, Éric Noulard, Claire Pagetti, Pascal Sainrat, Benoît Triquet. rtns 2016: 235-244 [doi]

2014

Minimizing the cost of synchronisations in the WCET of real-time parallel programsHaluk Ozaktas, Christine Rochange, Pascal Sainrat. scopes 2014: 98-107 [doi]

Time-Predictable ArchitecturesChristine Rochange, Sascha Uhrig, Pascal Sainrat. FOCUS - Computer Engineering Series, iSTE / Wiley, 2014. [doi]

2013

Predictable Two-Level Bus Arbitration for Heterogeneous Task SetsRoman Bourgade, Christine Rochange, Pascal Sainrat. arcs 2013: 341-351 [doi]

Multi-architecture Value Analysis for Machine CodeHugues Cassé, Florian Birée, Pascal Sainrat. wcet 2013: 42-52 [doi]

Automatic WCET Analysis of Real-Time Parallel ApplicationsHaluk Ozaktas, Christine Rochange, Pascal Sainrat. wcet 2013: 11-20 [doi]

2012

Time analysable synchronisation techniques for parallelised hard real-time applicationsMike Gerdes, Florian Kluge, Theo Ungerer, Christine Rochange, Pascal Sainrat. date 2012: 671-676 [doi]

2011

2010

OTAWA: An Open Toolbox for Adaptive WCET AnalysisClément Ballabriga, Hugues Cassé, Christine Rochange, Pascal Sainrat. seus 2010: 35-46 [doi]

Architecture d un processeur multiflot orienté temps-réelJonathan Barre, Christine Rochange, Pascal Sainrat. tsi, 29(2):157-178, 2010. [doi]

Experimentation of WCET computation on both ends of automotive processor rangeHugues Cassé, Pascal Sainrat, Clément Ballabriga, Marianne De Michiel. edcc 2010: 67-70 [doi]

WCET Analysis of a Parallel 3D Multigrid Solver Executed on the MERASA Multi-CoreChristine Rochange, Armelle Bonenfant, Pascal Sainrat, Mike Gerdes, Julian Wolf, Theo Ungerer, Zlatko Petrov, Frantisek Mikulu. wcet 2010: 90-100 [doi]

RTOS Support for Parallel Execution of Hard Real-Time Applications on the MERASA Multi-core ProcessorJulian Wolf, Mike Gerdes, Florian Kluge, Sascha Uhrig, Jörg Mische, Stefan Metzlaff, Christine Rochange, Hugues Cassé, Pascal Sainrat, Theo Ungerer. isorc 2010: 193-201 [doi]

2009

A Context-Parameterized Model for Static Analysis of Execution TimesChristine Rochange, Pascal Sainrat. thipeac, 2:222-241, 2009. [doi]

2008

An improved approach for set-associative instruction cache partial analysisClément Ballabriga, Hugues Cassé, Pascal Sainrat. SAC 2008: 360-367 [doi]

An architecture for the simultaneous execution of hard real-time threadsJonathan Barre, Christine Rochange, Pascal Sainrat. samos 2008: 18-24 [doi]

A Predictable Simultaneous Multithreading Scheme for Hard Real-TimeJonathan Barre, Christine Rochange, Pascal Sainrat. arcs 2008: 161-172 [doi]

Static Loop Bound Analysis of C Programs Based on Flow Analysis and Abstract InterpretationMarianne De Michiel, Armelle Bonenfant, Hugues Cassé, Pascal Sainrat. rtcsa 2008: 161-166 [doi]

Inter-task WCET computation for a-way instruction cachesFadia Nemer, Hugues Cassé, Pascal Sainrat, Jean Paul Bahsoun. sies 2008: 169-176 [doi]

2007

2006

2005

A Case for Static Branch Prediction in Real-Time SystemsClaire Burguière, Christine Rochange, Pascal Sainrat. rtcsa 2005: 33-38 [doi]

A time-predictable execution mode for superscalar pipelines with instruction preschedulingChristine Rochange, Pascal Sainrat. cf 2005: 307-314 [doi]

Régulation du flot d instructions pour des processeurs orientés temps réelChristine Rochange, Pascal Sainrat. tsi, 24(8):963-989, 2005. [doi]

2003

Calcul de majorants de pire temps d exécution : état de l artAntoine Colin, Isabelle Puaut, Christine Rochange, Pascal Sainrat. tsi, 22(5):651-677, 2003. [doi]

Optimisations du chargement des instructionsThierry Haquin, Philippe Reynes, Christine Rochange, Pascal Sainrat. tsi, 22(6):689-711, 2003. [doi]

Towards Designing WCET-Predictable ProcessorsChristine Rochange, Pascal Sainrat. wcet 2003: 87-90

2002

Une approche pour réduire la complexité du flot de contrôle dans les programmes CHugues Cassé, L. Féraud, Christine Rochange, Pascal Sainrat. tsi, 21(7):1009-1032, 2002. [doi]

2000

Architecture of Parallel and Distributed SystemsDaniel Litaize, Abdelaziz Mzoughi, Christine Rochange, Pascal Sainrat. In Jacek Blazewicz, Klaus Ecker, Brigitte Plateau, Denis Trystram, editors, Handbook on Parallel and Distributed Processing. International Handbooks on Information Systems, pages 166-227, Springer, 2000. [doi]

1999

Using the abstract interpretation technique for static pointer analysisHugues Cassé, L. Féraud, Christine Rochange, Pascal Sainrat. sigarch, 27(1):47-50, 1999. [doi]

Instruction-Level Parallelism and Uniprocessor Architecture - IntroductionPascal Sainrat, Mateo Valero. europar 1999: 1241-1242 [doi]

1996

Multiple-Block Ahead Branch PredictorsAndré Seznec, Stéphan Jourdan, Pascal Sainrat, Pierre Michaud. asplos 1996: 116-127

1995

An investigation of the performance of various instruction-issue buffer topologiesStéphan Jourdan, Pascal Sainrat, Daniel Litaize. euromicro 1995: 279-284 [doi]

Exploring Configurations of Functional Units in an Out-of-Order Superscalar ProcessorStéphan Jourdan, Pascal Sainrat, Daniel Litaize. isca 1995: 117-125 [doi]

1993

Performance of M3S for the SOR algorithmChristine Rochange, Pascal Sainrat, Daniel Litaize. parle 1993: 676-679

1992

Towards a Shared-Memory Massively Parallel MultiprocessorDaniel Litaize, Abdelaziz Mzoughi, Christine Rochange, Pascal Sainrat. isca 1992: 70-79

The Design of the M3S: A Multiported Shared-Memory MultiprocessorPascal Sainrat, Abdelaziz Mzoughi, Christine Rochange, Daniel Litaize. sc 1992: 326-335

1989

Serial Multiport Memory MultiprocessorsDaniel Litaize, Fatimazhra Elkhlifi, Omar Hammami, Mustapha Lalam, Abdelaziz Mzoughi, Pascal Sainrat, Jean-Claude Salinier. parle 1989: 34-51

Multiprocessors with a serial multiport memory and a pseudo crossbar of serial links used s a processor-memeory switchDaniel Litaize, Omar Hammami, Mustapha Lalam, Abdelaziz Mzoughi, Pascal Sainrat. sigarch, 17(6):8-21, 1989. [doi]

All Publications

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Pascal Sainrat'

Viewing Publication 1 - 52 from 52

2023

2016

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2003

2002

2000

1999

1996

1995

1993

1992

1989

All Publications

Filter by Year [-]OR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by TagOR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Pascal Sainrat'

Viewing Publication 1 - 52 from 52

2023

2016

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2003

2002

2000

1999

1996

1995

1993

1992

1989

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1