Pascal Sainrat

53 papers A* 4A 3B 3C 4Misc 4Journal 14Unranked 19

Year	Rank	Type	Title / Venue / Authors
2023	Misc	`conf`	Enabling timing predictability in the presence of store buffers. RTNS Alban Gruin, Thomas Carle, Christine Rochange, Pascal Sainrat
2023	J	`jnl`	MINOTAuR: A Timing Predictable RISC-V Core Featuring Speculative Execution. IEEE Trans. Computers Alban Gruin, Thomas Carle, Christine Rochange, Hugues Cassé, Pascal Sainrat
2023	—	`conf`	Validation of Processor Timing Models Using Cycle-Accurate Timing Simulators. WCET Alban Gruin, Thomas Carle, Christine Rochange, Pascal Sainrat
2016	Misc	`conf`	Mapping hard real-time applications on many-core processors. RTNS Quentin Perret, Pascal Maurère, Éric Noulard, Claire Pagetti, Pascal Sainrat, Benoît Triquet
2016	J	`jnl`	Parallelizing Industrial Hard Real-Time Applications for the parMERASA Multicore. ACM Trans. Embed. Comput. Syst. Theo Ungerer, Christian Bradatsch, Martin Frieb, Florian Kluge, Jörg Mische, Alexander Stegmeier, Ralf Jahr, Mike Gerdes, Pavel G. Zaykov, Lucie Matusova, Zai Jian Jia Li, Zlatko Petrov, Bert Böddeker, Sebastian Kehr, Hans Regler, Andreas Hugl, Christine Rochange, Haluk Ozaktas, Hugues Cassé, Armelle Bonenfant, Pascal Sainrat, Nick Lay, David George, Ian Broster, Eduardo Quiñones, Milos Panic, Jaume Abella, Carles Hernández, Francisco J. Cazorla, Sascha Uhrig, Mathias Rohde, Arthur Pyka
2016	A	`conf`	Temporal Isolation of Hard Real-Time Applications on Many-Core Processors. RTAS Quentin Perret, Pascal Maurère, Eric Noulard, Claire Pagetti, Pascal Sainrat, Benoit Triquet
2014	C	`conf`	Minimizing the cost of synchronisations in the WCET of real-time parallel programs. SCOPES Haluk Ozaktas, Christine Rochange, Pascal Sainrat
2014	—	`book`	Time-Predictable Architectures. Christine Rochange, Sascha Uhrig, Pascal Sainrat
2013	—	`conf`	Automatic WCET Analysis of Real-Time Parallel Applications. WCET Haluk Ozaktas, Christine Rochange, Pascal Sainrat
2013	—	`conf`	Multi-architecture Value Analysis for Machine Code. WCET Hugues Cassé, Florian Birée, Pascal Sainrat
2013	—	`conf`	Predictable Two-Level Bus Arbitration for Heterogeneous Task Sets. ARCS Roman Bourgade, Christine Rochange, Pascal Sainrat
2013	C	`conf`	parMERASA - Multi-core Execution of Parallelised Hard Real-Time Applications Supporting Analysability. DSD Theo Ungerer, Christian Bradatsch, Mike Gerdes, Florian Kluge, Ralf Jahr, Jörg Mische, João Fernandes, Pavel G. Zaykov, Zlatko Petrov, Bert Böddeker, Sebastian Kehr, Hans Regler, Andreas Hugl, Christine Rochange, Haluk Ozaktas, Hugues Cassé, Armelle Bonenfant, Pascal Sainrat, Ian Broster, Nick Lay, David George, Eduardo Quiñones, Milos Panic, Jaume Abella, Francisco J. Cazorla, Sascha Uhrig, Mathias Rohde, Arthur Pyka
2012	A	`conf`	Time analysable synchronisation techniques for parallelised hard real-time applications. DATE Mike Gerdes, Florian Kluge, Theo Ungerer, Christine Rochange, Pascal Sainrat
2011	C	`conf`	Predictable bus arbitration schemes for heterogeneous time-critical workloads running on multicore processors. ETFA Roman Bourgade, Christine Rochange, Pascal Sainrat
2011	J	`jnl`	RTOS support for execution of parallelized hard real-time tasks on the MERASA multi-core processor. Comput. Syst. Sci. Eng. Julian Wolf, Mike Gerdes, Florian Kluge, Sascha Uhrig, Jörg Mische, Stefan Metzlaff, Christine Rochange, Hugues Cassé, Pascal Sainrat, Theo Ungerer
2011	J	`jnl`	Éditorial. Tech. Sci. Informatiques Pascal Sainrat
2010	J	`jnl`	Architecture d'un processeur multiflot orienté temps-réel. Tech. Sci. Informatiques Jonathan Barre, Christine Rochange, Pascal Sainrat
2010	—	`conf`	Experimentation of WCET computation on both ends of automotive processor range. EDCC-CARS Hugues Cassé, Pascal Sainrat, Clément Ballabriga, Marianne De Michiel
2010	J	`jnl`	Merasa: Multicore Execution of Hard Real-Time Applications Supporting Analyzability. IEEE Micro Theo 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
2010	—	`conf`	OTAWA: An Open Toolbox for Adaptive WCET Analysis. SEUS Clément Ballabriga, Hugues Cassé, Christine Rochange, Pascal Sainrat
2010	C	`conf`	RTOS Support for Parallel Execution of Hard Real-Time Applications on the MERASA Multi-core Processor. ISORC Julian Wolf, Mike Gerdes, Florian Kluge, Sascha Uhrig, Jörg Mische, Stefan Metzlaff, Christine Rochange, Hugues Cassé, Pascal Sainrat, Theo Ungerer
2010	—	`conf`	WCET Analysis of a Parallel 3D Multigrid Solver Executed on the MERASA Multi-Core. WCET Christine Rochange, Armelle Bonenfant, Pascal Sainrat, Mike Gerdes, Julian Wolf, Theo Ungerer, Zlatko Petrov, Frantisek Mikulu
2009	J	`jnl`	A Context-Parameterized Model for Static Analysis of Execution Times. Trans. High Perform. Embed. Archit. Compil. Christine Rochange, Pascal Sainrat
2008	—	`conf`	A Predictable Simultaneous Multithreading Scheme for Hard Real-Time. ARCS Jonathan Barre, Christine Rochange, Pascal Sainrat
2008	—	`conf`	An architecture for the simultaneous execution of hard real-time threads. ICSAMOS Jonathan Barre, Christine Rochange, Pascal Sainrat
2008	Misc	`conf`	An improved approach for set-associative instruction cache partial analysis. SAC Clément Ballabriga, Hugues Cassé, Pascal Sainrat
2008	—	`conf`	Inter-task WCET computation for a-way instruction caches. SIES Fadia Nemer, Hugues Cassé, Pascal Sainrat, Jean Paul Bahsoun
2008	B	`conf`	Static Loop Bound Analysis of C Programs Based on Flow Analysis and Abstract Interpretation. RTCSA Marianne De Michiel, Armelle Bonenfant, Hugues Cassé, Pascal Sainrat
2008	—	`conf`	WCET 2008 - Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis. WCET 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
2007	J	`jnl`	High-Performance Embedded Architecture and Compilation Roadmap. Trans. High Perform. Embed. Archit. Compil. 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
2007	—	`conf`	Improving the Worst-Case Execution Time Accuracy by Inter-Task Instruction Cache Analysis. SIES Fadia Nemer, Hugues Cassé, Pascal Sainrat, Ali Awada
2007	Misc	`ed.`	Proceedings of the 2007 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2007, Salzburg, Austria, September 30 - October 3, 2007 CASES Taewhan Kim, Pascal Sainrat, Steven S. Lumetta, Nacho Navarro
2006	—	`conf`	Combining Symbolic Execution and Path Enumeration in Worst-Case Execution Time Analysis. WCET Djemai Kebbal, Pascal Sainrat
2006	B	`conf`	Modeling Instruction-Level Parallelism for WCET Evaluation. RTCSA Jonathan Barre, Cédric Landet, Christine Rochange, Pascal Sainrat
2006	—	`conf`	PapaBench: a Free Real-Time Benchmark. WCET Fadia Nemer, Hugues Cassé, Pascal Sainrat, Jean Paul Bahsoun, Marianne De Michiel
2005	B	`conf`	A Case for Static Branch Prediction in Real-Time Systems. RTCSA Claire Burguière, Christine Rochange, Pascal Sainrat
2005	—	`conf`	A time-predictable execution mode for superscalar pipelines with instruction prescheduling. Conf. Computing Frontiers Christine Rochange, Pascal Sainrat
2005	J	`jnl`	Régulation du flot d'instructions pour des processeurs orientés temps réel. Tech. Sci. Informatiques Christine Rochange, Pascal Sainrat
2003	J	`jnl`	Calcul de majorants de pire temps d'exécution : état de l'art. Tech. Sci. Informatiques Antoine Colin, Isabelle Puaut, Christine Rochange, Pascal Sainrat
2003	J	`jnl`	Optimisations du chargement des instructions. Tech. Sci. Informatiques Thierry Haquin, Philippe Reynes, Christine Rochange, Pascal Sainrat
2003	—	`conf`	Towards Designing WCET-Predictable Processors. WCET Christine Rochange, Pascal Sainrat
2002	J	`jnl`	Une approche pour réduire la complexité du flot de contrôle dans les programmes C. Tech. Sci. Informatiques Hugues Cassé, Louis Féraud, Christine Rochange, Pascal Sainrat
2000	—	`ch.`	Architecture of Parallel and Distributed Systems. Handbook on Parallel and Distributed Processing Daniel Litaize, Abdelaziz Mzoughi, Christine Rochange, Pascal Sainrat
1999	—	`conf`	Instruction-Level Parallelism and Uniprocessor Architecture - Introduction. Euro-Par Pascal Sainrat, Mateo Valero
1999	J	`jnl`	Using the abstract interpretation technique for static pointer analysis. SIGARCH Comput. Archit. News Hugues Cassé, Louis Féraud, Christine Rochange, Pascal Sainrat
1996	A*	`conf`	Multiple-Block Ahead Branch Predictors. ASPLOS André Seznec, Stéphan Jourdan, Pascal Sainrat, Pierre Michaud
1995	A*	`conf`	An investigation of the performance of various instruction-issue buffer topologies. MICRO Stéphan Jourdan, Pascal Sainrat, Daniel Litaize
1995	A*	`conf`	Exploring Configurations of Functional Units in an Out-of-Order Superscalar Processor. ISCA Stéphan Jourdan, Pascal Sainrat, Daniel Litaize
1993	—	`conf`	Performance of M3S for the SOR algorithm. PARLE Christine Rochange, Pascal Sainrat, Daniel Litaize
1992	A	`conf`	The Design of the M3S: A Multiported Shared-Memory Multiprocessor. SC Pascal Sainrat, Abdelaziz Mzoughi, Christine Rochange, Daniel Litaize
1992	A*	`conf`	Towards a Shared-Memory Massively Parallel Multiprocessor. ISCA Daniel Litaize, Abdelaziz Mzoughi, Christine Rochange, Pascal Sainrat
1989	J	`jnl`	Multiprocessors with a serial multiport memory and a pseudo crossbar of serial links used s a processor-memeory switch. SIGARCH Comput. Archit. News Daniel Litaize, Omar Hammami, Mustapha Lalam, Abdelaziz Mzoughi, Pascal Sainrat
1989	—	`conf`	Serial Multiport Memory Multiprocessors. PARLE (1) Daniel Litaize, Fatimazhra Elkhlifi, Omar Hammami, Mustapha Lalam, Abdelaziz Mzoughi, Pascal Sainrat, Jean-Claude Salinier