Search - Archive ouverte HAL Access content directly

Filter your results

38 Results

Proceedings of the 11th Workshop on Optimizations for DSP and Embedded Systems

Florian Brandner , Aa Tom Vander
Florian Brandner, ENSTA ParisTech; Tom Vander Aa, Target Compiler Technologies,. Workshop on Optimizations for DSP and Embedded Systems, Feb 2014, Orlando, FL, United States. , pp.44, 2014, 978-1-4503-2595-0
Proceedings hal-01108022v1
Image document

Modeling the energy consumption of programs: thermal aspects and Energy/Frequency Convexity Rule

Karel de Vogeleer , Kameswar Rao Vaddina , Florian Brandner , Pierre Jouvelot , Gérard Memmi et al.
The Ninth International Conference on Wireless Communications and Signal Processing (WCSP 2017), Oct 2017, Nanjing, China. pp.1-10
Conference papers hal-01622778v1
Image document

Towards a Time-predictable Dual-Issue Microprocessor: The Patmos Approach

Martin Schoeberl , Pascal Schleuniger , Wolfgang Puffitsch , Florian Brandner , Christian W. Probst et al.
Bringing Theory to Practice: Predictability and Performance in Embedded Systems, Philipp Lucas, Lothar Thiele, Benoit Triquet, Theo Ungerer, and Reinhard Wilhelm, Mar 2011, Grenoble, France. pp.11-21, ⟨10.4230/OASIcs.PPES.2011.11⟩
Conference papers inria-00585320v1

Building the Case for Temperature Awareness in Energy Consumption Models: an Application of the Energy-Frequency Convexity Rule

Kameswar Vaddina , Florian Brandner , Gerard Memmi , Pierre Jouvelot
2018
Preprints, Working Papers, ... hal-01939768v1

Criticality: static profiling for real-time programs

Florian Brandner , Stefan Hepp , Alexander Jordan
Real-Time Systems, 2014, 50 (3), pp.377-410. ⟨10.1007/s11241-013-9196-y⟩
Journal articles hal-01108039v1
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

Exchange between the German and French Compiler Communities

Jens Knoop , Florian Brandner
18. Kolloquium Programmiersprachen und Grundlagen der Programmierung, Oct 2015, Pörtschach am Wörthersee, Austria. pp.83-84
Conference papers hal-02287275v1

Refinement of worst-case execution time bounds by graph pruning

Florian Brandner , Alexander Jordan
Computer Languages, Systems and Structures, 2014, 40 (3-4), pp.16. ⟨10.1016/j.cl.2014.09.001⟩
Journal articles hal-01108029v1

A loosely synchronizing asynchronous router for TDM-scheduled NOCs

Ioannis Kotleas , Dean Humphreys , Rasmus Bo Sørensen , Evangelia Kasapaki , Florian Brandner et al.
International Symposium on Networks-on-Chip, Davide Bertozzi; Luca Benini, Sep 2014, Ferrara, Italy. pp.8, ⟨10.1109/NOCS.2014.7008774⟩
Conference papers hal-01108070v1
Image document

Alignment of Memory Transfers of a Time-Predictable Stack Cache

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

The Role of Causality in a Formal Definition of Timing Anomalies

Benjamin Binder , Mihail Asavoae , Florian Brandner , Belgacem Ben Hedia , Mathieu Jan et al.
2022 IEEE 28th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Aug 2022, Taipei, France. pp.91-102, ⟨10.1109/RTCSA55878.2022.00016⟩
Conference papers hal-03867187v1

Shedding the Shackles of Time-Division Multiplexing

Farouk Hebbache , Mathieu Jan , Florian Brandner , Laurent Pautet
RTSS 2018 - IEEE Real-Time Systems Symposium, Dec 2018, Nashville, France. pp.456-468, ⟨10.1109/RTSS.2018.00059⟩
Conference papers hal-01994629v1

Completeness of automatically generated instruction selectors

Florian Brandner
21st IEEE International Conference on Application-specific Systems Architectures and Processors (ASAP), Jul 2010, Rennes, France. pp.175 - 182, ⟨10.1109/ASAP.2010.5540994⟩
Conference papers ensl-00531354v1

A Coq Framework for More Trustworthy DRAM Controllers

Felipe Lisboa Malaquias , Mihail Asavoae , Florian Brandner
RTNS 2022: The 30th International Conference on Real-Time Networks and Systems, Jun 2022, Paris France, France. pp.140-150, ⟨10.1145/3534879.3534907⟩
Conference papers hal-03702493v1

Execution Models for Processors and Instructions

Florian Brandner , Pavlu Viktor , Krall Andreas
NORCHIP 2010, IEEE, Nov 2010, Finland
Conference papers ensl-00537179v1

Work-conserving dynamic time-division multiplexing for multi-criticality systems

Farouk Hebbache , Florian Brandner , Mathieu Jan , Laurent Pautet
Real-Time Systems, 2019, ⟨10.1007/s11241-019-09336-w⟩
Journal articles hal-02447512v1

Arbitration-Induced Preemption Delays

Farouk Hebbache , Florian Brandner , Mathieu Jan , Laurent Pautet
31st Euromicro Conference on Real-Time Systems (ECRTS 2019), Jul 2019, Stuttgart,, Germany
Conference papers hal-02447655v1
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

Scalable Detection of Amplification Timing Anomalies for the Superscalar TriCore Architecture

Benjamin Binder , Mihail Asavoae , Florian Brandner , Belgacem Ben Hedia , Mathieu Jan et al.
International Conference on Formal Methods for Industrial Critical Systems, Sep 2020, Vienna, Austria
Conference papers hal-03022552v1

Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architecture

Benjamin Binder , Mihail Asavoae , Florian Brandner , Belgacem Ben Hedia , Mathieu Jan et al.
International Journal on Software Tools for Technology Transfer, 2022, 24 (3), pp.415-440. ⟨10.1007/s10009-022-00655-1⟩
Journal articles hal-03702426v1
Image document

Computing Liveness Sets for SSA-Form Programs

Florian Brandner , Benoit Boissinot , Alain Darte , Benoît Dupont de Dinechin , Fabrice Rastello et al.
[Research Report] RR-7503, INRIA. 2011, pp.25
Reports inria-00558509v2

Precise and Efficient Analysis of Context-Sensitive Cache Conflict Sets

Florian Brandner , Camille Noûs
RTNS 2020: 28th International Conference on Real-Time Networks and Systems, Jun 2020, Paris France, France. pp.44-55, ⟨10.1145/3394810.3394811⟩
Conference papers hal-02894150v1
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

Copy Elimination on Data Dependence Graphs

Florian Brandner , Quentin Colombet
27th Annual ACM Symposium on Applied Computing (SAC'12), Mar 2012, Trento, Italy. pp.1916-1918, ⟨10.1145/2245276.2232091⟩
Conference papers hal-00761499v1

Eager Stack Cache Memory Transfers

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

Precise, efficient, and context-sensitive cache analysis

Florian Brandner , Camille Noûs
Real-Time Systems, 2021, ⟨10.1007/s11241-021-09372-5⟩
Journal articles hal-03559857v1
Image document

Parallel Copy Elimination on Data Dependence Graphs

Florian Brandner , Quentin Colombet
[Research Report] RR-7735, INRIA. 2011, pp.29
Reports inria-00625131v1

Studying Optimal Spilling in the Light of SSA

Quentin Colombet , Florian Brandner , Alain Darte
ACM Transactions on Architecture and Code Optimization, 2015, 11-4 (47), pp.26. ⟨10.1145/2685392⟩
Journal articles hal-01099016v1

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