Pascal Sainrat

2009
26	EE	Christine Rochange, Pascal Sainrat: A Context-Parameterized Model for Static Analysis of Execution Times. T. HiPEAC 2: 222-241 (2009)
2008
25	EE	Jonathan Barre, Christine Rochange, Pascal Sainrat: A Predictable Simultaneous Multithreading Scheme for Hard Real-Time. ARCS 2008: 161-172
24	EE	Marianne De Michiel, Armelle Bonenfant, Hugues Cassé, Pascal Sainrat: Static Loop Bound Analysis of C Programs Based on Flow Analysis and Abstract Interpretation. RTCSA 2008: 161-166
23	EE	Clément Ballabriga, Hugues Cassé, Pascal Sainrat: An improved approach for set-associative instruction cache partial analysis. SAC 2008: 360-367
22	EE	Niklas Holsti, Jan Gustafsson, Guillem Bernat, Clément Ballabriga, Armelle Bonenfant, Roman Bourgade, Hugues Cassé, Daniel Cordes, Albrecht Kadlec, Raimund Kirner, Jens Knoop, Paul Lokuciejewski, Nicholas Merriam, Marianne De Michiel, Adrian Prantl, Bernhard Rieder, Christine Rochange, Pascal Sainrat, Markus Schordan: WCET 2008 - Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis. WCET 2008
2007
21		Taewhan Kim, Pascal Sainrat, Steven S. Lumetta, Nacho Navarro: Proceedings of the 2007 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2007, Salzburg, Austria, September 30 - October 3, 2007 ACM 2007
20	EE	Fadia Nemer, Hugues Cassé, Pascal Sainrat, Ali Awada: Improving the Worst-Case Execution Time Accuracy by Inter-Task Instruction Cache Analysis. SIES 2007: 25-32
19	EE	Koen De Bosschere, Wayne Luk, Xavier Martorell, Nacho Navarro, Michael F. P. O'Boyle, Dionisios N. Pnevmatikatos, Alex Ramírez, Pascal Sainrat, André Seznec, Per Stenström, Olivier Temam: High-Performance Embedded Architecture and Compilation Roadmap. T. HiPEAC 1: 5-29 (2007)
2006
18	EE	Jonathan Barre, Cédric Landet, Christine Rochange, Pascal Sainrat: Modeling Instruction-Level Parallelism for WCET Evaluation. RTCSA 2006: 61-67
17	EE	Djemai Kebbal, Pascal Sainrat: Combining Symbolic Execution and Path Enumeration in Worst-Case Execution Time Analysis. WCET 2006
16	EE	Fadia Nemer, Hugues Cassé, Pascal Sainrat, Jean Paul Bahsoun, Marianne De Michiel: PapaBench: a Free Real-Time Benchmark. WCET 2006
2005
15	EE	Christine Rochange, Pascal Sainrat: A time-predictable execution mode for superscalar pipelines with instruction prescheduling. Conf. Computing Frontiers 2005: 307-314
14	EE	Claire Burguière, Christine Rochange, Pascal Sainrat: A Case for Static Branch Prediction in Real-Time Systems. RTCSA 2005: 33-38
13	EE	Christine Rochange, Pascal Sainrat: Régulation du flot d'instructions pour des processeurs orientés temps réel. Technique et Science Informatiques 24(8): 963-989 (2005)
2003
12		Christine Rochange, Pascal Sainrat: Towards Designing WCET-Predictable Processors. WCET 2003: 87-90
11	EE	Antoine Colin, Isabelle Puaut, Christine Rochange, Pascal Sainrat: Calcul de majorants de pire temps d'exécution : état de l'art. Technique et Science Informatiques 22(5): 651-677 (2003)
10	EE	Thierry Haquin, Philippe Reynes, Christine Rochange, Pascal Sainrat: Optimisations du chargement des instructions. Technique et Science Informatiques 22(6): 689-711 (2003)
2002
9	EE	Hugues Cassé, L. Féraud, Christine Rochange, Pascal Sainrat: Une approche pour réduire la complexité du flot de contrôle dans les programmes C. Technique et Science Informatiques 21(7): 1009-1032 (2002)
1999
8	EE	Pascal Sainrat, Mateo Valero: Instruction-Level Parallelism and Uniprocessor Architecture - Introduction. Euro-Par 1999: 1241-1242
1996
7		André Seznec, Stéphan Jourdan, Pascal Sainrat, Pierre Michaud: Multiple-Block Ahead Branch Predictors. ASPLOS 1996: 116-127
1995
6	EE	Stéphan Jourdan, Pascal Sainrat, Daniel Litaize: Exploring Configurations of Functional Units in an Out-of-Order Superscalar Processor. ISCA 1995: 117-125
5	EE	Stéphan Jourdan, Pascal Sainrat, Daniel Litaize: An investigation of the performance of various instruction-issue buffer topologies. MICRO 1995: 279-284
1993
4		Christine Rochange, Pascal Sainrat, Daniel Litaize: Performance of M3S for the SOR algorithm. PARLE 1993: 676-679
1992
3		Daniel Litaize, Abdelaziz Mzoughi, Christine Rochange, Pascal Sainrat: Towards a Shared-Memory Massively Parallel Multiprocessor. ISCA 1992: 70-79
2		Pascal Sainrat, Abdelaziz Mzoughi, Christine Rochange, Daniel Litaize: The Design of the M3S: A Multiported Shared-Memory Multiprocessor. SC 1992: 326-335
1989
1		Daniel Litaize, Fatimazhra Elkhlifi, Omar Hammami, Mustapha Lalam, Abdelaziz Mzoughi, Pascal Sainrat, Jean-Claude Salinier: Serial Multiport Memory Multiprocessors. PARLE (1) 1989: 34-51

Coauthor Index

1	Ali Awada	[20]
2	Jean Paul Bahsoun	[16]
3	Clément Ballabriga	[22] [23]
4	Jonathan Barre	[18] [25]
5	Guillem Bernat	[22]
6	Armelle Bonenfant	[22] [24]
7	Koen De Bosschere (Koenraad De Bosschere)	[19]
8	Roman Bourgade	[22]
9	Claire Burguière	[14]
10	Hugues Cassé	[9] [16] [20] [22] [23] [24]
11	Antoine Colin	[11]
12	Daniel Cordes	[22]
13	Fatimazhra Elkhlifi	[1]
14	L. Féraud	[9]
15	Jan Gustafsson	[22]
16	Omar Hammami	[1]
17	Thierry Haquin	[10]
18	Niklas Holsti	[22]
19	Stéphan Jourdan	[5] [6] [7]
20	Albrecht Kadlec	[22]
21	Djemai Kebbal	[17]
22	Taewhan Kim	[21]
23	Raimund Kirner	[22]
24	Jens Knoop	[22]
25	Mustapha Lalam	[1]
26	Cédric Landet	[18]
27	Daniel Litaize	[1] [2] [3] [4] [5] [6]
28	Paul Lokuciejewski	[22]
29	Wayne Luk	[19]
30	Steven S. Lumetta (Steven Lumetta)	[21]
31	Xavier Martorell	[19]
32	Nicholas Merriam	[22]
33	Pierre Michaud	[7]
34	Marianne De Michiel	[16] [22] [24]
35	Abdelaziz Mzoughi	[1] [2] [3]
36	Nacho Navarro	[19] [21]
37	Fadia Nemer	[16] [20]
38	Michael F. P. O'Boyle	[19]
39	Dionisios N. Pnevmatikatos	[19]
40	Adrian Prantl	[22]
41	Isabelle Puaut	[11]
42	Alex Ramírez	[19]
43	Philippe Reynes	[10]
44	Bernhard Rieder	[22]
45	Christine Rochange	[2] [3] [4] [9] [10] [11] [12] [13] [14] [15] [18] [22] [25] [26]
46	Jean-Claude Salinier	[1]
47	Markus Schordan	[22]
48	André Seznec	[7] [19]
49	Per Stenström	[19]
50	Olivier Temam	[19]
51	Mateo Valero	[8]

Colors in the list of coauthors