Filter your results
- 13
- 9
- 13
- 6
- 1
- 1
- 1
- 1
- 21
- 1
- 3
- 1
- 3
- 6
- 1
- 2
- 1
- 4
- 1
- 21
- 1
- 22
- 18
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 11
- 9
- 8
- 6
- 5
- 5
- 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
|
|
sorted by
|
|
Reconfigurable Lattice Agreement and Applications[Research Report] Institut Polytechnique Paris; CEA List. 2019
Reports
cea-02321547v1
|
||
|
Work-conserving dynamic TDM-based memory arbitration for multi-criticality real-time systemsHardware Architecture [cs.AR]. Université Paris Saclay (COmUE), 2019. English. ⟨NNT : 2019SACLT044⟩
Theses
tel-02494421v1
|
||
Brief Announcement: On Decidability of 2-Process Affine ModelsDISC, Oct 2020, VIRTUAL, France
Conference papers
hal-03022583v1
|
|||
|
Brief Announcement: Accountability and Reconfiguration -Self-Healing Lattice Agreement35th International Symposium on Distributed Computing (DISC 2021), Oct 2021, Freibourg, Germany. ⟨10.4230/LIPIcs.DISC.2021.54⟩
Conference papers
hal-03559551v1
|
||
Dynamic Arbitration of Memory Requests with TDM-like GuaranteesWorkshop on Compositional Theory and Technology for Real-Time Embedded Systems, Dec 2017, Paris, France
Conference papers
hal-02287739v1
|
|||
A scheduling algorithm to reduce the static energy consumption of multiprocessor real-time systemsRTNS '13 Proceedings of the 21st International conference on Real-Time Networks and Systems, Oct 2013, Sophia Antipolis, France. pp.99-108, ⟨10.1145/2516821.2516839⟩
Conference papers
cea-01818894v1
|
|||
Handling criticality mode change in time-triggered systems through linear programmingAda User Journal, 2014, 35 (2), pp.133-137
Journal articles
cea-01844456v1
|
|||
|
Réduction de la consommation statique des systèmes temps-réel multiprocesseursÉcole d’Été Temps Réel (ETR‘13), Aug 2013, Toulouse, France. pp.1-4
Conference papers
hal-00922521v1
|
||
Reconfigurable Lattice Agreement and ApplicationsOPODIS, Dec 2019, Neuchatel, Switzerland
Conference papers
hal-03022570v1
|
|||
|
Mixed-Criticality Multiprocessor Real-Time Systems: Energy Consumption vs Deadline MissesFirst Workshop on Real-Time Mixed Criticality Systems (ReTiMiCS), Aug 2013, Taipei, Taiwan. pp.1-6
Conference papers
hal-00922522v1
|
||
Scheduling algorithms to reduce the static energy consumption of real-time systemsExperiments in Fluids, 2015, 56 (3), pp.153-191. ⟨10.1007/s11241-014-9207-7⟩
Journal articles
cea-01846864v1
|
|||
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
|
|||
|
An off-line multiprocessor real-time scheduling algorithm to reduce static energy consumptionFirst Workshop on Highly-Reliable Power-Efficient Embedded Designs (HARSH), Feb 2013, Shenzhen, China. pp.7-12
Conference papers
hal-00919169v1
|
||
|
Perfect failure detection with very few bitsInformation and Computation, 2020, 275, pp.104604. ⟨10.1016/j.ic.2020.104604⟩
Journal articles
hal-03559548v1
|
||
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, France. pp.91-102, ⟨10.1109/RTCSA55878.2022.00016⟩
Conference papers
hal-03867187v1
|
|||
|
Arbitration-Induced Preemption Delays31st Euromicro Conference on Real-Time Systems, Jul 2019, Stuttgart, Germany. ⟨10.4230/LIPIcs.ECRTS.2019.19⟩
Conference papers
hal-02447339v1
|
||
|
Flex-eWare: a Flexible MDE-based Solution for Designing and Implementing Embedded Distributed SystemsSoftware: Practice and Experience, 2012, 42 (12), pp.1467-1494. ⟨10.1002/spe.1143⟩
Journal articles
istex
inria-00628310v1
|
||
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⟩
Journal articles
hal-03702426v1
|
|||
|
Affine Tasks for k-Test-and-Set2020
Preprints, Working Papers, ...
hal-01810601v2
|
||
Arbitration-Induced Preemption Delays31st Euromicro Conference on Real-Time Systems (ECRTS 2019), Jul 2019, Stuttgart,, Germany
Conference papers
hal-02447655v1
|
|||
Work-conserving dynamic time-division multiplexing for multi-criticality systemsReal-Time Systems, 2019, ⟨10.1007/s11241-019-09336-w⟩
Journal articles
hal-02447512v1
|
|||
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⟩
Conference papers
hal-03702493v1
|