IRIT - UMR 5505

Partenaires

Menu

• Présentation
  • Le mot du directeur
  • Organigramme
  • Conseils, comité d’évaluation
  • L’IRIT en chiffres
    • Personnel
    • Publications
  • Coordonnées, plans d’accès
• Axes stratégiques
  • Systèmes embarqués critiques
  • Systèmes informatiques pour la santé et l’autonomie
  • Masses de données et calcul
    • Séminaires
  • Systèmes SocioTechniques Ambiants
    • Thématiques
    • Equipes
    • Projets
    • Thèses
    • Laboratoires et industriels en lien avec la thématique
    • Evénements
    • News
    • SSTApwd
• Thèmes de recherche
  • Thème 1 - Analyse et synthèse de l’information
    • Equipe SAMoVA
    • Equipe SC
    • Equipe TCI
    • Equipe VORTEX
  • Thème 2 - Indexation et recherche d’informations
    • Equipe PYRAMIDE
    • Équipe SIG
  • Thème 3 - Interaction, Coopération, Adaptation paR l’Expérimentation (ICARE)
    • Equipe ELIPSE
    • Equipe SMAC
  • Thème 4 - Raisonnement et décision
    • Equipe ADRIA
    • Equipe LILaC
    • Equipe MELODI
  • Thème 5 - Modélisation, algorithmes et calcul haute performance
    • Equipe APO
  • Thème 6 - Architecture, systèmes et réseaux
    • Equipe IRT
    • Equipe SEPIA
    • Equipe SIERA
    • Equipe T2RS
    • Equipe TRACES
  • Thème 7 - Sûreté de développement du logiciel
    • Equipe ACADIE
    • Equipe ICS
    • Equipe MACAO
• Structures de recherches communes
  • Coopération AIRSYS
  • Laboratoire AUTODIAG
  • Programme FREMIT
  • Laboratoire ILIKS
  • Laboratoire LACII
  • Laboratoire Européen Associé (LEA) LIRP
• Projets, collaborations
  • Actions transversales
    • Groupes de travail
    • Plates-formes
    • Projets
  • Projets en cours
    • Projets ANR (Agence Nationale de la Recherche)
    • Projets européens
  • Collaborations internationales
    • Carte des relations internationales
    • Consultation de la base des relations internationales
• Evénements
  • Agenda
  • Congrès, séminaires, écoles, thèses, habilitations
    • Congrès, workshops, conférences, écoles
    • Séminaires
    • Thèses et habilitations
    • Archives
    • Rencontres Recherche-Industrie
  • Journal "noir sur blanc"
• Logiciels diffusés
• Publications
• Service documentation

Rechercher

Navigation

Publications

Rochange Christine

 Pour une recherche plus ciblée, utiliser l'interface d'interrogation de la base des publications de l'IRIT.
For an advanced search, please use the IRIT's publications database form.

• Livres / Books
• Ouvrages de synthèse / Books edition
• Numéros spéciaux de revues / Special issues of journals
• Actes de conférences et de workshops / Conferences proceedings
• Articles de revues internationales / International journals articles
• Articles de revues nationales / National journals articles
• Contributions à des ouvrages de synthèse / Books parts
• Conférences et workshops internationaux / International conferences articles
• Conférences et workshops nationaux / National conferences articles
• Conférences sans actes publiés / Conferences articles without published proceedings
• Rapports / Reports
• Thèses et habilitations / Thesis and HDR
• Autres types de publications / Other publications

Numéros spéciaux de revues / Special issues of journals

• David Defour, Bernard Goossens, Christine Rochange. Architecture des ordinateurs. Dans : Technique et Science Informatiques, Hermès Science, Vol. 27 N. 6, juin 2008.
  BibTeX

Actes de conférences et de workshops / Conferences proceedings

• James H. Anderson, Christine Rochange. 20th Int'l Conf. on Real-Time Systems and Networks, Pont-à-Mousson, 08/11/2012 - 09/11/2012, ACM DL, novembre 2012.
  Accès : http://dl.acm.org/citation.cfm?id=2392987
  BibTeX

• Christine Rochange. 7th International Workshop on Worst-Case Execution Time Analysis, Pisa, Italy, 03/07/2007, IRIT, septembre 2007.
  Accès : http://www.irit.fr/wcet2007
  BibTeX

Articles de revues internationales / International journals articles

• 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. Dans : ACM Transactions on Embedded Systems, ACM, 2013 (à paraître).
  BibTeX

• 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.
  BibTeX

• 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, Numéro spécial European Multicore Processing Projects, Vol. 30 N. 5, p. 66-75, septembre 2010.
  BibTeX

• 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, 2007.
  Résumé Accès : http://www.hipeac.net/journal
  BibTeX

• 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.
  Résumé
  BibTeX

• 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
  BibTeX

Articles de revues nationales / National journals articles

• Jonathan Barre, Christine Rochange, Pascal Sainrat. Architecture d’un processeur multiflot orienté temps-réel. Dans : Technique et Science Informatiques, Hermès Science, Numéro spécial SympA'08, Vol. 29, N. 2, p. 157-178, février 2010.
  BibTeX

• 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.
  Résumé
  BibTeX

• 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.
  BibTeX

• 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.
  BibTeX

• 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.
  Résumé
  BibTeX

• Christine 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.
  Résumé
  BibTeX

• Christine Rochange. 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.
  BibTeX

• 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.
  BibTeX

Contributions à des ouvrages de synthèse / Books parts

• 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.
  BibTeX

• 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.
  Résumé
  BibTeX

• 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.
  BibTeX

Conférences et workshops internationaux / International conferences articles

• 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/2012-23/02/2013, Springer, p. 341-351, février 2013.
  BibTeX

• 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/2012-22/08/2012, IEEE, p. 88-97, août 2012.
  BibTeX

• 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/2012, The George Washington University, p. 16-20, juillet 2012.
  BibTeX

• 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/2012-16/03/2012, IEEE, p. 671-676, mars 2012.
  BibTeX

• 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/2011-30/09/2011, IRCCyN, p. 65-74, septembre 2011.
  Accès : http://www.irit.fr/publis/TRACES/12716_rtns2011.pdf
  BibTeX

• Reinhard 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/2011, Politécnico do Porto, p. 104-141, juillet 2011.
  BibTeX

• 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/2011-09/09/2011, IEEE, p. 1-4, septembre 2011.
  Résumé Accès : http://www.irit.fr/publis/TRACES/12619_etfa2011.pdf
  BibTeX

• Christine Rochange. An 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/2011, 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
  BibTeX

• Clé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/2010-15/10/2010, Springer, p. 35-46, octobre 2010.
  Accès : http://www.irit.fr/publis/TRACES/11771_seus2010.pdf
  BibTeX

• Christine 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/2010, 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
  BibTeX

• Roman 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/2010-13/08/2010, IEEE, p. 1-8, août 2010 (Best paper).
  Accès : http://www.irit.fr/publis/TRACES/11588_emc2010-bourgade-final.pdf
  BibTeX

• Julian 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/2010-06/05/2010, IEEE, p. 193-201, mai 2010.
  Accès : http://www.irit.fr/publis/TRACES/11376_isorc2010.pdf
  BibTeX

• Hugues 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 : International Conference on Embedded Real Time Software and Systems (ERTS2 2010), Toulouse, 19/05/2010-21/05/2010, SIA/3AF/SEE, (support électronique), mai 2010.
  Accès : http://www.irit.fr/publis/TRACES/11355_ERTS2010_0102_final.pdf
  BibTeX

• Haluk 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/2009-27/10/2009, Ecole Centrale d'Electronique (ECE), p. 55-64, octobre 2009.
  Accès : http://www.irit.fr/publis/TRACES/10900_rtns09.pdf
  BibTeX

• 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 Tool Challenge 2008: report. Dans : International Workshop on Worst-Case Execution Time Analysis (WCET 2008), Prague, 01/07/2008-01/07/2008, Austrian Computer society, p. 149-171, octobre 2008.
  Accès : http://www.irit.fr/publis/TRACES/9687_challenge08.pdf
  BibTeX

• Roman 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/2008-17/10/2008, IRISA, p. 161-170, octobre 2008.
  Accès : http://www.irit.fr/publis/TRACES/9445_rtns08final.pdf
  BibTeX

• Jonathan 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/2008-24/07/2008, IEEE, p. 18-24, juillet 2008.
  Accès : http://www.irit.fr/publis/TRACES/9071_samos2008.pdf
  BibTeX

• Jonathan Barre, Christine Rochange, Pascal Sainrat. A Predictable Simultaneous Multithreading Scheme for Hard Real-Time. Dans : International Conference on Architecture of Computing Systems, Dresden, 25/02/2008-28/02/2008, Springer, LNCS 4934, p. 161-172, février 2008 (Best Paper).
  Accès : http://www.irit.fr/publis/TRACES/ARCS08-final.pdf
  BibTeX

• Claire 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/2007, ERCIM, (en ligne), septembre 2007.
  Résumé Accès : http://www.irit.fr/publis/TRACES/8158_ercim.pdf
  BibTeX

• Hugues 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/2007-19/04/2007, DATE, (support électronique), avril 2007.
  Résumé Accès : http://www.irit.fr/publis/TRACES/7722_date2007.pdf
  BibTeX

• Hugues 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/2007-30/03/2007, INPL, p. 85-92, mars 2007.
  Résumé Accès : http://www.irit.fr/publis/TRACES/7547_rtns07.pdf
  BibTeX

• Claire Burguiere, Christine Rochange. History-based Schemes and Implicit Path Enumeration. Dans : International Workshop on Worst-Case Execution Time Analysis (WCET 2006), Dresden, 04/07/2006, Dagstuhl Research Online Publication Server, (en ligne), juillet 2006.
  Résumé Accès : http://www.irit.fr/publis/TRACES/6677_wcet2006.pdf
  BibTeX

• Jonathan 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/2006-18/08/2006, IEEE, p. 61-67, août 2006.
  Résumé Accès : http://www.irit.fr/publis/TRACES/6668_rtcsa06.pdf
  BibTeX

• Christine Rochange, Pascal Sainrat. Code padding to improve the WCET calculability. Dans : International Conference on Real-Time and Network Systems (RTNS 2006), Poitiers, 30/05/2006-31/05/2006, LISI-ENSMA, p. 159-168, mai 2006.
  Résumé Accès : http://www.irit.fr/publis/TRACES/rtns06.pdf
  BibTeX

• Claire 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/2005-19/08/2005, IEEE, p. 33-38, août 2005.
  Résumé Accès : http://www.irit.fr/publis/TRACES/5834_rtcsa.pdf
  BibTeX

• Claire 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/2005-06/04/2005, 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
  BibTeX

• Christine 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/2005-06/05/2005, ACM, 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
  BibTeX

• Claire Burguiere, Christine Rochange. A contribution to branch prediction modeling in WCET analysis. Dans : DATE'2005 (Design, Automation and Test in Europe), Munich, 07/03/2005-11/03/2005, IEEE, p. 612-617, mars 2005.
  Accès : http://www.irit.fr/publis/TRACES/4919_date05.ps
  BibTeX

• Christine Rochange, Pascal Sainrat. Vers une prédictibilité temporelle des processeurs haute-performance. Dans : 12th International Conference on Real-Time Systems, Paris, 30/03/2004-01/04/2004, BIRP, p. 282-300, mars 2004.
  Résumé Accès : http://www.irit.fr/publis/TRACES/5338_rts04.pdf
  BibTeX

• Hugues Cassé, Christine Rochange, Pascal Sainrat. An Open Framework for WCET Analysis. Dans : IEEE Real-Time Systems Symposium - WIP session, Lisbonne, 05/12/2004-07/12/2004, IEEE, p. 13-16, décembre 2004.
  Résumé
  BibTeX

• Christine Rochange, Pascal Sainrat. Towards Designing WCET-predictable Processors. Dans : 3rd Workshop on Worst-Case Execution Time Analysis, Porto, 01/07/2003, --, p. 87-90, juillet 2003.
  Résumé Accès : http://www.irit.fr/publis/TRACES/3840_wcet2003.pdf
  BibTeX

• Christine 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/2002, University of York, p. 68-71, juin 2002.
  Résumé Accès : http://www.irit.fr/publis/TRACES/3292_wcet2002.pdf
  BibTeX

• 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.
  BibTeX

• 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/1999-07/10/1999, Pen-Chung Yew, University of Minnesota, octobre 1999.
  Résumé Accès : http://www.irit.fr/publis/APARA/March/A_Interact3.ps.gz
  BibTeX

• Carmen 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/1998-21/11/1998, D. Grigoras, Matrix Rom Publ., Bucharest, p. 134-139, novembre 1998.
  Résumé
  BibTeX

• 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.
  Résumé
  BibTeX

• 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.
  BibTeX

• Christine Rochange, Daniel Litaize. Throughput Analysis of M3S : a serial multiported-memory multiprocessor. Dans : Supercomputing, Minneapolis, IEEE, novembre 1992.
  BibTeX

• 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.
  BibTeX

• 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.
  BibTeX

• 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.
  BibTeX

• 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.
  BibTeX

Conférences et workshops nationaux / National conferences articles

• Tahiry 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/2008-13/02/2008, 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
  BibTeX

• Jonathan 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/2008-13/02/2008, 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
  BibTeX

• Jonathan 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/2006-06/10/2006, Université de Perpignan, p. 1-11, octobre 2006.
  Accès : http://www.irit.fr/publis/TRACES/6738_sympa9.pdf
  BibTeX

• Philippe 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/2002-12/04/2002, 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
  BibTeX

• Thierry 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/2002-12/04/2002, 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
  BibTeX

• 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/2000-22/06/2000, Université de Besançon, France, p. 77-86, juin 2000.
  Résumé
  BibTeX

• 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/1999-11/06/1999, INRIA, p. 165-174, juin 1999.
  Résumé
  BibTeX

• 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
  BibTeX

• H. 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.
  Résumé
  BibTeX

• Christine Rochange. M3S : un multiprocesseur évolutif - premiers résultats de simulation. Dans : 6èmes Rencontres du Parallélisme, Lyon, -, p. 237-240, janvier 1994.
  BibTeX

Conférences sans actes publiés / Conference articles without published proceedings

• Christine Rochange, Pascal Sainrat. Multicores and Critical Systems: Challenges for Temporal Analysability. Dans : SAE AeroTech Congress & Exhibition, Toulouse, 18/10/2011-21/10/2011.
  BibTeX

• Christine Rochange. Towards predictable high-performance processors. Dans : Perspectives Workshop: "Design of Systems with Predictable Behaviour", Dagstuhl, 17/11/2003-19/11/2003.
  Résumé Accès : http://www.dagstuhl.de/03471/Proceedings/
  BibTeX

• Wissam Hlayhel, Daniel Litaize, Jacques Collet, Christine Rochange, David Parello. Shared Address Bus in SMP Multiprocessors. Dans : 9th Workshop on Scalable Shared-Memory Multiprocessors, Vancouver, .
  BibTeX

• 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/1998-23/09/1998.
  BibTeX

• 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, .
  BibTeX

• 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, .
  BibTeX

• 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, .
  BibTeX

• 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, .
  BibTeX

• 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, .
  BibTeX

• 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, .
  BibTeX

• 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, .
  BibTeX

• 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, .
  BibTeX

• 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, .
  BibTeX

Rapports / Reports

• Roman Bourgade, Christine Rochange, Pascal Sainrat. Predictable Bus Arbitration Schemes for Heterogeneous Time-Critical Workloads Running on Multicore Processors. Rapport de recherche, IRIT/RR--2011-19--FR, IRIT, juillet 2011.
  Accès : http://www.irit.fr/publis/TRACES/bourgade-report.pdf
  BibTeX

• Claire Maïza, Christine Rochange. A framework for the timing analysis of dynamic branch predictors. Rapport de recherche, IRIT/RR--2011-12--FR, IRIT, mai 2011.
  Accès : http://www.irit.fr/publis/TRACES/tech_report_IRIT-RR-2011-12.pdf
  BibTeX

• Armelle Bonenfant, Ian Broster, Clément Ballabriga, Guillem Bernat, Hugues Cassé, Michael Houston, Nicholas Merriam, Marianne de Michiel, Christine Rochange, Pascal Sainrat. Coding guidelines for WCET analysis using measurement-based and static analysis techniques. Rapport de recherche, IRIT/RR--2010-8--FR, IRIT, mars 2010.
  Accès : http://www.irit.fr/publis/TRACES/IRIT-RR--2010-8--FR.pdf
  BibTeX

• Claire Burguiere, Christine Rochange. Analysing branch mispredictions related to algorithmic constructs. Rapport de recherche, IRIT-2005-12-R, IRIT, avril 2005.
  Accès : http://www.irit.fr/publis/TRACES/5730_2005-12-R.ps
  BibTeX

• Christine Rochange, Pascal Sainrat. Dissecting Execution Traces to Understand Long Timing Effects. Rapport de recherche, IRIT-2005-6-R, IRIT, février 2005.
  Accès : http://www.irit.fr/publis/TRACES/5729_2005-6-R.pdf
  BibTeX

• Claire Burguiere, Christine Rochange. Analyse statique des erreurs de prédiction de branchement. Rapport de recherche, 2004-27-R, IRIT, septembre 2004.
  Résumé Accès : http://www.irit.fr/publis/TRACES/4906_2004-27-R.ps
  BibTeX

• Christine Rochange, Pascal Sainrat. Regulating the instruction flow to make the processor pipeline time-predictable. Rapport de recherche, IRIT/2004-10-R, IRIT, avril 2004.
  Résumé
  BibTeX

• Marc Finet, Christine Rochange, Pascal Sainrat. GEP 1.0 - Générateur d'émulateurs de processeurs - Manuel de référence. Rapport de recherche, 2002-40-R, IRIT, décembre 2002.
  Résumé
  BibTeX

• Nathalie Drach, Christine Rochange, Pascal Sainrat, Olivier Temam. Bibliothèque de simulation de processeurs : état d'avancement. Rapport de contrat, 1, IRIT, 2002.
  BibTeX

• Antoine Colin, Isabelle Puaut, Christine Rochange, Pascal Sainrat. Calcul de majorants de pire temps d'exécution : état de l'art. Rapport de recherche, 2002-15-R et PI1461, IRIT et IRISA, Université Paul Sabatier, Toulouse et université Rennes II, mai 2002.
  Résumé Accès : http://www.irit.fr/publis/APARA/March/3196.pdf.gz
  BibTeX

• Pascal Sainrat, Christine Rochange. Principe de fonctionnement des architectures superscalaires. Rapport de contrat, T/INF/PATER/012DTE1.0, Réalix Technologies & Aérospatiale, mai 2000.
  BibTeX

• Pascal Sainrat, Christine Rochange. Choix d'un processeur superscalaire pour le temps réel. Rapport de contrat, T/INF/PATER/018DTE1.0, Réalix Technologies & Aérospatiale, août 2000.
  BibTeX

• Christine Rochange, Pascal Sainrat. Déterminisme et mécanismes des processeurs superscalaires. Rapport de contrat, T/INF/PATER/016DTE1.0, Réalix Technologies & Aérospatiale, juillet 2000.
  BibTeX

• 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émoires/Prediction of addresses for speculating loads. Rapport de recherche, 97-09, IRIT, février 1997.
  Accès : http://www.irit.fr/publis/APARA/March/R_IRIT_97_09.ps.gz
  BibTeX

• H. Pham Tuong, Christine Rochange. Low-Cost Stride-Directed Hardware Data Prefetching. Rapport de recherche, 96-13-R, IRIT, avril 1996.
  BibTeX

• Daniel Litaize, Dominique Carrière, Abdelaziz M'zoughi, Christine Rochange, Pascal Sainrat. Evaluations, applications des liaisons série à haut débit - Rapport final pour la région Midi-Pyrénées. Rapport de recherche, 9300422, IRIT, juin 1994.
  BibTeX

• Christine Rochange. Techniques matérielles d'anticipation des accès à la mémoire en environnement monoprocesseur. Rapport de recherche, 94-11-R, IRIT, 1994.
  BibTeX

• Christine Rochange. Mean-Value Analysis of M3S. Rapport de recherche, 94-04-R, IRIT, 1994.
  BibTeX

• Daniel Litaize, Dominique Carrière, Abdelaziz M'zoughi, Christine Rochange, Pascal Sainrat. Rapport final du projet M3S pour la région Midi-Pyrénées. Rapport de contrat, -, IRIT, juin 1993.
  BibTeX

• Christine Rochange, Pascal Sainrat. Approcher VHDL et utiliser VDS. Rapport de recherche, 92-27-R, IRIT, 1992.
  BibTeX

Thèses et habilitations / Thesis and HDR

• Christine Rochange. Prévisibilité des temps d'exécution pire-cas. Habilitation à diriger des recherches, Université de Toulouse, novembre 2011.
  BibTeX

• Christine Rochange. Evaluation des performances d'architectures multiprocesseurs à mémoire logiquement partagée. Thèse de doctorat, Université Paul Sabatier, décembre 1993.
  BibTeX

Autres types de publications / Other publications

• 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
  BibTeX

• Christine Rochange, Pascal Sainrat, Daniel Litaize. M3S : A Scalable Multiprocessor. Diffusion scientifique. février 1994. TCCA newsletter, IEEE
  BibTeX