Isabelle Puaut

81
Documents

Publications

Publications

Deposit thumbnail

Automatic Extraction of Timing Models for WCET Estimation From a High-Level Synthesis Flow

Thomas Feuilletin , Dylan Leothaud , Simon Rokicki , Steven Derrien , Isabelle Puaut

DATE 2026 - Design, Automation and Test in Europe Conference, Apr 2026, Verona, Italy

Communication dans un congrès hal-05365718v1
Deposit thumbnail

Collaborative Action on Timing InterferenCes: Summary and Perspectives at Mid-term

Claire Maiza , Lionel Rieg , Jean-Luc Béchennec , Mihail Asavoae , Dominique Blouin et al.

Embedded Real-Time Systems (ERTS) 2026, Feb 2026, Toulouse, France. ⟨10.82331/ERTS.2026.27⟩

Communication dans un congrès hal-05465745v1
Deposit thumbnail

Area Efficient Speculative Loop Pipelining for High-Level Synthesis

Dylan Leothaud , Simon Rokicki , Steven Derrien , Isabelle Puaut

DATE 2026 - Design, Automation and Test in Europe Conference, Apr 2026, Verona, Italy

Communication dans un congrès hal-05365717v2
Deposit thumbnail

Nothing is Unreachable: Automated Synthesis of Robust Code-Reuse Gadget Chains for Arbitrary Exploitation Primitives

Nicolas Bailluet , Emmanuel Fleury , Isabelle Puaut , Erven Rohou

USENIX Security 2025 - 34th USENIX Security Symposium, Aug 2025, Seattle, WA, United States. pp.1-18

Communication dans un congrès hal-05193528v1
Deposit thumbnail

Circadia: Checkpointing for Intermittent Computing in AI Driven Applications

Matthieu Rodet , Jean-Luc Béchennec , Mikaël Briday , Sébastien Faucou , Isabelle Puaut et al.

DSD 2025 - 28th Euromicro Conference on Digital System Design, Sep 2025, Salerno, Italy. pp.1-10, ⟨10.1109/DSD67783.2025.00091⟩

Communication dans un congrès hal-05340384v1
Deposit thumbnail

EarlyBird: Energy belongs to those who wake up early

Hugo Reymond , Jean-Luc Béchennec , Mikaël Briday , Sébastien Faucou , Isabelle Puaut et al.

RTCSA 2024 - 30th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Aug 2024, Sokcho, South Korea. pp.1-10, ⟨10.1109/RTCSA62462.2024.00011⟩

Communication dans un congrès hal-04663862v1
Deposit thumbnail

WORTEX: Worst-Case Execution Time and Energy Estimation in Low-Power Microprocessors using Explainable ML

Hugo Reymond , Abderaouf Nassim Amalou , Isabelle Puaut

WCET 2024 - 22nd International Workshop on Worst-Case Execution Time Analysis, Thomas Carle, Jul 2024, Lille, France. pp.1:1-1:14, ⟨10.4230/OASIcs.WCET.2024.1⟩

Communication dans un congrès hal-04646477v1
Deposit thumbnail

Marmot: Extraction of Fine-Grain Memory Access Profiles for real-time software

Hector Chabot , Isabelle Puaut , Thomas Carle , Hugues Cassé

RTNS 2024: The 32nd International Conference on Real-Time Networks and Systems, Nov 2024, Porto, Portugal. pp.117-141, ⟨10.1145/3696355.3696360⟩

Communication dans un congrès hal-04782265v1
Deposit thumbnail

Fast and Accurate Context-Aware Basic Block Timing Prediction using Transformers

Abderaouf Nassim Amalou , Elisa Fromont , Isabelle Puaut

CC 2024 - ACM SIGPLAN 33rd International Conference on Compiler Construction, Gabriel Rodríguez, Mar 2024, Edimbourg, United Kingdom. pp.227-237, ⟨10.1145/3640537.3641572⟩

Communication dans un congrès hal-04406073v2
Deposit thumbnail

SCHEMATIC: Compile-time checkpoint placement and memory allocation for intermittent systems

Hugo Reymond , Jean-Luc Béchennec , Mikaël Briday , Sébastien Faucou , Isabelle Puaut et al.

IEEE/ACM International Symposium on Code Generation and Optimization (CGO'24), Mar 2024, Edinburgh, United Kingdom. pp.258-269, ⟨10.1109/CGO57630.2024.10444789⟩

Communication dans un congrès hal-04345348v2
Deposit thumbnail

CATREEN : Context-Aware Code Timing Estimation with Stacked Recurrent Networks

Abderaouf Amalou , Elisa Fromont , Isabelle Puaut

ICTAI 2022 - 34th IEEE International Conference on Tools with Artificial Intelligence, Oct 2022, Virtually, China. pp.1-6, ⟨10.1109/ICTAI56018.2022.00090⟩

Communication dans un congrès hal-03890057v2
Deposit thumbnail

CAWET: Context-Aware Worst-Case Execution Time Estimation Using Transformers

Abderaouf N Amalou , Elisa Fromont , Isabelle Puaut

ECRTS 2023 - 35th Euromicro Conference on Real-Time Systems, Jul 2023, Vienne, Austria. pp.7:1--7:20, ⟨10.4230/LIPIcs.ECRTS.2023.7⟩

Communication dans un congrès hal-04148587v1
Deposit thumbnail

StAMP: Static Analysis of Memory access Profiles for real-time tasks

Théo Degioanni , Isabelle Puaut

WCET 2022 - 20th International Workshop on Worst-Case Execution Time Analysis, Jul 2022, Modena, Italy. ⟨10.4230/OASIcs.WCET.2022.1⟩

Communication dans un congrès hal-03723457v1
Deposit thumbnail

Winston: Revisiting iterative compilation for WCET minimization

Valentin Pasquale , Isabelle Puaut

RTNS 2022 - 30th International Conference on Real-Time Networks and Systems, Jun 2022, Paris, France. pp.1-11, ⟨10.1145/3534879.3534899⟩

Communication dans un congrès hal-03673668v1
Deposit thumbnail

RT-DFI: Optimizing Data-Flow Integrity for Real-Time Systems

Nicolas Bellec , Guillaume Hiet , Simon Rokicki , Frédéric Tronel , Isabelle Puaut

ECRTS 2022 - 34th Euromicro Conference on Real-Time Systems, Jul 2022, Modène, Italy. pp.1-24, ⟨10.4230/LIPIcs.ECRTS.2022.18⟩

Communication dans un congrès hal-03641576v1
Deposit thumbnail

WE-HML: hybrid WCET estimation using machine learning for architectures with caches

Abderaouf Nassim Amalou , Isabelle Puaut , Gilles Muller

RTCSA 2021 - 27th IEEE International Conference on Embedded Real-Time Computing Systems and Applications, Aug 2021, Online Virtual Conference, France. pp.1-10

Communication dans un congrès hal-03280177v1
Deposit thumbnail

Attack detection through monitoring of timing deviations in embedded real-time systems

Nicolas Bellec , Simon Rokicki , Isabelle Puaut

ECRTS 2020 - 32nd Euromicro Conference on Real-Time Systems, Jul 2020, Modena, Italy. pp.1-22, ⟨10.4230/LIPIcs.ECRTS.2020.8⟩

Communication dans un congrès hal-02559549v1
Deposit thumbnail

Reconciling Compiler Optimizations and WCET Estimation Using Iterative Compilation

Mickaël Dardaillon , Stefanos Skalistis , Isabelle Puaut , Steven Derrien

RTSS 2019 - 40th IEEE Real-Time Systems Symposium, Dec 2019, Hong Kong, China. pp.1-13

Communication dans un congrès hal-02286164v1
Deposit thumbnail

Hiding Communication Delays in Contention-Free Execution for SPM-Based Multi-Core Architectures

Benjamin Rouxel , Stefanos Skalistis , Steven Derrien , Isabelle Puaut

ECRTS 2019 - 31st Euromicro Conference on Real-Time Systems, Jul 2019, Stuttgart, Germany. pp.1-24, ⟨10.4230/LIPIcs.ECRTS.2019.25⟩

Communication dans un congrès hal-02190271v1
Deposit thumbnail

Impact of DM-LRU on WCET: A Static Analysis Approach

Renato Mancuso , Heechul Yun , Isabelle Puaut

ECRTS 2019 - 31st Euromicro Conference on Real-Time Systems, Jul 2019, Stuttgart, Germany. pp.1-25, ⟨10.4230/LIPIcs.ECRTS.2019.17⟩

Communication dans un congrès hal-02190255v1
Deposit thumbnail

A Time-predictable Branch Predictor

Martin Schoeberl , Benjamin Rouxel , Isabelle Puaut

SAC 2019 - 34th ACM/SIGAPP Symposium on Applied Computing, Apr 2019, Limassol, Cyprus. pp.1-10, ⟨10.1145/3297280.3297337⟩

Communication dans un congrès hal-01976187v1
Deposit thumbnail

Fine-Grain Iterative Compilation for WCET Estimation

Isabelle Puaut , Mickaël Dardaillon , Christoph Cullmann , Gernot Gebhard , Steven Derrien

WCET 2018 - 18th International Workshop on Worst-Case Execution Time Analysis, Jul 2018, Barcelona, Spain. pp.1-12, ⟨10.4230/OASIcs.WCET.2018.9⟩

Communication dans un congrès hal-01889944v1
Deposit thumbnail

Using Polyhedral Techniques to Tighten WCET Estimates of Optimized Code: A Case Study with Array Contraction

Thomas Lefeuvre , Emin Koray Kasnakli , Imen Fassi , Isabelle Puaut , Christoph Cullmann et al.

DATE 2018 - Design Automation and Test Europe, Mar 2018, Dresden, Germany. pp.925-930, ⟨10.23919/DATE.2018.8342142⟩

Communication dans un congrès hal-01815499v1
Deposit thumbnail

The W-SEPT Project: Towards Semantic-Aware WCET Estimation

Claire Maiza , Pascal Raymond , Catherine Parent-Vigouroux , Armelle Bonenfant , Fabienne Carrier et al.

17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017), Jun 2017, Dubrovnik, Croatia. pp.13, ⟨10.4230/OASIcs.WCET.2017.9⟩

Communication dans un congrès hal-01590442v1
Deposit thumbnail

Tightening contention delays while scheduling parallel applications on multi-core architectures

Benjamin Rouxel , Steven Derrien , Isabelle Puaut

International Conference on Embedded Software (EMSOFT), 2017, Oct 2017, Seoul, South Korea. pp.20, ⟨10.1145/3126496⟩

Communication dans un congrès hal-01590508v1
Deposit thumbnail

The Heptane Static Worst-Case Execution Time Estimation Tool

Damien Hardy , Benjamin Rouxel , Isabelle Puaut

17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017), Jun 2017, Dubrovnik, Croatia. pp.12, ⟨10.4230/OASIcs.WCET.2017.8⟩

Communication dans un congrès hal-01590444v1
Deposit thumbnail

WCET-aware parallelization of model-based applications for multi-cores: The ARGO approach

Steven Derrien , Isabelle Puaut , Panayiotis Alefragis , Marcus Bednara , Harald Bucher et al.

Design Automation and Test in Europe (DATE), 2017, Mar 2017, Lausanne, Switzerland. pp.286 - 289, ⟨10.23919/DATE.2017.7927000⟩

Communication dans un congrès hal-01590418v1
Deposit thumbnail

STR2RTS: Refactored StreamIT benchmarks into statically analyzable parallel benchmarks for WCET estimation & real-time scheduling

Benjamin Rouxel , Isabelle Puaut

17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017), Jun 2017, Dubrovnik, Croatia. ⟨10.4230/OASIcs.WCET.2017.1⟩

Communication dans un congrès hal-01590446v1
Deposit thumbnail

Cache-conscious offline real-time task scheduling for multi-core processors

Viet Anh Anh Nguyen , Damien Hardy , Isabelle Puaut

29th Euromicro Conference on Real-Time Systems (ECRTS17), Jun 2017, Dubrovnik, Croatia. ⟨10.4230/LIPIcs.ECRTS.2017.14⟩

Communication dans un congrès hal-01590421v1
Deposit thumbnail

Quantifying WCET reduction of parallel applications by introducing slack time to limit resource contention

Sebastien Martinez , Damien Hardy , Isabelle Puaut

International Conference on Real-Time Networks and Systems (RTNS), 2017, Oct 2017, Grenoble, France. ⟨10.1145/3139258.3139263⟩

Communication dans un congrès hal-01590532v1
Deposit thumbnail

When the worst-case execution time estimation gains from the application semantics

Armelle Bonenfant , Fabienne Carrier , Hugues Cassé , Philippe Cuenot , Denis Claraz et al.

8th European Congress on Embedded Real-Time Software and Systems, Jan 2016, Toulouse, France

Communication dans un congrès hal-01235781v1
Deposit thumbnail

Probabilistic WCET estimation in presence of hardware for mitigating the impact of permanent faults

Damien Hardy , Isabelle Puaut , Yiannakis Sazeides

Design, Automation and Test in Europe, Mar 2016, Dresden, Germany

Communication dans un congrès hal-01259493v1

Cache-Persistence-Aware Response-Time Analysis for Fixed-Priority Preemptive Systems

Syed Aftab Rashid , Geoffrey Nelissen , Damien Hardy , Benny Akesson , Isabelle Puaut et al.

28th Euromicro Conference on Real-Time Systems (ECRTS), Jul 2016, Toulouse, France. ⟨10.1109/ECRTS.2016.25⟩

Communication dans un congrès hal-01393220v1
Deposit thumbnail

Scheduling of parallel applications on many-core architectures with caches: bridging the gap between WCET analysis and schedulability analysis

Viet Anh Nguyen , Damien Hardy , Isabelle Puaut

9th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2015), Nov 2015, Lille, France

Communication dans un congrès hal-01236191v1
Deposit thumbnail

Tracing Flow Information for Tighter WCET Estimation: Application to Vectorization

Hanbing Li , Isabelle Puaut , Erven Rohou

21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Aug 2015, Hong-Kong, China. pp.10

Communication dans un congrès hal-01177902v1

Speeding up Static Probabilistic Timing Analysis

Milutinovic Suzana , Jaume Abella , Damien Hardy , Eduardo Quinones , Isabelle Puaut et al.

ARCS 2015 - International Conference on Architecture of Computing Systems, Mar 2015, Porto, Portugal. pp.236-247, ⟨10.1007/978-3-319-16086-3_19⟩

Communication dans un congrès hal-01235544v1

On the Comparison of Deterministic and Probabilistic WCET Estimation Techniques

Jaume Abella , Damien Hardy , Isabelle Puaut , Eduardo Quinones , Francisco J. Cazorla

26th Euromicro Conference on Real-Time Systems, Jul 2014, Madrid, Spain

Communication dans un congrès hal-01086875v1
Deposit thumbnail

Traceability of Flow Information: Reconciling Compiler Optimizations and WCET Estimation

Hanbing Li , Isabelle Puaut , Erven Rohou

RTNS - 22nd International Conference on Real-Time Networks and Systems, Oct 2014, Versailles, France. ⟨10.1145/2659787.2659805⟩

Communication dans un congrès hal-01072138v1

A Formally Verified WCET Estimation Tool

André Oliveira Maroneze , Sandrine Blazy , David Pichardie , Isabelle Puaut

14th International Workshop on Worst-Case Execution Time Analysis, Jul 2014, Madrid, Spain. ⟨10.4230/OASIcs.WCET.2014.11⟩

Communication dans un congrès hal-01087194v1

Static probabilistic Worst Case Execution Time Estimation for architectures with Faulty Instruction Caches

Damien Hardy , Isabelle Puaut

21st International Conference on Real-Time Networks and Systems, Oct 2013, Sophia Antipolis, France. ⟨10.1145/2516821.2516842⟩

Communication dans un congrès hal-00862604v1

Integrated Worst-Case Execution Time Estimation of Multicore Applications

Dumitru Potop-Butucaru , Isabelle Puaut

13th International Workshop on Worst-Case Execution Time Analysis, Jul 2013, Paris, France. pp.21-31, ⟨10.4230/OASIcs.WCET.2013.i⟩

Communication dans un congrès hal-00909330v1
Deposit thumbnail

PRETI: Partitioned REal-TIme shared cache for mixed-criticality real-time systems.

Benjamin Lesage , Isabelle Puaut , André Seznec

RTNS - 20th International Conference on Real-Time and Network Systems - 2012, Nov 2012, Pont à Mousson, France. pp.10

Communication dans un congrès hal-00661687v1

An Improved Preemption Delay Upper Bound for Floating Non-Preemptive Region Scheduling

José Marinho , Vincent Nélis , Stefan M. Petters , Isabelle Puaut

7th IEEE International Symposium on Industrial Embedded Systems (SIES'12), Jun 2012, Karlsruhe, Germany

Communication dans un congrès hal-00737580v1

PDPA: Period Driven Task and Cache Partitioning Algorithm for Mumti-core Systems

Brice Berna , Isabelle Puaut

20th International Conference on Real-Time and Network Systems (RTNS 2012), Nov 2012, Pont à Mousson, France

Communication dans un congrès hal-00737591v1

Preemption Delay Analysis for Floating Non-Preemptive Region Scheduling

José Marinho , Vincent Nélis , Stefan M. Petters , Isabelle Puaut

Design, Automation and Test in Europe 2012 (DATE 2012), Mar 2012, Dresden, Germany. pp.497-502

Communication dans un congrès hal-00737577v1
Deposit thumbnail

Predictable Binary Code Cache: A First Step Towards Reconciling Predictability and Just-In-Time Compilation

Adnan Bouakaz , Isabelle Puaut , Erven Rohou

The 17th IEEE Real-Time and Embedded Technology and Applications Symposium, Marco Caccamo, Apr 2011, Chicago, United States

Communication dans un congrès inria-00589690v1
Deposit thumbnail

Scalable Fixed-Point Free Instruction Cache Analysis

Damien Hardy , Benjamin Lesage , Isabelle Puaut

The 32nd IEEE Real-Time Systems Symposium (RTSS 2011), Nov 2011, Vienne, Austria

Communication dans un congrès inria-00638698v1
Deposit thumbnail

Shared Data Caches Conflicts Reduction for WCET Computation in Multi-Core Architectures.

Benjamin Lesage , Damien Hardy , Isabelle Puaut

18th International Conference on Real-Time and Network Systems, Nov 2010, Toulouse, France. pp.2283

Communication dans un congrès inria-00531214v1
Deposit thumbnail

Estimation of Cache Related Migration Delays for Multi-Core Processors with Shared Instruction Caches

Damien Hardy , Isabelle Puaut

17th International Conference on Real-Time and Network Systems, Oct 2009, Paris, France. pp.45-54

Communication dans un congrès inria-00441959v1
Deposit thumbnail

WCET ANALYSIS OF MULTI-LEVEL SET-ASSOCIATIVE DATA CACHES

Benjamin Lesage , Damien Hardy , Isabelle Puaut

9th Intl. Workshop on Worst-Case Execution Time WCET Analysis, Jun 2009, Dublin, Ireland. pp.2283

Communication dans un congrès inria-00531218v1

A Recoverable Distributed Shared Memory integrating Coherence and Recoverability

Anne-Marie Kermarrec , Gilbert Cabillic , Alain Gefflaut , Christine Morin , Isabelle Puaut

Proceedings of the 25th International Symposium on Fault Tolerant Computer Systems, 1995, Pasadena, CA, USA, United States. pp.289--298

Communication dans un congrès hal-01271171v1
Deposit thumbnail

Using machine learning for timing analysis: where do we stand?

Abderaouf Nassim Amalou , Isabelle Puaut

Real-Time Systems, 2025, 61 (2), pp.300-305. ⟨10.1007/s11241-025-09442-y⟩

Article dans une revue hal-05092607v1
Deposit thumbnail

Worst-Case Execution-Time-Aware Parallelization of Model-Based Avionics Applications

Simon Reder , Fabian Kempf , Harald Bucher , Jurgen Becker , Panayiotis Alefragis et al.

Journal of Aerospace Information Systems, 2019, 16 (11), pp.521-533. ⟨10.2514/1.I010749⟩

Article dans une revue hal-02383381v1
Deposit thumbnail

Cache-conscious Off-Line Real-Time Scheduling for Multi-Core Platforms: Algorithms and Implementation

Viet Anh Nguyen , Damien Hardy , Isabelle Puaut

Real-Time Systems, In press, pp.1-37. ⟨10.4230/LIPIcs.ECRTS.2017.14⟩

Article dans une revue hal-02044110v1
Deposit thumbnail

Tightening Contention Delays While Scheduling Parallel Applications on Multi-core Architectures

Benjamin Rouxel , Steven Derrien , Isabelle Puaut

ACM Transactions on Embedded Computing Systems (TECS), 2017, 16 (5s), pp.1 - 20. ⟨10.1145/3126496⟩

Article dans une revue hal-01655383v1

Static Probabilistic Worst Case Execution Time Estimation for Architectures with Faulty Instruction Caches

Damien Hardy , Isabelle Puaut

Real-Time Systems, 2015, 51, pp.25. ⟨10.1007/s11241-014-9212-x⟩

Article dans une revue hal-01086884v1

WCET analysis of instruction cache hierarchies

Damien Hardy , Isabelle Puaut

Journal of Systems Architecture, 2011, 57 (7), ⟨10.1016/j.sysarc.2010.08.007⟩

Article dans une revue istex hal-00639454v1

Guest editorial: special issue of the Euromicro Conference on Real-Time Systems (ECRTS 2009)

Isabelle Puaut

Real-Time Systems, 2010, 46 (1), pp.1-2. ⟨10.1007/s11241-010-9099-0⟩

Article dans une revue inria-00589341v1

Méthodes d'analyse statique de pire temps d'exécution de programmes

Isabelle Puaut , Alexis Arnaud

Interstices, 2005

Article dans une revue inria-00000958v1

A Survey of Recoverable Distributed Shared Memory Systems

Christine Morin , Isabelle Puaut

IEEE Transactions on Parallel and Distributed Systems, 1997, 8 (9), pp.959--969

Article dans une revue hal-01271118v1
Deposit thumbnail

Circadia: Checkpointing for Intermittent Computing in AI Driven Applications

Matthieu Rodet , Jean-Luc Béchennec , Mikaël Briday , Sébastien Faucou , Isabelle Puaut et al.

ACACES 2025 - 21st Internationnal Summer School on Advanced Computer Architecture and Compilation for High-performance Embedded Systems, Jul 2025, Salerno, Italy. 2025

Poster de conférence hal-05340610v1
Deposit thumbnail

Machine learning for timing estimation

Abderaouf Nassim Amalou , Elisa Fromont , Isabelle Puaut

D3 - Architecture séminaire: PhD days / Journées doctorants – 2022, Nov 2022, Rennes, France

Poster de conférence hal-04260161v1
Deposit thumbnail

Memory Allocation in Intermittent Computing

Hugo Reymond , Isabelle Puaut , Erven Rohou , Sébastien Faucou , Jean-Luc Béchennec et al.

COMPAS'2022, Jul 2022, Amiens, France

Poster de conférence hal-04385204v1
Deposit thumbnail

The INRIA ZEP project: NVRAM and Harvesting for Zero Power Computations

Gautier Berthou , Arnaud Carer , Kevin Marquet , Ivan Miro-Panades , Davide Pala et al.

NVMW 2018 - 10th Annual Non-Volatile Memories Workshop, Mar 2018, San Diego, United States. pp.1

Poster de conférence hal-01941766v1
Deposit thumbnail

Machine Learning for Timing Analysis: The Good, the Bad and the Ugly

Isabelle Puaut

Thomas Carle. WCET 2024 - 22nd International Workshop on Worst-Case Execution Time Analysis, Jul 2024, Lille, France. Open Access Series in Informatics (OASIcs), Open Access Series in Informatics (OASIcs), pp.1-1, 2024, Workshop on Worst-Case Execution Time Analysis (WCET). ⟨10.4230/OASIcs.WCET.2024.7⟩

Document associé à des manifestations scientifiques hal-04672502v1
Deposit thumbnail

Integrated Worst-Case Response Time Evaluation of Multicore Non-Preemptive Applications

Dumitru Potop-Butucaru , Isabelle Puaut

[Research Report] RR-8234, INRIA. 2013

Rapport (rapport de recherche) hal-00787931v1
Deposit thumbnail

Preemption Delay Analysis for Floating Non-Preemptive Region Scheduling

José Marinho , Vincent Nélis , Stefan M. Petters , Isabelle Puaut

2011

Rapport hal-00649039v1
Deposit thumbnail

Using Bypass to Tighten WCET Estimates for Multi-Core Processors with Shared Instruction Caches

Damien Hardy , Thomas Piquet , Isabelle Puaut

[Research Report] RR-6907, INRIA. 2009

Rapport (rapport de recherche) inria-00380298v1
Deposit thumbnail

WCET analysis of multi-level set-associative instruction caches

Damien Hardy , Isabelle Puaut

[Research Report] RR-6574, INRIA. 2008

Rapport (rapport de recherche) inria-00286358v2
Deposit thumbnail

Scratchpad memories vs locked caches in hard real-time systems: a qualitative and quantitative comparison

Isabelle Puaut , Christophe Pais

[Research Report] PI 1818, 2006, pp.22

Rapport (rapport de recherche) inria-00105010v1
Deposit thumbnail

Performance Evaluation of Clock Synchronization Algorithms

Emmanuelle Anceaume , Isabelle Puaut

[Research Report] RR-3526, INRIA. 1998

Rapport (rapport de recherche) inria-00073159v1
Deposit thumbnail

A Flexible Run-time Support for Distributed Dependable Hard Real-time Applications

Emmanuelle Anceaume , Gilbert Cabillic , Pascal Chevochot , Isabelle Puaut

[Research Report] RR-3564, INRIA. 1998

Rapport (rapport de recherche) inria-00073119v1
Deposit thumbnail

Hades: A Middleware Support for Distributed Safety-Critical Real-Time Applications

Emmanuelle Anceaume , Gilbert Cabillic , Pascal Chevochot , Isabelle Puaut

[Research Report] RR-3280, INRIA. 1997

Rapport (rapport de recherche) inria-00073408v1

A survey of recoverable distributed shared memory systems

Christine Morin , Isabelle Puaut

[Research Report] PI-975, IRISA. 1995

Rapport (rapport de recherche) hal-01276681v1
Deposit thumbnail

A Recoverable Distributed Shared Memory Integrating Coherence and Recoverability

Anne-Marie Kermarrec , Gilbert Cabillic , Alain Gefflaut , Christine Morin , Isabelle Puaut

[Research Report] RR-2481, INRIA. 1995

Rapport (rapport de recherche) inria-00074193v1
Deposit thumbnail

MYOAN : an implementation of the KOAN shared virtual memory on the Intel paragon

Gilbert Cabillic , Thierry Priol , Isabelle Puaut

[Research Report] RR-2258, INRIA. 1994

Rapport (rapport de recherche) inria-00074413v1
Deposit thumbnail

A distributed garbage collector for active objects

Isabelle Puaut

[Research Report] RR-2134, INRIA. 1993

Rapport (rapport de recherche) inria-00074538v1
Deposit thumbnail

Proceedings of the 15th International Conference on Real-Time and Network Systems (RTNS'07)

Isabelle Puaut , Nicolas Navet , Françoise Simonot-Lion

Isabelle Puaut and Nicolas Navet and Françoise Simonot-Lion. Institut National Polytechnique de Lorraine - Atelier de Reprographie, pp.238, 2007, 2-905267-53-4

Ouvrages inria-00168530v1