Isabelle Puaut
Isabelle Puaut
University of Rennes 1/IRISA
Verified email at
Cited by
Cited by
The worst-case execution-time problem—overview of methods and survey of tools
R Wilhelm, J Engblom, A Ermedahl, N Holsti, S Thesing, D Whalley, ...
ACM Transactions on Embedded Computing Systems (TECS) 7 (3), 1-53, 2008
Worst case execution time analysis for a processor with branch prediction
A Colin, I Puaut
Real-Time Systems 18 (2-3), 249-274, 2000
Low-complexity algorithms for static cache locking in multitasking hard real-time systems
I Puaut, D Decotigny
23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002., 114-123, 2002
A modular and retargetable framework for tree-based WCET analysis
A Colin, I Puaut
Proceedings 13th Euromicro Conference on Real-Time Systems, 37-44, 2001
Scratchpad memories vs locked caches in hard real-time systems: a quantitative comparison
I Puaut, C Pais
2007 Design, Automation & Test in Europe Conference & Exhibition, 1-6, 2007
Using bypass to tighten WCET estimates for multi-core processors with shared instruction caches
D Hardy, T Piquet, I Puaut
2009 30th IEEE Real-Time Systems Symposium, 68-77, 2009
WCET analysis of multi-level non-inclusive set-associative instruction caches
D Hardy, I Puaut
2008 Real-Time Systems Symposium, 456-466, 2008
A survey of recoverable distributed shared virtual memory systems
C Morin, I Puaut
IEEE Transactions on parallel and Distributed Systems 8 (9), 959-969, 1997
WCET-centric software-controlled instruction caches for hard real-time systems
I Puaut
18th Euromicro Conference on Real-Time Systems (ECRTS'06), 10 pp.-226, 2006
WCET-directed dynamic scratchpad memory allocation of data
JF Deverge, I Puaut
19th Euromicro Conference on Real-Time Systems (ECRTS'07), 179-190, 2007
A recoverable distributed shared memory integrating coherence and recoverability
AM Kermarrec, G Cabillic, A Gefflaut, C Morin, I Puaut
Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of …, 1995
Worst-case execution time analysis of the RTEMS real-time operating system
A Colin, I Puaut
Proceedings 13th Euromicro Conference on Real-Time Systems, 191-198, 2001
Dynamic instruction cache locking in hard real-time systems
I Puaut, A Arnaud
Proc. of the 14th Int. Conference on Real-Time and Network Systems, 2006
Static determination of probabilistic execution times
L David, I Puaut
Proceedings. 16th Euromicro Conference on Real-Time Systems, 2004. ECRTS …, 2004
On the comparison of deterministic and probabilistic WCET estimation techniques
J Abella, D Hardy, I Puaut, E Quinones, FJ Cazorla
2014 26th Euromicro Conference on Real-Time Systems, 266-275, 2014
Real-time performance of dynamic memory allocation algorithms
I Puaut
Proceedings 14th Euromicro Conference on Real-Time Systems. Euromicro RTS …, 2002
Safe measurement-based WCET estimation
JF Deverge, I Puaut
5th International Workshop on Worst-Case Execution Time Analysis (WCET'05), 2007
The heptane static worst-case execution time estimation tool
D Hardy, B Rouxel, I Puaut
17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017), 2017
The performance of consistent checkpointing in distributed shared memory systems
G Cabillic, G Muller, I Puaut
Proceedings. 14th Symposium on Reliable Distributed Systems, 96-105, 1995
Stardust: an environment for parallel programming on networks of heterogeneous workstations
G Cabillic, I Puaut
Journal of Parallel and Distributed Computing 40 (1), 65-80, 1997
The system can't perform the operation now. Try again later.
Articles 1–20