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

Pascal Sainrat Vis

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

*2009
27EEChristine Rochange, Pascal Sainrat: A Context-Parameterized Model for Static Analysis of Execution Times. T. HiPEAC 2: 222-241 (2009)
2008
26EEJonathan Barre, Christine Rochange, Pascal Sainrat: A Predictable Simultaneous Multithreading Scheme for Hard Real-Time. ARCS 2008: 161-172
25EEMarianne 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
24EEClément Ballabriga, Hugues Cassé, Pascal Sainrat: An improved approach for set-associative instruction cache partial analysis. SAC 2008: 360-367
23EEFadia Nemer, Hugues Cassé, Pascal Sainrat, Jean Paul Bahsoun: Inter-task WCET computation for a-way instruction caches. SIES 2008: 169-176
22EENiklas 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
20EEFadia Nemer, Hugues Cassé, Pascal Sainrat, Ali Awada: Improving the Worst-Case Execution Time Accuracy by Inter-Task Instruction Cache Analysis. SIES 2007: 25-32
19EEKoen 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
18EEJonathan Barre, Cédric Landet, Christine Rochange, Pascal Sainrat: Modeling Instruction-Level Parallelism for WCET Evaluation. RTCSA 2006: 61-67
17EEDjemai Kebbal, Pascal Sainrat: Combining Symbolic Execution and Path Enumeration in Worst-Case Execution Time Analysis. WCET 2006
16EEFadia Nemer, Hugues Cassé, Pascal Sainrat, Jean Paul Bahsoun, Marianne De Michiel: PapaBench: a Free Real-Time Benchmark. WCET 2006
2005
15EEChristine Rochange, Pascal Sainrat: A time-predictable execution mode for superscalar pipelines with instruction prescheduling. Conf. Computing Frontiers 2005: 307-314
14EEClaire Burguière, Christine Rochange, Pascal Sainrat: A Case for Static Branch Prediction in Real-Time Systems. RTCSA 2005: 33-38
13EEChristine 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
11EEAntoine 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)
10EEThierry Haquin, Philippe Reynes, Christine Rochange, Pascal Sainrat: Optimisations du chargement des instructions. Technique et Science Informatiques 22(6): 689-711 (2003)
2002
9EEHugues 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
8EEPascal 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
6EEStéphan Jourdan, Pascal Sainrat, Daniel Litaize: Exploring Configurations of Functional Units in an Out-of-Order Superscalar Processor. ISCA 1995: 117-125
5EEStéphan Jourdan, Pascal Sainrat, Daniel Litaize: An investigation of the performance of various instruction-issue buffer topologies. MICRO 1995: 279-284
1993
4EEChristine 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
1EEDaniel 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]
4Jonathan Barre [18] [26]
5Guillem Bernat [22]
6Armelle Bonenfant [22] [25]
7Koen De Bosschere (Koenraad De Bosschere) [19]
8Roman Bourgade [22]
9Claire Burguière [14]
10Hugues Cassé [9] [16] [20] [22] [23] [24] [25]
11Antoine Colin [11]
12Daniel Cordes [22]
13Fatimazhra Elkhlifi [1]
14L. Féraud [9]
15Jan Gustafsson [22]
16Omar Hammami [1]
17Thierry Haquin [10]
18Niklas Holsti [22]
19Stéphan Jourdan [5] [6] [7]
20Albrecht Kadlec [22]
21Djemai Kebbal [17]
22Taewhan Kim [21]
23Raimund Kirner [22]
24Jens Knoop [22]
25Mustapha Lalam [1]
26Cédric Landet [18]
27Daniel Litaize [1] [2] [3] [4] [5] [6]
28Paul Lokuciejewski [22]
29Wayne Luk [19]
30Steven S. Lumetta (Steven Lumetta) [21]
31Xavier Martorell [19]
32Nicholas Merriam [22]
33Pierre Michaud [7]
34Marianne De Michiel [16] [22] [25]
35Abdelaziz Mzoughi [1] [2] [3]
36Nacho Navarro [19] [21]
37Fadia Nemer [16] [20] [23]
38Michael F. P. O'Boyle [19]
39Dionisios N. Pnevmatikatos [19]
40Adrian Prantl [22]
41Isabelle Puaut [11]
42Alex Ramírez [19]
43Philippe Reynes [10]
44Bernhard Rieder [22]
45Christine Rochange [2] [3] [4] [9] [10] [11] [12] [13] [14] [15] [18] [22] [26] [27]
46Jean-Claude Salinier [1]
47Markus Schordan [22]
48André Seznec [7] [19]
49Per Stenström [19]
50Olivier Temam [19]
51Mateo Valero [8]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)