Publications de Christine ROCHANGE
Zhenyu Bai, Hugues Cassé, Thomas Carle, Christine Rochange
Computing Execution Times with eXecution Decision Diagrams in the Presence of Out-Of-Order Resources
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2023, 42 (11), pp.3665-3678. ⟨10.1109/TCAD.2023.3258752⟩
Alban Gruin, Thomas Carle, Christine Rochange, Hugues Cassé, Pascal Sainrat
MINOTAuR: a Timing Predictable RISC-V Core Featuring Speculative Execution
IEEE Transactions on Computers, 2023, 72 (1), pp.183-195. ⟨10.1109/TC.2022.3200000⟩
Zhenyu Bai, Hugues Cassé, Marianne de Michiel, Christine Rochange, Thomas Carle
A Framework for Calculating WCET Based on Execution Decision Diagrams
ACM Transactions on Embedded Computing Systems (TECS), 2022, 21 (3), pp.3476879. ⟨10.1145/3476879⟩
Florian Kluge, Christine Rochange, Theo Ungerer
EMSBench: Benchmark and Testbed for Reactive Real-Time Systems
Leibniz Transactions on Embedded Systems, 2017, 4 (2), pp.02:1-02:23. ⟨10.4230/LITES-v004-i002-a002⟩
Christine Rochange, Martin Frieb, Ralf Jahr, Haluk Ozaktas, Andreas Hugl, Hans Regler, Theo Ungerer
A Parallelization Approach for Hard Real-Time Systems and Its Application on Two Industrial Programs
International Journal of Parallel Programming, 2016, 44 (6), pp.1296-1336. ⟨10.1007/s10766-016-0432-7⟩
Theo Ungerer, Christian Bradatsch, Martin Frieb, Florian Kluge, Jörg Mische, Alexander Stegmeier, Ralf Jahr, Mike Gerdes, Pavel 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 Quinones, Milos Panic, Jaume Abella, Carles Hernandez, Francisco Cazorla, Sascha Uhrig, Mathias Rohde, Arthur Pyka
Parallelizing Industrial Hard Real-Time Applications for the parMERASA Multicore
ACM Transactions on Embedded Computing Systems (TECS), 2016, 15 (3), ⟨10.1145/2910589⟩
Philip Axer, Rolf Ernst, Heiko Falk, Alain Girault, Daniel Grund, Nan Guan, Bengt Jonsson, Peter Marwedel, Jan Reineke, Christine Rochange, Maurice Sebastian, Reinhard von Hanxleden, Reinhard Wilhelm, Wang Yi
Building Timing Predictable Embedded Systems
ACM Transactions on Embedded Computing Systems (TECS), 2014, 13 (4), pp.38. ⟨10.1145/2560033⟩
A. Dkhil, X.K. Do, P. Dubrulle, S. Louise, Christine Rochange
Self-timed periodic scheduling for a cyclo-static dataflow model
Procedia Computer Science, 2014, 29, pp.1134-1145. ⟨10.1016/j.procs.2014.05.102⟩
Julian Wolf, Mike Gerdes, Florian Kluge, Sascha Uhrig, Jörg Mische, Stefan Metzlaff, Christine Rochange, Hugues Cassé, Pascal Sainrat, Theo Ungerer
RTOS support for execution of parallelized hard real-time tasks on the MERASA multi-core processor
Dans : Computer Systems Science & Engineering, CRL Publishing, Leicester – UK, Numéro spécial Real-Time Systems, Vol. 26 N. 6, p. 20-36, novembre 2011.
Theo Ungerer, Francisco Cazorla, Pascal Sainrat, Guillem Bernat, Zlatko Petrov, Hugues Cassé, Christine Rochange, Eduardo Quinones, Sascha Uhrig, Mike Gerdes, Irakli Guliashvili, Michael Houston, Florian Kluge, Stefan Metzlaff, Jörg Mische, Marco Paolieri, Julian Wolf
MERASA: Multi-Core Execution of Hard Real-Time Applications Supporting Analysability
Dans : IEEE Micro, IEEE : Institute of Electrical and Electronics Engineers, Numéro spécial European Multicore Processing Projects, Vol. 30 N. 5, p. 66-75, septembre 2010.
Jonathan Barre, Christine Rochange, Pascal Sainrat
Architecture dun processeur multiflot orienté temps-réel
Dans : Technique et Science Informatiques (TSI), Hermès Science, Numéro spécial SympA’08, Vol. 29, N. 2, p. 157-178, février 2010.
Christine Rochange, Pascal Sainrat
A Context-Parameterized Model for Static Analysis of Execution Times
Dans : Transactions on High-Performance Embedded Architecture and Compilation, Springer, Vol. 2 N. 3, p. 109-128, janvier 2009.
Christine Rochange, Pascal Sainrat
Régulation du flot d’instructions pour des processeurs orientés temps-réel
Dans : Technique et Science Informatiques, Lavoisier, Cachan, Vol. 24, N. 8, p. 963-989, 2005.
Thierry Haquin, Christine Rochange, Pascal Sainrat
CBSP: A Predictor of Sequences of Correlated Branches
Dans : Computing Letters (CoLe), Brill Academic Publishers, Leiden, The Netherlands, Vol. 1 N. 1, p. 15-29, janvier 2005.
Thierry Haquin, Philippe Reynes, Christine Rochange, Pascal Sainrat
Optimisation du chargement des instructions
Dans : Technique et Science Informatiques, Lavoisier, Vol. 22, N. 6, p. 689-711, 2003.
Antoine Colin, Isabelle Puaut, Christine Rochange, Pascal Sainrat
Calcul de majorants de pire temps d’exécution : état de l’art
Dans : Technique et Science Informatique, Lavoisier, Vol. 22, N. 5, p. 651-677, 2003.
Hugues Cassé, Louis Féraud, Christine Rochange, Pascal Sainrat
Une approche pour réduire la complexité du flot de contrôle dans les programmes C
Dans : Technique et science informatiques, Hermès, Vol. 21, N. 7, p. 1009-1032, 2002.
Hugues Cassé, Louis Féraud, Christine Rochange, Pascal Sainrat
Using Abstract Interpretation Techniques for Static Pointer Analysis
Dans : Computer Architecture News, ACM, ISSN 0163-5694, Vol. 27 N. 1, p. 47-50, mars 1999.
Résumé Accès : http://www.irit.fr/publis/APARA/March/208.ps.gz
BibTeXChristine Rochange, Ph. T. Hai, Pascal Sainrat, Daniel Litaize
Préchargement de données dans les caches
Dans : Technique et Science Informatiques, Hermès, Vol. 16, N. 4, p. 425-456, avril 1997.
M3S : un multiprocesseur à mémoire partagée évolutif : étude quantitative
Dans : Technique et Science Informatiques, Hermès, Vol. 14, N. 5, p. 601-618, mai 1995.
Per Stenström, Pascal Sainrat, Christine Rochange
Conception de la mémoire dans les multiprocesseurs à mémoire partagée
Dans : Calculateurs Parallèles, Vol. 6, N. 3, p. 83-136, 1994.
Alban Gruin, Armelle Bonenfant, Thomas Carle, Christine Rochange
Modelling and proving the monotonicity of processor pipelines in Coq
22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design, Oct 2024, Raleigh, United States
Noïc Crouzet, Thomas Carle, Christine Rochange
Coordinating the fetch and issue warp schedulers to increase the timing predictability of GPUs
Euromicro Symposium on Digital System Design, Aug 2024, Paris, France
Alban Gruin, Thomas Carle, Christine Rochange, Pascal Sainrat
Validation of Processor Timing Models Using Cycle-Accurate Timing Simulators
21st International Workshop on Worst-Case Execution Time Analysis (WCET 2023), Jul 2023, Vienne, Austria. pp.2:1-2:12, ⟨10.4230/OASIcs.WCET.2023.2⟩
Louison Jeanmougin, Thomas Carle, Pascal Sotin, Christine Rochange
Warp-Level CFG Construction for GPU Kernel WCET Analysis
21st International Workshop on Worst-Case Execution Time Analysis (WCET 2023), Jul 2023, Vienne, Austria. pp.1:1–1:13, ⟨10.4230/OASIcs.WCET.2023.1⟩
Alban Gruin, Thomas Carle, Christine Rochange, Pascal Sainrat
Enabling timing predictability in the presence of store buffers
31st International Conference on Real-Time Networks and Systems (RTNS 2023), Jun 2023, Dortmund, Germany. pp.1-10, ⟨10.1145/3575757.3593653⟩
Michaël Adalbert, Thomas Carle, Christine Rochange
PasTiS: building an NVIDIA Pascal GPU simulator for embedded AI applications
11th European Congress on Embedded Real-Time Systems (ERTS 2022), 3AF Midi-Pyrénées: the French Society of Aeronautic and Aerospace; SEE : the French Society for Electricity, Electronics, and Information & Communication Technologies, Jun 2022, Toulouse, France
Alban Gruin, Thomas Carle, Hugues Cassé, Christine Rochange
Speculative Execution and Timing Predictability in an Open Source RISC-V Core
IEEE Real-Time Systems Symposium (RTSS 2021), Dec 2021, Dortmund, Germany. pp.393-404, ⟨10.1109/RTSS52674.2021.00043⟩
Zhenyu Bai, Hugues Cassé, Marianne de Michiel, Thomas Carle, Christine Rochange
Déterminer le WCET d’applications temps-réel en présence de latences d’exécution variables
Conférence francophone d’informatique en Parallélisme, Architecture et Système (COMPAS 2021), CC-IN2P3 – Centre de Calcul de l’IN2P3 (USR6402); LIP – Laboratoire de l’Informatique du Parallélisme (UMR5668), Jul 2021, Lyon (en virtuel), France
Zhenyu Bai, Hugues Cassé, Marianne de Michiel, Thomas Carle, Christine Rochange
Improving the Performance of WCET Analysis in the Presence of Variable Latencies
21st ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), Jun 2020, London, United Kingdom. pp.119-130, ⟨10.1145/3372799.3394371⟩
Wei-Tsun Sun, Hugues Cassé, Christine Rochange, Hamza Rihani, Claire Maiza
Using execution graphs to model a prefetch and write buffers and its application to the Bostan MPPA
9th European Congress on Embedded real time Software and Systems (ERTS 2018), Jan 2018, Toulouse, France
Claire Maiza, Pascal Raymond, Catherine Parent-Vigouroux, Armelle Bonenfant, Fabienne Carrier, Hugues Cassé, Philippe Cuenot, Denis Claraz, Nicolas Halbwachs, Erwan Jahier, Hanbing Li, Marianne de Michiel, Vincent Mussot, Isabelle Puaut, Christine Rochange, Erven Rohou, Jordy Ruiz, Pascal Sotin, Wei-Tsun Sun
The W-SEPT Project: Towards Semantic-Aware WCET Estimation
17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017), Jun 2017, Dubrovnik, Croatia. pp.13, ⟨10.4230/OASIcs.WCET.2017.9⟩
Angeliki Kritikakou, Thibaut Marty, Claire Pagetti, Christine Rochange, Michaël Lauer, Matthieu Roy
Multiplexing Adaptive with Classic AUTOSAR? Adaptive Software Control to Increase Resource Utilization in Mixed-Critical Systems
Workshop CARS 2016 – Critical Automotive applications : Robustness & Safety, Sep 2016, Göteborg, Sweden
Parallel Real-Time Tasks, as viewed by WCET Analysis and Task Scheduling Approaches
16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016) in conjunction with ECRTS, Jul 2016, Toulouse, France
Heiko Falk, Sebastian Altmeyer, Peter Hellinckx, Björn Lisper, Wolfgang Puffitsch, Christine Rochange, Martin Schoeberl, Rasmus Bo Sørensen, Peter Wägemann, Simon Wegener
TACLeBench: A Benchmark Collection to Support Worst-Case Execution Time Research
16th International Workshop on Worst-Case Execution Time Analysis, 2016, Toulouse, France. ⟨10.4230/OASIcs.WCET.2016.2⟩
Arthur Pyka, Pavel G. Zaykov, Hugues Cassé, Haluk Ozaktas, Christine Rochange, Sascha Uhrig
Case study: Performance and WCET analysis for parallelised avionic applications with ODC2
IEEE 13th International Conference on Industrial Informatics (INDIN 2015), IEEE Industrial Electronics Society; Anglia Ruskin University, Jul 2015, Cambridge, UK, United Kingdom. pp.1400–1407, ⟨10.1109/INDIN.2015.7281939⟩
Sebastian Altmeyer, Björn Lisper, Claire Maiza, Jan Reineke, Christine Rochange
WCET and Mixed-criticality: How to Quantify the Confidence in WCET Estimations?
Workshop on Worst-Case Execution Time Analysis, Jul 2015, Lund, Sweden. pp.65–74, ⟨10.4230/OASIcs.WCET.2015.65⟩
Hugues Cassé, Haluk Ozaktas, Christine Rochange
A Framework to Quantify the Overestimations of Static WCET Analysis
15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015), Jul 2015, Lund, Sweden. pp. 1-10
Amira Dkhil, Xuankhanh Do, Stéphane Louise, Christine Rochange
A Hybrid Scheduling Algorithm Based on Self-Timed and Periodic Scheduling for Embedded Streaming Applications
23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2015), Mar 2015, Turku, Finland. pp.711–715, ⟨10.1109/PDP.2015.109⟩
Theo Ungerer, Christian Bradatsch, Martin Frieb, Florian Kluge, Jörg Mische, Alexander Stegmeier, Ralf Jahr, Mike Gerdes, Pavel 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 Quinones, Milos Panic, Jaume Abella, Carles Hernandez, Francisco Cazorla, Sascha Uhrig, Mathias Rohde, Arthur Pyka
Experiences and Results of Parallelisation of Industrial Hard Real-time Applications for the parMERASA Multi-core
3rd Workshop on High-performance and Real-time Embedded Systems (HiRES 2015) in conjunction with HiPEAC 2015, Luís Miguel Pinho, CISTER, Portugal; Eduardo Quiñones, BSC, Spain; Sascha Uhrig, TU Dortmund, Germany, Jan 2015, Amsterdam, Netherlands
Arthur Pyka, Lillian Tadros, Sascha Uhrig, Hugues Cassé, Haluk Ozaktas, Christine Rochange
WCET Analysis of Parallel Benchmarks using On-Demand Coherent Cache
Workshop on High-performance and Real-time Embedded Systems, Jan 2015, Amsterdam, Unknown Region
Angeliki Kritikakou, Claire Pagetti, Matthieu Roy, Christine Rochange, Madeleine Faugère, Sylvain Girbal, Daniel Gracia Pérez
Distributed run-time WCET controller for concurrent critical tasks in mixed-critical systems
22nd International Conference on Real-Time Networks and Systems, Oct 2014, Versailles, France. ⟨10.1145/2659787.2659799⟩
Ralf Jahr, Mike Gerdes, Theo Ungerer, Haluk Ozaktas, Christine Rochange, Pavel Zaykov
Effects of Structured Parallelism by Parallel Design Patterns on Embedded Hard Real-time Systems
IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2014), Aug 2014, Chongqing, China. pp.1–10, ⟨10.1109/RTCSA.2014.6910546⟩
Angeliki Kritikakou, Olivier Baldellon, Claire Pagetti, Christine Rochange, Matthieu Roy
Run-time Control to Increase Task Parallelism in Mixed-Critical Systems
26th Euromicro Conference on Real-Time Systems (ECRTS14), Jul 2014, Madrid, Spain. 11p
Gabriel Fernandez, Jaume Abella, Eduardo Quinones, Christine Rochange, Tullio Vardanega, Francisco J. Cazorla
Contention in Multicore Hardware Shared Resources: Understanding of the State of the Art
14th International Workshop on Worst-Case Execution Time Analysis (WCET 2014), Jul 2014, Madrid, Spain. pp.31-42
Amira Dkhil, Xuankhanh Do, Paul Dubrulle, Stéphane Louise, Christine Rochange
Self-Timed Periodic Scheduling For Cyclo-Static DataFlow Model
Workshop on Architecture, Languages, Compilation and Hardware support for Emerging ManYcore systems – ALCHEMY 2014, Jun 2014, Cairns, Australia. pp.1134–1145, ⟨10.1016/j.procs.2014.05.102⟩
Haluk Ozaktas, Christine Rochange, Pascal Sainrat
Minimizing the Cost of Synchronisations in the WCET of Real-Time Parallel Programs
17th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2014), Jun 2014, Sankt Goar, Germany. pp.98-107, ⟨10.1145/2609248.2609261⟩
Angeliki Kritikakou, Olivier Baldellon, Claire Pagetti, Christine Rochange, Matthieu Roy, Fabian Vargas
Monitoring On-line Timing Information to Support Mixed-Critical Workloads (short paper)
Dans : Real-Time System Symposium (RTSS 2013), Vancouver, 03/12/13-06/12/13, University of Waterloo, (en ligne), 2013.
Accès : http://2013.ieee-rtss.org/wp-content/uploads/2013/11/WiP-proceedings.pdf – https://oatao.univ-toulouse.fr/12756/
BibTeXHajer Herbegue Bouhachem, Hugues Cassé, Mamoun Filali, Christine Rochange
Hardware architecture specification and constraint-based WCET computation (regular paper)
Dans : IEEE International Symposium on Industrial Embedded Systems (SIES 2013), POrto, Portugal, 19/06/13-21/06/13, IEEE : Institute of Electrical and Electronics Engineers, p. 259-268, septembre 2013.
Amira Dkhil, Stéphane Louise, Christine Rochange
Worst-Case Communication Overhead in a Many-Core based Shared-Memory Model (regular paper)
Dans : Junior Researcher Workshop on Real-Time Computing, Nice, 16/10/13-18/10/13, University of Amsterdam, p. 53-56, octobre 2013.
Accès : http://jrwrtc.science.uva.nl – https://oatao.univ-toulouse.fr/12711/
BibTeXAmira Dkhil, Stéphane Louise, Christine Rochange
Worst case latency calculation in Data-Flow programs for clusters of the MPPA Manycore chip (short paper)
Dans : IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2013), Taipei (Taiwan), 19/08/13-21/08/13, University of Mälardalen, (support électronique), août 2013.
Theo Ungerer, Christian Bradatsch, Mike Gerdes, Florian Kluge, Ralf Jahr, Jörg Mische, Joao Fernandes, Zaykov Pavel, Zlatko Petrov, Bert Böddeker, Sebastian Kehr, Hans Regler, Andreas Hugl, Christine Rochange, Haluk Ozaktas, Hugues Cassé, Armelle Bonenfant, Pascal Sainrat, Nick Lay, Ian Broster, David George, Eduardo Quinones, Milos Panic, Francisco Cazorla, Jaume Abella, Sascha Uhrig, Mathias Rohde, Arthur Pyka
parMERASA Multi-Core Execution of Parallelised Hard Real-Time Applications Supporting Analysability (regular paper)
Dans : Euromicro Conference on Digital System Design (DSD 2013), Santander (Spain), 04/09/13-06/09/13, IEEE : Institute of Electrical and Electronics Engineers, p. 363-370, septembre 2013.
Haluk Ozaktas, Christine Rochange, Pascal Sainrat
Automatic WCET Analysis of Real-Time Parallel Applications (regular paper)
Dans : Workshop on Worst-Case Execution Time Analysis, Paris, 09/07/13, OASICs, Dagstuhl Publishing, p. 11-20, juillet 2013.
Roman Bourgade, Christine Rochange, Pascal Sainrat
Predictable Two-Level Bus Arbitration for Heterogeneous Task Sets (regular paper)
Dans : International Conference on Architecture of Computing Systems (ARCS 2012), Prague, 19/02/12-23/02/13, Springer, p. 341-351, février 2013.
Mike Gerdes, Florian Kluge, Christine Rochange, Theo Ungerer
The Split-Phase Synchronisation Technique: Reducing the Pessimism in the WCET Analysis of Parallelised Hard Real-Time Programs (regular paper)
Dans : IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2012), Seoul, Koera, 19/08/12-22/08/12, IEEE : Institute of Electrical and Electronics Engineers, p. 88-97, août 2012.
Florian Kluge, Benoît Triquet, Christine Rochange, Theo Ungerer
Operating Systems for Manycore Processors from the Perspective of Safety-Critical Systems (regular paper)
Dans : International Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT 2012), Pisa, Italy, 10/07/12, The George Washington University, p. 16-20, juillet 2012.
Mike Gerdes, Florian Kluge, Theo Ungerer, Christine Rochange, Pascal Sainrat
Time Analysable Synchronisation Techniques for Parallelised Hard Real-Time Applications (regular paper)
Dans : Design, Automation and Test in Europe (DATE 2012), Dresden, 12/03/12-16/03/12, IEEE : Institute of Electrical and Electronics Engineers, p. 671-676, mars 2012.
Christine Rochange, Pascal Sainrat
Multicores and Critical Systems: Challenges for Temporal Analysability
Dans : SAE AeroTech Congress & Exhibition, Toulouse, 18/10/11-21/10/11.
Claire Maïza, Christine Rochange
A framework for the timing analysis of dynamic branch predictors (regular paper)
Dans : International Conference on Real-Time and Network Systems (RTNS 2011), Nantes, 29/09/11-30/09/11, IRCCyN, p. 65-74, septembre 2011.
Accès : http://www.irit.fr/publis/TRACES/12716_rtns2011.pdf
BibTeXReinhard Von Hanxleden, Niklas Holsti, Björn Lisper, Erhard Ploedereder , Reinhard Wilhelm, Armelle Bonenfant, Hugues Cassé, Sven Bünte, Wolfgang Fellger, Sebastian Gepperth , Jan Gustafsson, Benedikt Huber, Nazrul Mohammad Islam, Daniel Kästner, Raimund Kirner, Laura Kovacs, Felix Krause, Marianne De Michiel, Mads Christian Olesen, Adrian Prantl, Wolfgang Puffitsch , Christine Rochange, Martin Schoeberl , Simon Wegener , Michael Zolda, Jakob Zwirchmayr
WCET Tool Challenge: Report (regular paper)
Dans : Workshop on Worst-Case Execution Time Analysis, Porto, 05/07/11, Politécnico do Porto, p. 104-141, juillet 2011.
Roman Bourgade, Christine Rochange, Pascal Sainrat
Predictable Bus Arbitration Schemes for Heterogeneous Time-Critical Workloads Running on Multicore Processors (short paper)
Dans : Emerging Technologies and Factory Automation (ETFA 2011), Toulouse, 05/09/11-09/09/11, IEEE : Institute of Electrical and Electronics Engineers, p. 1-4, septembre 2011.
Résumé Accès : http://www.irit.fr/publis/TRACES/12619_etfa2011.pdf
BibTeXAn overview of approaches towards the timing analysability of parallel architectures (regular paper)
Dans : Bringing Theory to Practice : workshop at Predictability and Performance in Embedded Systems (PPES 2011), Grenoble, 18/03/11, Philipp Lucas, Lothar Thiele, Benoît Triquet, Theo Ungerer, Reinhard Wilhelm (Eds.), Dagstuhl Research Online Publication Server, p. 31-40, mars 2011.
Accès : http://drops.dagstuhl.de/opus/volltexte/2011/3079/pdf/4.pdf
BibTeXClément Ballabriga, Hugues Cassé, Christine Rochange, Pascal Sainrat
OTAWA: an Open Toolbox for Adaptive WCET Analysis (regular paper)
Dans : IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2010), Waidhofen/Ybbs, Austria, 13/10/10-15/10/10, Springer, p. 35-46, octobre 2010.
Accès : http://www.irit.fr/publis/TRACES/11771_seus2010.pdf
BibTeXChristine Rochange, Armelle Bonenfant, Pascal Sainrat, Mike Gerdes, Julian Wolf, Theo Ungerer, Zlatko Petrov, Frantisek Mikulu
WCET Analysis of a Parallel 3G Multigrid Solver Executed on the MERASA Multi-core (regular paper)
Dans : International Workshop on Worst-Case Execution Time Analysis (WCET 2010), Brussels, 06/07/10, Vol. 268, Björn Lisper (Eds.), Austrian Computer society, p. 92-102, juillet 2010.
Accès : http://www.irit.fr/publis/TRACES/11647_wcet2010.pdf
BibTeXRoman Bourgade, Christine Rochange, Marianne De Michiel, Pascal Sainrat
MBBA: a Multi-Bandwidth Bus Arbiter for hard real-time (regular paper)
Dans : International Conference on Embedded and Multimedia Computing (EMC 2010), Cebu, Philippines, 11/08/10-13/08/10, IEEE : Institute of Electrical and Electronics Engineers, p. 1-8, août 2010 (Best paper).
Accès : http://www.irit.fr/publis/TRACES/11588_emc2010-bourgade-final.pdf
BibTeXJulian Wolf, Mike Gerdes, Sascha Uhrig, Jörg Mische, Florian Kluge, 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 (regular paper)
Dans : International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2010), Carmona, Spain, 05/05/10-06/05/10, IEEE : Institute of Electrical and Electronics Engineers, p. 193-201, mai 2010.
Accès : http://www.irit.fr/publis/TRACES/11376_isorc2010.pdf
BibTeXHugues Cassé, Karine Heydemann, Haluk Ozaktas, Jonathan Ponroy, Christine Rochange, Olivier Zendra
A framework to experiment optimizations for real-time and embedded software (regular paper)
Dans : European Conference on Embedded Real Time Software and Systems (ERTS 2010), Toulouse, 19/05/10-21/05/10, SIA/3AF/SEE, (support électronique), mai 2010.
Accès : http://www.irit.fr/publis/TRACES/11355_ERTS2010_0102_final.pdf
BibTeXHaluk Ozaktas, Karine Heydemann, Christine Rochange, Hugues Cassé
Impact of Code Compression on Estimated Worst-Case Execution Times (regular paper)
Dans : International Conference on Real-Time and Network Systems (RTNS 2009), Paris, 26/09/09-27/10/09, Ecole Centrale d’Electronique (ECE), p. 55-64, octobre 2009.
Accès : http://www.irit.fr/publis/TRACES/10900_rtns09.pdf
BibTeXNiklas 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 Tool Challenge 2008: report
Dans : International Workshop on Worst-Case Execution Time Analysis (WCET 2008), Prague, 01/07/08-01/07/08, Austrian Computer society, p. 149-171, octobre 2008.
Accès : http://www.irit.fr/publis/TRACES/9687_challenge08.pdf
BibTeXRoman Bourgade, Clément Ballabriga, Hugues Cassé, Christine Rochange, Pascal Sainrat
Accurate analysis of memory latencies for WCET estimation (regular paper)
Dans : International Conference on Real-Time and Network Systems (RTNS 2008), Rennes, 16/10/08-17/10/08, IRISA, p. 161-170, octobre 2008.
Accès : http://www.irit.fr/publis/TRACES/9445_rtns08final.pdf
BibTeXJonathan Barre, Christine Rochange, Pascal Sainrat
An Architecture for the Simultaneous Execution of Hard Real-Time Threads
Dans : International Conference on Embedded Computer Systems : Architectures, Modeling, and Simulation (IC-SAMOS 2008), Samos, 21/07/08-24/07/08, IEEE : Institute of Electrical and Electronics Engineers, p. 18-24, juillet 2008.
Accès : http://www.irit.fr/publis/TRACES/9071_samos2008.pdf
BibTeXTahiry Ratsiambahotra, Hugues Cassé, Christine Rochange, Pascal Sainrat
Génération automatique de simulateurs fonctionnels de processeurs
Dans : Symposium sur les Architectures Nouvelles de Machines (SympA 2008), Fribourg, 11/02/08-13/02/08, Ecole d’ingénieurs et d’architectes de Fribourg, (support électronique), février 2008.
Accès : http://hal.archives-ouvertes.fr/action/open_file.php?url=http://hal.archives-ouvertes.fr/docs/00/20/23/28/PDF/RaCaRoSa2008.1.pdf&docid=202328
BibTeXJonathan Barre, Christine Rochange, Pascal Sainrat
Une architecture SMT pour le temps-réel strict
Dans : Symposium sur les Architectures Nouvelles de Machines (SympA 2008), Fribourg, 11/02/08-13/02/08, Ecole d’ingénieurs et d’architectes de Fribourg, (support électronique), février 2008.
Accès : http://www.irit.fr/publis/TRACES/8558_sympa2008.pdf
BibTeXJonathan Barre, Christine Rochange, Pascal Sainrat
A Predictable Simultaneous Multithreading Scheme for Hard Real-Time
Dans : International Conference on Architecture of Computing Systems (ARCS 2008), Dresden, 25/02/08-28/02/08, Springer, LNCS 4934, p. 161-172, février 2008 (Best Paper).
Accès : http://www.irit.fr/publis/TRACES/ARCS08-final.pdf
BibTeXClaire Burguiere, Christine Rochange
On the Complexity of Modelling Dynamic Branch Predictors when Computing Worst-Case Execution Times
Dans : ERCIM/DECOS Workshop on Dependable Embedded Systems, Lübeck, Germany, 28/08/07, ERCIM, (en ligne), septembre 2007.
Résumé Accès : http://www.irit.fr/publis/TRACES/8158_ercim.pdf
BibTeXHugues Cassé, Christine Rochange
OTAWA, Open Tool for Adaptative WCET Analysis
Dans : Design, Automation and Test in Europe (Poster session ‘University Booth’) (DATE 2007), Nice, 17/04/07-19/04/07, DATE, (support électronique), avril 2007.
Résumé Accès : http://www.irit.fr/publis/TRACES/7722_date2007.pdf
BibTeXHugues Cassé, Christine Rochange, Pascal Sainrat
On the sensitivity of WCET estimates to the variability of basic blocks execution times
Dans : International Conference on Real-Time and Network Systems (RTNS 2007), Nancy, 29/03/07-30/03/07, INPL, p. 85-92, mars 2007.
Résumé Accès : http://www.irit.fr/publis/TRACES/7547_rtns07.pdf
BibTeXJonathan Barre, Cédric Landet, Christine Rochange, Pascal Sainrat
Calcul de temps d’exécution pire cas pour un processeur superscalaire à exécution non ordonnée
Dans : Symposium sur les Architectures Nouvelles de Machines (SympA 2006), Perpignan, 04/10/06-06/10/06, Université de Perpignan, p. 1-11, octobre 2006.
Accès : http://www.irit.fr/publis/TRACES/6738_sympa9.pdf
BibTeXClaire Burguiere, Christine Rochange
History-based Schemes and Implicit Path Enumeration
Dans : International Workshop on Worst-Case Execution Time Analysis (WCET 2006), Dresden, 04/07/06, Dagstuhl Research Online Publication Server, (en ligne), juillet 2006.
Résumé Accès : http://www.irit.fr/publis/TRACES/6677_wcet2006.pdf
BibTeXJonathan Barre, Cédric Landet, Christine Rochange, Pascal Sainrat
Modeling Instruction-Level Parallelism for WCET Evaluation
Dans : IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), Sidney, 16/08/06-18/08/06, IEEE : Institute of Electrical and Electronics Engineers, p. 61-67, août 2006.
Résumé Accès : http://www.irit.fr/publis/TRACES/6668_rtcsa06.pdf
BibTeXChristine Rochange, Pascal Sainrat
Code padding to improve the WCET calculability
Dans : International Conference on Real-Time and Network Systems (RTNS 2006), Poitiers, 30/05/06-31/05/06, LISI-ENSMA, p. 159-168, mai 2006.
Résumé Accès : http://www.irit.fr/publis/TRACES/rtns06.pdf
BibTeXClaire Burguiere, Christine Rochange, Pascal Sainrat
A Case for Static Branch Prediction in Real-Time Systems
Dans : 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Hong-Kong, 17/08/05-19/08/05, IEEE, p. 33-38, août 2005.
Résumé Accès : http://www.irit.fr/publis/TRACES/5834_rtcsa.pdf
BibTeXClaire Burguiere, Christine Rochange
Modélisation d’un prédicteur de branchement bimodal dans le calcul du WCET par la méthode IPET
Dans : International Conference on Real-Time Systems (RTS 2005), Paris, 05/04/05-06/04/05, BIRP, p. 192-210, avril 2005.
Résumé Accès : http://www.irit.fr/publis/TRACES/5336_rts05.pdf – http://www.irit.fr/publis/TRACES/5336_rts05-slides.pdf
BibTeXChristine Rochange, Pascal Sainrat
A Time-Predictable Execution Mode for Superscalar Pipelines with Instruction Prescheduling
Dans : ACM International Conference on Computing Frontiers, Ischia, Italy, 04/05/05-06/05/05, ACM : Association for Computing Machinery, p. 307-314, mai 2005.
Résumé Accès : http://www.irit.fr/publis/TRACES/5143_CF05.pdf – http://www.irit.fr/publis/TRACES/5143_slidesCF05.pdf
BibTeXClaire Burguiere, Christine Rochange
A contribution to branch prediction modeling in WCET analysis
Dans : DATE’2005 (Design, Automation and Test in Europe), Munich, 07/03/05-11/03/05, IEEE, p. 612-617, mars 2005.
Accès : http://www.irit.fr/publis/TRACES/4919_date05.ps
BibTeXChristine Rochange, Pascal Sainrat
Vers une prédictibilité temporelle des processeurs haute-performance
Dans : 12th International Conference on Real-Time Systems, Paris, 30/03/04-01/04/04, BIRP, p. 282-300, mars 2004.
Résumé Accès : http://www.irit.fr/publis/TRACES/5338_rts04.pdf
BibTeXHugues Cassé, Christine Rochange, Pascal Sainrat
An Open Framework for WCET Analysis
Dans : IEEE Real-Time Systems Symposium – WIP session, Lisbonne, 05/12/04-07/12/04, IEEE, p. 13-16, décembre 2004.
Towards predictable high-performance processors
Dans : Perspectives Workshop: “Design of Systems with Predictable Behaviour”, Dagstuhl, 17/11/03-19/11/03.
Résumé Accès : http://www.dagstuhl.de/03471/Proceedings/
BibTeXChristine Rochange, Pascal Sainrat
Towards Designing WCET-predictable Processors
Dans : 3rd Workshop on Worst-Case Execution Time Analysis, Porto, 01/07/03, –, p. 87-90, juillet 2003.
Résumé Accès : http://www.irit.fr/publis/TRACES/3840_wcet2003.pdf
BibTeXChristine Rochange, Pascal Sainrat
Difficulties in Computing the WCET for Processors with Speculative Execution
Dans : 2nd Intl. Workshop on Worst Case Execution Time Analysis, Vienne, 18/06/02, University of York, p. 68-71, juin 2002.
Résumé Accès : http://www.irit.fr/publis/TRACES/3292_wcet2002.pdf
BibTeXPhilippe Reynes, Thierry Haquin, Christine Rochange, Pascal Sainrat
Etude préparatoire à la réutilisation de chaînes
Dans : 8ème Symposium en Architectures Nouvelles de Machines (SYMPA’8), Hammamet, Tunisie, 10/04/02-12/04/02, Ecole supérieure des sciences et techniques de Tunis, p. 365-372, avril 2002.
Résumé Accès : http://www.irit.fr/publis/APARA/March/3115.ps.gz
BibTeXThierry Haquin, Philippe Reynes, Christine Rochange, Pascal Sainrat
Optimisations du chargement des instructions
Dans : 8ème Symposium en Architectures Nouvelles de Machines (SYMPA’8), Hammamet, Tunisie, 10/04/02-12/04/02, Ecole Supérieure des Sciences et Techniques de Tunis, p. 257-264, avril 2002.
Résumé Accès : http://www.irit.fr/publis/APARA/March/3114.pdf.gz
BibTeXWissam Hlayhel, Daniel Litaize, Jacques Collet, Christine Rochange, David Parello
Shared Address Bus in SMP Multiprocessors
Dans : 9th Workshop on Scalable Shared-Memory Multiprocessors, Vancouver, .
Wissam Hlayhel, Jacques Collet, Christine Rochange, Daniel Litaize
Pushing Away the Communication Bottleneck with Optical Bus-based Symmetric Multiprocessors
Dans : Optics in Computing, Quebec, Canada, SPIE, Vol. 4089, p. 510-577, juin 2000.
Thierry Haquin, Christine Rochange, Pascal Sainrat
Une extension de la résolution partielle dans les BTBs
Dans : 6ème Symposium sur les Architectures Nouvelles de Machines (SYMPA’6), Besançon, 19/06/00-22/06/00, Université de Besançon, France, p. 77-86, juin 2000.
Carmen Turinici, Christine Rochange, Pascal Sainrat
Prédicteurs mixtes pour l’anticipation des instructions
Dans : 5ème Symposium sur les Architectures Nouvelles de Machines (SYMPA’5), Rennes, 08/06/99-11/06/99, INRIA, p. 165-174, juin 1999.
Christine Rochange, Pascal Sainrat, Louis Féraud, Hugues Cassé
Using Abstract Interpretation Technics for Static Pointer Analysis
Dans : 3rd workshop on Interaction Between Compilers and Computer Architectures (INTERACT’3), San Jose, USA, 03/10/99-07/10/99, Pen-Chung Yew, University of Minnesota, octobre 1999.
Résumé Accès : http://www.irit.fr/publis/APARA/March/A_Interact3.ps.gz
BibTeXCarmen Turinici, Christine Rochange, Pascal Sainrat
Instruction Reuse Based on Dependent Instruction Sequences
Dans : 6th International Symposium on Automatic Control and Computer Engineering (SACCS’98), Iasi, Roumanie, 20/11/98-21/11/98, D. Grigoras, Matrix Rom Publ., Bucharest, p. 134-139, novembre 1998.
Christine Rochange, Pascal Sainrat
Evaluation de performances des processeurs superscalaires
Dans : Colloque Outils et Méthodologies pour l’Architecture des Ordinateurs, Orsay, France, 22/09/98-23/09/98.
H. Pham Tuong, Christine Rochange, Pascal Sainrat, Daniel Litaize
Prédiction de l’adresse des lectures pour tolérer la latence des accès mémoire
Dans : 9èmes Rencontres du Parallélisme (RenPar9), Lausanne, -, p. 181-184, mai 1997.
Résumé Accès : http://www.irit.fr/publis/APARA/March/A_Renpar9.ps.gz
BibTeXH. Pham Tuong, Christine Rochange
Dispositif matériel de préchargement des données dans les caches
Dans : 8èmes Rencontres du parallélisme, Bordeaux, -, p. 201, mai 1996.
Dominique Carrière, Stephan Jourdan, Daniel Litaize, Christine Rochange, Pascal Sainrat
Le parallélisme de données et d¿instructions dans les multiprocesseurs à mémoire commune
Dans : Journées sur le parallélisme de l¿IRIT, Toulouse, .
Daniel Litaize, Christophe Guittenit, Abdelaziz M’zoughi, Christine Rochange, Pascal Sainrat
Serial Multiported Memory used as a cache disk in I/O subsystems
Dans : Fourth Workshop on Scalable Shared-Memory Multiprocessors, Chicago, .
M3S : un multiprocesseur évolutif – premiers résultats de simulation
Dans : 6èmes Rencontres du Parallélisme, Lyon, -, p. 237-240, janvier 1994.
Daniel Litaize, Dominique Carrière, Abdelaziz M’zoughi, Christine Rochange, Pascal Sainrat
Using Ultra High-Speed Serial Links in Shared-Memory Multiprocessors
Dans : Open Bus Systems ’94, Paris, VITA, p. 103-110, janvier 1994.
Daniel Litaize, Dominique Carrière, Abdelaziz M’zoughi, Christine Rochange, Pascal Sainrat
Le module mémoire et la liaison série du multiprocesseur M3S
Dans : Forum des recherches en informatique, Palaiseau, .
Christine Rochange, Pascal Sainrat
Evaluation du multiprocesseur M3S par analyse de la valeur moyenne
Dans : Journée des jeunes chercheurs en systèmes à mémoire logiquement partagée, Toulouse, .
Daniel Litaize, Abdelaziz M’zoughi, Pascal Sainrat, Dominique Carrière, Christine Rochange
Projet M3S : multiprocesseur à mémoire multiport série
Dans : Journées ¿Modèles d¿exécution et architectures parallèles¿ ; PRC-ANM, Rennes, .
Dominique Carrière, Daniel Litaize, Abdelaziz M’zoughi, Christine Rochange, Pascal Sainrat
Update on the M3S project
Dans : 3rd Workshop on Scalable Shared-Memory Multiprocessors, San Diego, .
Christine Rochange, Pascal Sainrat, Daniel Litaize
Performance of M3S for the SOR algorithm
Dans : Conference on Parallel ARchitectures and Languages Europe (PARLE), Munich, Springer, p. 676-679, juin 1993.
Christine Rochange, Daniel Litaize
Throughput Analysis of M3S : a serial multiported-memory multiprocessor
Dans : Supercomputing, Minneapolis, IEEE, novembre 1992.
Christine Rochange, Daniel Litaize
Experiments about the processor-memory interface in the M3S project
Dans : 10th International Conference on Applied Informatics, Innsbruck, -, p. 53-56, février 1992.
Daniel Litaize, Abdelaziz M’zoughi, Christine Rochange, Pascal Sainrat
La liaison série à ultra haut débit : une (la?) solution pour les liaisons inter-modules en environnement multiprocesseur
Dans : Colloque “Technologies Matérielles Futures pour l’ordinateur”, Paris, .
Daniel Litaize, Abdelaziz M’zoughi, Christine Rochange, Pascal Sainrat
Towards a shared-memory massively parallel multiprocessor
Dans : IEEE International Symposium on Computer Architecture, Gold Coast, Australie, IEEE, p. 70-79, mai 1992.
Dominique Carrière, Daniel Litaize, Christine Rochange, Pascal Sainrat
Design of the memory plane of the M3S project
Dans : International Workshop on Field-Programmable Logic and Applications, Vienne, University of Kaiserslautern, septembre 1992.
Daniel Litaize, Abdelaziz M’zoughi, Christine Rochange, Pascal Sainrat
The design of the M3S project : a Multiported Shared Memory Multiprocessor
Dans : Supercomputing, Minneapolis, IEEE, p. 326-335, novembre 1992.
Daniel Litaize, Omar Hammami, Abdelaziz M’zoughi, Christine Rochange, Pascal Sainrat
Multiprocesseur massivement parallèle à mémoire multiport série
Dans : Troisième symposium sur les Architectures Nouvelles de Machines, Palaiseau, .
Daniel Litaize, Omar Hammami, Abdelaziz M’zoughi, Christine Rochange, Pascal Sainrat
Project M3S : How serial links are well suited for scalability
Dans : Second Workshop on Scalable Shared Memory Multiprocessors, Toronto, .
Claire Maïza, Pascal Raymond, Christine Rochange
Estimation de temps d’exécution et délais
Chetto, Maryline. Ordonnancement dans les Systèmes Temps Réel, Chapter 13, ISTE editions, pp.365–391, 2014, 978-1784050399
Claire Maïza, Pascal Raymond, Christine Rochange
Estimation of Execution Time and Delays
Chetto, Maryline. Real‐Time Systems Scheduling 1: Fundamentals, Chapter 5, ISTE – WILEY, pp.193–230, 2014, 978-1848216655. ⟨10.1002/9781118984413.ch5⟩
Christine Rochange, Pascal Sainrat
Architecture des machines
Dans : Encyclopédie de l’informatique et des systèmes d’information. Jacky Akoka, Isabelle Comyn-Wattiau (Eds.) , Vuibert, p. 147-159, novembre 2006.
Daniel Litaize, Abdelaziz M’zoughi, Christine Rochange, Pascal Sainrat
Architecture of Parallel and Distributed Systems
Dans : Handbook in Information Systems, volume 5: Handbook on Parallel and Distributed Processing. J. Blazewicz, K. Ecker, B. Plateau, D. Trystram (Eds.) , Springer-Verlag, p. 166-221, International Handbooks on Information Systems, 1999.
Daniel Litaize, Omar Hammami, Abdelaziz M’zoughi, Christine Rochange, Pascal Sainrat
La liaison série à ultra haut débit : une (la?) solution pour les liaisons inter-modules en environnement multiprocesseur
Dans : Technologies Matérielles Futures pour l’ordinateur. – – (Eds.) , Frontières, Paris, p. 167-177, 1991.
Prévisibilité des temps d’exécution pire-cas
Habilitation à diriger des recherches, Université de Toulouse, novembre 2011.
Evaluation des performances d’architectures multiprocesseurs à mémoire logiquement partagée
Thèse de doctorat, Université Paul Sabatier, décembre 1993.
Christine Rochange, Sascha Uhrig, Pascal Sainrat
Time-Predictable Architectures, ISTE – WILEY, novembre 2013.
James Hampton Anderson, Christine Rochange
The International Journal of Time-Critical Computing Systems – Special Issue: Optimization of Real-Time Systems (2014)
Real-Time Systems, 50 (3), 2014, Real-Time Systems:
David Defour, Bernard Goossens, Christine Rochange
Architecture des ordinateurs
Dans : Technique et Science Informatiques, Hermès Science, Vol. 27 N. 6, juin 2008.
Mohamed Kaâniche, Philippe Cuenot, Kevin Delmas, Jean Marc Gabriel, Adrien Gauffriau, Christophe Grand, Eric Jenn, Christine Rochange, Marie de Roquemaurel
ERTS 2024 – 12th European Congress on Embedded Real Time Software and Systems
12th European Congress on Embedded Real Time Software and Systems (ERTS 2024), pp.1–489, 2024
James H. Anderson, Christine Rochange
20th Int’l Conf. on Real-Time Systems and Networks, Pont-à-Mousson, 08/11/12 – 09/11/12, ACM Digital Library, novembre 2012.
7th International Workshop on Worst-Case Execution Time Analysis, Pisa, Italy, 03/07/07, IRIT, septembre 2007.
Accès : http://www.irit.fr/wcet2007
BibTeX
Hugues Cassé, Jacques Collet, Yves Crouzet, Christine Rochange, Pascal Sainrat
Maîtriser les temps d’exécution
Vulgarisation. novembre 2007.
Résumé Accès : http://www.ups-tlse.fr/servlet/com.univ.collaboratif.utils.LectureFichiergw?CODE_FICHIER=1196687680965&ID_FICHE=5217
BibTeXChristine Rochange, Pascal Sainrat, Daniel Litaize
M3S : A Scalable Multiprocessor
Diffusion scientifique. février 1994. TCCA newsletter, IEEE