Følg
claire maiza
claire maiza
GrenobleINP / Verimag
Verifisert e-postadresse på univ-grenoble-alpes.fr - Startside
Tittel
Sitert av
Sitert av
År
Improved cache related pre-emption delay aware response time analysis for fixed priority pre-emptive systems
S Altmeyer, RI Davis, C Maiza
Real-Time Systems 48, 499-526, 2012
1632012
Predictability considerations in the design of multi-core embedded systems
C Cullmann, C Ferdinand, G Gebhard, D Grund, C Maiza, J Reineke, ...
Proceedings of Embedded Real Time Software and Systems 36, 42, 2010
1482010
Cache related pre-emption delay aware response time analysis for fixed priority pre-emptive systems
S Altmeyer, RI Davis, C Maiza
2011 IEEE 32nd Real-Time Systems Symposium, 261-271, 2011
1202011
Analysis of probabilistic cache related pre-emption delays
RI Davis, L Santinelli, S Altmeyer, C Maiza, L Cucu-Grosjean
2013 25th Euromicro Conference on Real-Time Systems, 168-179, 2013
922013
Resilience analysis: tightening the CRPD bound for set-associative caches
S Altmeyer, C Maiza, J Reineke
ACM sigplan notices 45 (4), 153-162, 2010
892010
A survey of timing verification techniques for multi-core real-time systems
C Maiza, H Rihani, JM Rivas, J Goossens, S Altmeyer, RI Davis
ACM Computing Surveys (CSUR) 52 (3), 1-38, 2019
822019
A generic and compositional framework for multicore response time analysis
S Altmeyer, RI Davis, L Indrusiak, C Maiza, V Nelis, J Reineke
Proceedings of the 23rd International Conference on Real Time and Networks …, 2015
822015
Cache-related preemption delay via useful cache blocks: Survey and redefinition
S Altmeyer, CM Burguière
Journal of Systems Architecture 57 (7), 707-719, 2011
822011
A new notion of useful cache block to improve the bounds of cache-related preemption delay
S Altmeyer, C Burguiere
2009 21st Euromicro Conference on Real-Time Systems, 109-118, 2009
762009
Response time analysis of synchronous data flow programs on a many-core processor
H Rihani, M Moy, C Maiza, RI Davis, S Altmeyer
Proceedings of the 24th International Conference on Real-Time Networks and …, 2016
682016
Integrating cache related pre-emption delay analysis into edf scheduling
W Lunniss, S Altmeyer, C Maiza, RI Davis
2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium …, 2013
682013
Static Timing Analysis for Hard Real-Time Systems.
R Wilhelm, S Altmeyer, C Burguière, D Grund, J Herter, J Reineke, ...
VMCAI 5944, 3-22, 2010
552010
An extensible framework for multicore response time analysis
RI Davis, S Altmeyer, LS Indrusiak, C Maiza, V Nelis, J Reineke
Real-Time Systems 54, 607-661, 2018
532018
Cache Related Preemption Delay for Set-Associative Caches
C Burguiere, J Reineke, S Altmeyer
9th Int’l Workshop on WCET Analysis, 2009
50*2009
How to compute worst-case execution time by optimization modulo theory and a clever encoding of program semantics
J Henry, M Asavoae, D Monniaux, C Maiza
Proceedings of the 2014 SIGPLAN/SIGBED conference on Languages, compilers …, 2014
432014
Timing analysis enhancement for synchronous program
P Raymond, C Maiza, C Parent-Vigouroux, F Carrier
Proceedings of the 21st International conference on Real-Time Networks and …, 2013
412013
A contribution to branch prediction modeling in WCET analysis
C Burguiere, C Rochange
Design, Automation and Test in Europe, 612-617, 2005
372005
History-based schemes and implicit path enumeration
C Burguiere, C Rochange
6th International Workshop on Worst-Case Execution Time Analysis (WCET'06), 2006
262006
Investigation of scratchpad memory for preemptive multitasking
J Whitham, RI Davis, NC Audsley, S Altmeyer, C Maiza
2012 IEEE 33rd Real-Time Systems Symposium, 3-13, 2012
232012
On the complexity of modeling dynamic branch predictors when computing worst-case execution time
C Burguiere, C Rochange
Proceedings of the ERCIM/DECOS Workshop On Dependable Embedded Systems 182, 228, 2007
232007
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–20