Search - Archive ouverte HAL Access content directly

Filter your results

17 Results
Keywords : Real-Time Systems

A Comparative Study of the Precision of Stack Cache Occupancy Analyses

Naji Amine , Florian Brandner
9th 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 Architectures

Florian Brandner , Naji Amine
Workshop 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 regions

Stefan Hepp , Florian Brandner
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⟩
Conference papers hal-01108053v1

Hierarchical Timed Abstract State Machines for WCET Estimation

Vladimir-Alexandru Paun , Bruno Monsuez , Philippe Baufreton
2015
Preprints, Working Papers, ... hal-01214991v1

A Comparative Study of the Precision of Stack Cache Occupancy Analyses

Amine Naji , Florian Brandner
9th Junior Researcher Workshop on Real-Time Computing, Julien Forget, Nov 2015, Lille, France. pp.4
Conference papers hal-01246343v1

Eager Stack Cache Memory Transfers

Naji Amine , Florian Brandner
Workshop on Worst-Case Execution Time Analysis, Jul 2016, Toulouse, France
Conference papers hal-02287376v1
Image document

A New Network Configuration Management Architecture for Future Aircraft Systems

Thibault Delmas , Luigi Iannone , Jean-Pierre Garcia , Bruno Monsuez
10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France
Conference papers hal-02491369v1
Image document

Motion detection: Fast and robust algorithms for embedded systems

Lionel Lacassagne , Antoine Manzanera , Antoine Dupret
International Conference on Image Processing (ICIP), Nov 2009, Le Caire, Egypt. ⟨10.1109/ICIP.2009.5413946⟩
Conference papers hal-01130889v1
Image document

Hierarchical Timed Abstract State Machines for WCET Estimation

Vladimir-Alexandru Paun , Bruno Monsuez , Philippe Baufreton
International Workshop on Verification and Evaluation of Computer and Communication Systems, Nov 2013, Florence, Italy
Conference papers hal-01214973v1
Image document

Analysis of preemption costs for the stack cache

Amine Naji , Sahar Abbaspour , Florian Brandner , Mathieu Jan
Real-Time Systems, 2018, ⟨10.1007/s11241-018-9298-7⟩
Journal articles cea-01773654v1

Efficient Context Switching for the Stack Cache

Sahar Abbaspour , Florian Brandner , Amine Naji , Mathieu Jan
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⟩
Conference papers hal-01246348v1
Image document

Alignment of Memory Transfers of a Time-Predictable Stack Cache

Sahar Abbaspour , Florian Brandner
2014, pp.4
Other publications hal-01108105v1
Image document

Lazy Spilling for a Time-Predictable Stack Cache: Implementation and Analysis

Sahar Abbaspour , Alexander Jordan , Florian Brandner
14th International Workshop on Worst-Case Execution Time Analysis, Jul 2014, Madrid, Spain. pp.83-92
Conference papers hal-01056216v1
Image document

On the Determinism of Multi-core Processors

Vladimir-Alexandru Paun , Bruno Monsuez , Philippe Baufreton
French Singaporean Workshop on Formal Methods and Applications, Jul 2013, Singapour, Singapore. ⟨10.4230/OASIcs.FSFMA.2013.32⟩
Conference papers hal-01214947v1
Image document

Hierarchical Timed Symbolic Abstract State Machines for precise WCET estimation

Vladimir-Alexandru Paun , Bruno Monsuez , Philippe Baufreton
IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Aug 2013, Taipei, Taiwan
Conference papers hal-01214957v1
Image document

Arbitration-Induced Preemption Delays

Farouk Hebbache , Florian Brandner , Mathieu Jan , Laurent Pautet
31st Euromicro Conference on Real-Time Systems, Jul 2019, Stuttgart, Germany. ⟨10.4230/LIPIcs.ECRTS.2019.19⟩
Conference papers hal-02447339v1
Image document

Precise and Adaptable Worst-Case Execution Time Estimation in Hard Real-Time Systems

Vladimir-Alexandru Paun
Computation and Language [cs.CL]. Ecole Doctorale Polytechnique, 2014. English. ⟨NNT : ⟩
Theses tel-01214985v1