Filter your results
- 9
- 6
- 11
- 3
- 1
- 15
- 3
- 1
- 3
- 4
- 1
- 3
- 14
- 1
- 15
- 15
- 1
- 1
- 1
- 8
- 7
- 7
- 5
- 4
- 4
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
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
|
||
|
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
|
||
Brief Announcement: On Decidability of 2-Process Affine ModelsDISC, Oct 2020, VIRTUAL, France
Conference papers
hal-03022583v1
|
|||
|
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
|
|||
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
|
|||
|
Perfect failure detection with very few bitsInformation and Computation, 2020, 275, pp.104604. ⟨10.1016/j.ic.2020.104604⟩
Journal articles
hal-03559548v1
|
||
|
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
|
||
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
|
|||
|
Affine Tasks for k-Test-and-Set2020
Preprints, Working Papers, ...
hal-01810601v2
|
||
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
|
|||
|
Arbitration-Induced Preemption Delays31st Euromicro Conference on Real-Time Systems, Jul 2019, Stuttgart, Germany. ⟨10.4230/LIPIcs.ECRTS.2019.19⟩
Conference papers
hal-02447339v1
|
||
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
|