 |
 |
|
|
||
|---|---|---|
| hal-01130889v1
Conference papers
Motion detection: Fast and robust algorithms for embedded systems International Conference on Image Processing (ICIP), Nov 2009, Le Caire, Egypt. ⟨10.1109/ICIP.2009.5413946⟩ |
||
| hal-02288493v1
Conference papers
Worst-Case Execution Time Analysis of Predicated Architectures Workshop on Worst-Case Execution Time Analysis, Jun 2017, Dubrovnik, Croatia. pp.1-13, ⟨10.4230/OASIcs.WCET.2017.6⟩ |
||
| hal-02491369v1
Conference papers
A New Network Configuration Management Architecture for Future Aircraft Systems 10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France |
||
| hal-01214957v1
Conference papers
Hierarchical Timed Symbolic Abstract State Machines for precise WCET estimation IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Aug 2013, Taipei, Taiwan |
||
| hal-01214973v1
Conference papers
Hierarchical Timed Abstract State Machines for WCET Estimation International Workshop on Verification and Evaluation of Computer and Communication Systems, Nov 2013, Florence, Italy |
||
| tel-01214985v1
Theses
Precise and Adaptable Worst-Case Execution Time Estimation in Hard Real-Time Systems Computation and Language [cs.CL]. Ecole Doctorale Polytechnique, 2014. English |
||
| hal-01214991v1
Preprints, Working Papers, ...
Hierarchical Timed Abstract State Machines for WCET Estimation 2015 |
||
| cea-01773654v1
Journal articles
Analysis of preemption costs for the stack cache Real-Time Systems, Springer Verlag, 2018, ⟨10.1007/s11241-018-9298-7⟩ |
||
| hal-01056216v1
Conference papers
Lazy Spilling for a Time-Predictable Stack Cache: Implementation and Analysis 14th International Workshop on Worst-Case Execution Time Analysis, Jul 2014, Madrid, Spain. pp.83-92 |
||
| hal-01108053v1
Conference papers
Splitting functions into single-entry regions International Conference on Compilers, Architecture and Synthesis for Embedded Systems, Karam S. Chatha (Qualcomm Research); Rolf Ernst (TU Braunschweig), Oct 2014, New Delhi, India. pp.10, ⟨10.1145/2656106.2656128⟩ |
||
| hal-01246348v1
Conference papers
Efficient Context Switching for the Stack Cache Proceedings of the 23rd International Conference on Real Time and Networks Systems, Julien Forget (Université de Lille, France), Nov 2015, Lille, France. pp.10, ⟨10.1145/2834848.2834861⟩ |
||
| hal-01108105v1
Other publications
Alignment of Memory Transfers of a Time-Predictable Stack Cache 2014, pp.4 |
||
| hal-02287276v1
Conference papers
A Comparative Study of the Precision of Stack Cache Occupancy Analyses 9th Junior Researcher Workshop on Real-Time Computing, Nov 2015, Lille, France. pp.13-16 |
||
| hal-02287376v1
Conference papers
Eager Stack Cache Memory Transfers Workshop on Worst-Case Execution Time Analysis, Jul 2016, Toulouse, France |
||
| hal-01214947v1
Conference papers
On the Determinism of Multi-core Processors French Singaporean Workshop on Formal Methods and Applications, Jul 2013, Singapour, Singapore. ⟨10.4230/OASIcs.FSFMA.2013.32⟩ |
||
| hal-01246343v1
Conference papers
A Comparative Study of the Precision of Stack Cache Occupancy Analyses 9th Junior Researcher Workshop on Real-Time Computing, Julien Forget, Nov 2015, Lille, France. pp.4 |
||
| hal-02447339v1
Conference papers
Arbitration-Induced Preemption Delays 31st Euromicro Conference on Real-Time Systems, Jul 2019, Stuttgart, Germany. ⟨10.4230/LIPIcs.ECRTS.2019.19⟩ |
||
|
|
||