Filtrer vos résultats
- 33
- 11
- 24
- 9
- 4
- 3
- 1
- 1
- 1
- 1
- 2
- 43
- 3
- 3
- 3
- 2
- 4
- 4
- 4
- 1
- 5
- 8
- 1
- 1
- 3
- 2
- 43
- 1
- 28
- 15
- 8
- 8
- 7
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 44
- 7
- 7
- 7
- 6
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
44 résultats
|
|
|
triés par
|
|
|
Towards a Time-predictable Dual-Issue Microprocessor: The Patmos ApproachBringing 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⟩
Communication dans un congrès
inria-00585320v1
|
||
Proceedings of the 11th Workshop on Optimizations for DSP and Embedded SystemsFlorian 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/Recueil des communications
hal-01108022v1
|
|||
|
|
Modeling the energy consumption of programs: thermal aspects and Energy/Frequency Convexity RuleThe Ninth International Conference on Wireless Communications and Signal Processing (WCSP 2017), Oct 2017, Nanjing, China. pp.1-10
Communication dans un congrès
hal-01622778v1
|
||
Shedding the Shackles of Time-Division MultiplexingRTSS 2018 - IEEE Real-Time Systems Symposium, Dec 2018, Nashville, France. pp.456-468, ⟨10.1109/RTSS.2018.00059⟩
Communication dans un congrès
hal-01994629v1
|
|||
A loosely synchronizing asynchronous router for TDM-scheduled NOCsInternational Symposium on Networks-on-Chip, Davide Bertozzi; Luca Benini, Sep 2014, Ferrara, Italy. pp.8, ⟨10.1109/NOCS.2014.7008774⟩
Communication dans un congrès
hal-01108070v1
|
|||
|
|
Alignment of Memory Transfers of a Time-Predictable Stack Cache2014, pp.4
Autre publication scientifique
hal-01108105v1
|
||
From the Standards to Silicon : Formally Proved Memory ControllersNFM 2023 : NASA Formal Methods Symposium, NASA Formal Methods, May 2023, Houston (TX), United States. pp.295-311, ⟨10.1007/978-3-031-33170-1_18⟩
Communication dans un congrès
hal-04337961v1
|
|||
|
|
Building the Case for Temperature Awareness in Energy Consumption Models: an Application of the Energy-Frequency Convexity Rule2018
Pré-publication, Document de travail
hal-01939768v1
|
||
|
|
The Role of Causality in a Formal Definition of Timing Anomalies2022 IEEE 28th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Aug 2022, Taipei, Taiwan. pp.91-102, ⟨10.1109/RTCSA55878.2022.00016⟩
Communication dans un congrès
hal-03867187v1
|
||
Criticality: static profiling for real-time programsReal-Time Systems, 2014, 50 (3), pp.377-410. ⟨10.1007/s11241-013-9196-y⟩
Article dans une revue
hal-01108039v1
|
|||
|
|
Computing Liveness Sets for SSA-Form Programs[Research Report] RR-7503, INRIA. 2011, pp.25
Rapport
inria-00558509v2
|
||
|
|
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
Communication dans un congrès
hal-01056216v1
|
||
Scalable Detection of Amplification Timing Anomalies for the Superscalar TriCore ArchitectureInternational Conference on Formal Methods for Industrial Critical Systems, Sep 2020, Vienna, Austria
Communication dans un congrès
hal-03022552v1
|
|||
|
|
Arbitration-Induced Preemption Delays31st Euromicro Conference on Real-Time Systems (ECRTS 2019), Jul 2019, Stuttgart, Germany. ⟨10.4230/LIPIcs.ECRTS.2019.19⟩
Communication dans un congrès
hal-02447339v1
|
||
Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architectureInternational Journal on Software Tools for Technology Transfer, 2022, 24 (3), pp.415-440. ⟨10.1007/s10009-022-00655-1⟩
Article dans une revue
hal-03702426v1
|
|||
Precise and Efficient Analysis of Context-Sensitive Cache Conflict SetsRTNS 2020: 28th International Conference on Real-Time Networks and Systems, Jun 2020, Paris France, France. pp.44-55, ⟨10.1145/3394810.3394811⟩
Communication dans un congrès
hal-02894150v1
|
|||
Completeness of automatically generated instruction selectors21st IEEE International Conference on Application-specific Systems Architectures and Processors (ASAP), Jul 2010, Rennes, France. pp.175 - 182, ⟨10.1109/ASAP.2010.5540994⟩
Communication dans un congrès
ensl-00531354v1
|
|||
Procede et circuit de multiplexage temporel d'acces concurrents a une ressource informatiqueFrance, Patent n° : FR3087982A1. 2018
Brevet
hal-04487710v1
|
|||
Work-conserving dynamic time-division multiplexing for multi-criticality systemsReal-Time Systems, 2019, ⟨10.1007/s11241-019-09336-w⟩
Article dans une revue
hal-02447512v1
|
|||
Execution Models for Processors and InstructionsNORCHIP 2010, IEEE, Nov 2010, Finland
Communication dans un congrès
ensl-00537179v1
|
|||
A Coq Framework for More Trustworthy DRAM ControllersRTNS 2022: The 30th International Conference on Real-Time Networks and Systems, Jun 2022, Paris France, France. pp.140-150, ⟨10.1145/3534879.3534907⟩
Communication dans un congrès
hal-03702493v1
|
|||
Refinement of worst-case execution time bounds by graph pruningComputer Languages, Systems and Structures, 2014, 40 (3-4), pp.16. ⟨10.1016/j.cl.2014.09.001⟩
Article dans une revue
hal-01108029v1
|
|||
Procédé de calcul d’un pire temps de transmission, programme d’ordinateur et système informatique associésFrance, N° de brevet: 2312310 (n°de dépôt). 2023
Brevet
hal-04516962v1
|
|||
|
|
Analysis of preemption costs for the stack cacheReal-Time Systems, 2018, ⟨10.1007/s11241-018-9298-7⟩
Article dans une revue
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⟩
Communication dans un congrès
hal-01246348v1
|
|||
Exchange between the German and French Compiler Communities18. Kolloquium Programmiersprachen und Grundlagen der Programmierung, Oct 2015, Pörtschach am Wörthersee, Austria. pp.83-84
Communication dans un congrès
hal-02287275v1
|
|||
Propagating Information Using SSASSA-based Compiler Design, Springer International Publishing, pp.95-106, 2021, 978-3-030-80514-2. ⟨10.1007/978-3-030-80515-9_8⟩
Chapitre d'ouvrage
hal-04341913v1
|
|||
Copy Elimination on Data Dependence Graphs27th Annual ACM Symposium on Applied Computing (SAC'12), Mar 2012, Trento, Italy. pp.1916-1918, ⟨10.1145/2245276.2232091⟩
Communication dans un congrès
hal-00761499v1
|
|||
|
|
Studying Optimal Spilling in the Light of SSAACM Transactions on Architecture and Code Optimization, 2015, 11-4 (47), pp.26. ⟨10.1145/2685392⟩
Article dans une revue
hal-01099016v1
|
||
|
|
Parallel Copy Elimination on Data Dependence Graphs[Research Report] RR-7735, INRIA. 2011, pp.29
Rapport
inria-00625131v1
|
- 1
- 2