dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Pascal Sainrat Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Sainrat: éDitorial. Technique et Science Informatiques 30(9): 1033-1034 (2011)
2010
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHugues Cassé, Pascal Sainrat, Clément Ballabriga, Marianne De Michiel: Experimentation of WCET computation on both ends of automotive processor range. EDCC-CARS 2010: 67-70
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJulian Wolf, Mike Gerdes, Florian Kluge, Sascha Uhrig, Jörg Mische, Stefan Metzlaff, Christine Rochange, Hugues Cassé, Pascal Sainrat, Theo Ungerer: RTOS Support for Parallel Execution of Hard Real-Time Applications on the MERASA Multi-core Processor. ISORC 2010: 193-201
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClément Ballabriga, Hugues Cassé, Christine Rochange, Pascal Sainrat: OTAWA: An Open Toolbox for Adaptive WCET Analysis. SEUS 2010: 35-46
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristine Rochange, Armelle Bonenfant, Pascal Sainrat, Mike Gerdes, Julian Wolf, Theo Ungerer, Zlatko Petrov, Frantisek Mikulu: WCET Analysis of a Parallel 3D Multigrid Solver Executed on the MERASA Multi-Core. WCET 2010: 90-100
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTheo Ungerer, Francisco J. Cazorla, Pascal Sainrat, Guillem Bernat, Zlatko Petrov, Christine Rochange, Eduardo Quiñones, Mike Gerdes, Marco Paolieri, Julian Wolf, Hugues Cassé, Sascha Uhrig, Irakli Guliashvili, Michael Houston, Florian Kluge, Stefan Metzlaff, Jörg Mische: Merasa: Multicore Execution of Hard Real-Time Applications Supporting Analyzability. IEEE Micro 30(5): 66-75 (2010)
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJonathan Barre, Christine Rochange, Pascal Sainrat: Architecture d'un processeur multiflot orienté temps-réel. Technique et Science Informatiques 29(2): 157-178 (2010)
2009
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristine Rochange, Pascal Sainrat: A Context-Parameterized Model for Static Analysis of Execution Times. T. HiPEAC 2: 222-241 (2009)
2008
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJonathan Barre, Christine Rochange, Pascal Sainrat: A Predictable Simultaneous Multithreading Scheme for Hard Real-Time. ARCS 2008: 161-172
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJonathan Barre, Christine Rochange, Pascal Sainrat: An architecture for the simultaneous execution of hard real-time threads. ICSAMOS 2008: 18-24
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarianne 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
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClément Ballabriga, Hugues Cassé, Pascal Sainrat: An improved approach for set-associative instruction cache partial analysis. SAC 2008: 360-367
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFadia Nemer, Hugues Cassé, Pascal Sainrat, Jean Paul Bahsoun: Inter-task WCET computation for a-way instruction caches. SIES 2008: 169-176
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNiklas 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
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTaewhan 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
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFadia Nemer, Hugues Cassé, Pascal Sainrat, Ali Awada: Improving the Worst-Case Execution Time Accuracy by Inter-Task Instruction Cache Analysis. SIES 2007: 25-32
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKoen 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
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJonathan Barre, Cédric Landet, Christine Rochange, Pascal Sainrat: Modeling Instruction-Level Parallelism for WCET Evaluation. RTCSA 2006: 61-67
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDjemai Kebbal, Pascal Sainrat: Combining Symbolic Execution and Path Enumeration in Worst-Case Execution Time Analysis. WCET 2006
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFadia Nemer, Hugues Cassé, Pascal Sainrat, Jean Paul Bahsoun, Marianne De Michiel: PapaBench: a Free Real-Time Benchmark. WCET 2006
2005
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristine Rochange, Pascal Sainrat: A time-predictable execution mode for superscalar pipelines with instruction prescheduling. Conf. Computing Frontiers 2005: 307-314
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaire Burguière, Christine Rochange, Pascal Sainrat: A Case for Static Branch Prediction in Real-Time Systems. RTCSA 2005: 33-38
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristine 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
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristine Rochange, Pascal Sainrat: Towards Designing WCET-Predictable Processors. WCET 2003: 87-90
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntoine 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)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThierry Haquin, Philippe Reynes, Christine Rochange, Pascal Sainrat: Optimisations du chargement des instructions. Technique et Science Informatiques 22(6): 689-711 (2003)
2002
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHugues 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
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Sainrat, Mateo Valero: Instruction-Level Parallelism and Uniprocessor Architecture - Introduction. Euro-Par 1999: 1241-1242
1996
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndré Seznec, Stéphan Jourdan, Pascal Sainrat, Pierre Michaud: Multiple-Block Ahead Branch Predictors. ASPLOS 1996: 116-127
1995
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStéphan Jourdan, Pascal Sainrat, Daniel Litaize: Exploring Configurations of Functional Units in an Out-of-Order Superscalar Processor. ISCA 1995: 117-125
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStéphan Jourdan, Pascal Sainrat, Daniel Litaize: An investigation of the performance of various instruction-issue buffer topologies. MICRO 1995: 279-284
1993
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristine Rochange, Pascal Sainrat, Daniel Litaize: Performance of M3S for the SOR algorithm. PARLE 1993: 676-679
1992
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Litaize, Abdelaziz Mzoughi, Christine Rochange, Pascal Sainrat: Towards a Shared-Memory Massively Parallel Multiprocessor. ISCA 1992: 70-79
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Sainrat, Abdelaziz Mzoughi, Christine Rochange, Daniel Litaize: The Design of the M3S: A Multiported Shared-Memory Multiprocessor. SC 1992: 326-335
1989
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel 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

1Ali Awada [20]
2Jean Paul Bahsoun [16] [23]
3Clément Ballabriga [22] [24] [32] [34]
4Jonathan Barre [18] [26] [27] [29]
5Guillem Bernat [22] [30]
6Armelle Bonenfant [22] [25] [31]
7Koen De Bosschere (Koenraad De Bosschere) [19]
8Roman Bourgade [22]
9Hugues Cassé [9] [16] [20] [22] [23] [24] [25] [30] [32] [33] [34]
10Francisco J. Cazorla (Francisco J. Cazorla-Almeida) [30]
11Antoine Colin [11]
12Daniel Cordes [22]
13Fatimazhra Elkhlifi [1]
14L. Féraud [9]
15Mike Gerdes [30] [31] [33]
16Irakli Guliashvili [30]
17Jan Gustafsson [22]
18Omar Hammami [1]
19Thierry Haquin [10]
20Niklas Holsti [22]
21Michael Houston [30]
22Stéphan Jourdan [5] [6] [7]
23Albrecht Kadlec [22]
24Djemai Kebbal [17]
25Taewhan Kim [21]
26Raimund Kirner [22]
27Florian Kluge [30] [33]
28Jens Knoop [22]
29Mustapha Lalam [1]
30Cédric Landet [18]
31Daniel Litaize [1] [2] [3] [4] [5] [6]
32Paul Lokuciejewski [22]
33Wayne Luk [19]
34Steven S. Lumetta (Steven Lumetta) [21]
35Claire Maiza (Claire Burguière) [14]
36Xavier Martorell [19]
37Nicholas Merriam [22]
38Stefan Metzlaff [30] [33]
39Pierre Michaud [7]
40Marianne De Michiel [16] [22] [25] [34]
41Frantisek Mikulu [31]
42Jörg Mische [30] [33]
43Abdelaziz Mzoughi [1] [2] [3]
44Nacho Navarro [19] [21]
45Fadia Nemer [16] [20] [23]
46Michael F. P. O'Boyle [19]
47Marco Paolieri [30]
48Zlatko Petrov [30] [31]
49Dionisios N. Pnevmatikatos [19]
50Adrian Prantl [22]
51Isabelle Puaut [11]
52Eduardo Quiñones [30]
53Alex Ramírez [19]
54Philippe Reynes [10]
55Bernhard Rieder [22]
56Christine Rochange [2] [3] [4] [9] [10] [11] [12] [13] [14] [15] [18] [22] [26] [27] [28] [29] [30] [31] [32] [33]
57Jean-Claude Salinier [1]
58Markus Schordan [22]
59André Seznec [7] [19]
60Per Stenström [19]
61Olivier Temam [19]
62Sascha Uhrig [30] [33]
63Theo Ungerer [30] [31] [33]
64Mateo Valero [8]
65Julian Wolf [30] [31] [33]

Colors in the list of coauthors

Last update Mon Feb 13 22:11:03 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page