Filter your results
- 10
- 7
- 13
- 1
- 1
- 1
- 1
- 17
- 1
- 1
- 1
- 1
- 1
- 4
- 4
- 3
- 1
- 17
- 8
- 4
- 3
- 1
- 1
- 10
- 5
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
A Comparative Study of the Precision of Stack Cache Occupancy Analyses9th Junior Researcher Workshop on Real-Time Computing, Nov 2015, Lille, France. pp.13-16
Conference papers
hal-02287276v1
|
|||
Worst-Case Execution Time Analysis of Predicated ArchitecturesWorkshop on Worst-Case Execution Time Analysis, Jun 2017, Dubrovnik, Croatia. pp.1-13, ⟨10.4230/OASIcs.WCET.2017.6⟩
Conference papers
hal-02288493v1
|
|||
Splitting functions into single-entry regionsInternational 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⟩
Conference papers
hal-01108053v1
|
|||
Hierarchical Timed Abstract State Machines for WCET Estimation2015
Preprints, Working Papers, ...
hal-01214991v1
|
|||
A Comparative Study of the Precision of Stack Cache Occupancy Analyses9th Junior Researcher Workshop on Real-Time Computing, Julien Forget, Nov 2015, Lille, France. pp.4
Conference papers
hal-01246343v1
|
|||
Eager Stack Cache Memory TransfersWorkshop on Worst-Case Execution Time Analysis, Jul 2016, Toulouse, France
Conference papers
hal-02287376v1
|
|||
|
A New Network Configuration Management Architecture for Future Aircraft Systems10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France
Conference papers
hal-02491369v1
|
||
|
Motion detection: Fast and robust algorithms for embedded systemsInternational Conference on Image Processing (ICIP), Nov 2009, Le Caire, Egypt. ⟨10.1109/ICIP.2009.5413946⟩
Conference papers
hal-01130889v1
|
||
|
Hierarchical Timed Abstract State Machines for WCET EstimationInternational Workshop on Verification and Evaluation of Computer and Communication Systems, Nov 2013, Florence, Italy
Conference papers
hal-01214973v1
|
||
|
Analysis of preemption costs for the stack cacheReal-Time Systems, 2018, ⟨10.1007/s11241-018-9298-7⟩
Journal articles
cea-01773654v1
|
||
Efficient Context Switching for the Stack CacheProceedings 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⟩
Conference papers
hal-01246348v1
|
|||
|
Alignment of Memory Transfers of a Time-Predictable Stack Cache2014, pp.4
Other publications
hal-01108105v1
|
||
|
Lazy Spilling for a Time-Predictable Stack Cache: Implementation and Analysis14th International Workshop on Worst-Case Execution Time Analysis, Jul 2014, Madrid, Spain. pp.83-92
Conference papers
hal-01056216v1
|
||
|
On the Determinism of Multi-core ProcessorsFrench Singaporean Workshop on Formal Methods and Applications, Jul 2013, Singapour, Singapore. ⟨10.4230/OASIcs.FSFMA.2013.32⟩
Conference papers
hal-01214947v1
|
||
|
Hierarchical Timed Symbolic Abstract State Machines for precise WCET estimationIEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Aug 2013, Taipei, Taiwan
Conference papers
hal-01214957v1
|
||
|
Arbitration-Induced Preemption Delays31st Euromicro Conference on Real-Time Systems, Jul 2019, Stuttgart, Germany. ⟨10.4230/LIPIcs.ECRTS.2019.19⟩
Conference papers
hal-02447339v1
|
||
|
Precise and Adaptable Worst-Case Execution Time Estimation in Hard Real-Time SystemsComputation and Language [cs.CL]. Ecole Doctorale Polytechnique, 2014. English. ⟨NNT : ⟩
Theses
tel-01214985v1
|