Filtrer vos résultats
- 57
- 10
- 49
- 11
- 4
- 1
- 1
- 1
- 1
- 63
- 10
- 8
- 7
- 1
- 2
- 5
- 4
- 7
- 5
- 6
- 1
- 2
- 2
- 6
- 5
- 4
- 4
- 2
- 2
- 2
- 2
- 1
- 2
- 2
- 57
- 10
- 31
- 27
- 14
- 7
- 7
- 6
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 67
- 24
- 16
- 7
- 6
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 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
- 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
- 1
67 résultats
|
WATERS Industrial Challenge 2017 with Prelude8th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS 2017), Jun 2017, Dubrovnik, Croatia
Communication dans un congrès
hal-03690252v1
|
||
|
LARD - Landing Approach Runway Detection - Dataset for Vision Based Landing2023
Pré-publication, Document de travail
hal-04056760v2
|
||
|
Programmation sûre de plates-formes embarquées de type multi/pluri-cœursLangage de programmation [cs.PL]. INPT, 2015
HDR
tel-01247922v1
|
||
|
Formal description of ML models for unambiguous implementation2023
Pré-publication, Document de travail
hal-04167435v1
|
||
Vers la génération de modèles de sûreté de fonctionnementconférences LMO'08 et CAL'08, Mar 2008, Montréal, France. pp.Non renseigne
Communication dans un congrès
hal-00517274v1
|
|||
|
Quality of Fault Injection Strategies on Hardware AcceleratorSAFECOMP 2022 : the 41st International conférence on Computer Safety, Reliability and Security, Sep 2022, Munich, Germany. pp.222-236, ⟨10.1007/978-3-031-14835-4_15⟩
Communication dans un congrès
hal-03941258v1
|
||
|
Model-Based Design, Analysis and Synthesis for TSP Multi-Core Space systemsERTS 2018, Jan 2018, Toulouse, France
Communication dans un congrès
hal-01700859v1
|
||
|
Identification of multi-core interference19th International Symposium on High Assurance Systems Engineering (HASE 2019), Jan 2019, Hangzou, China. ⟨10.1109/HASE.2019.00024⟩
Communication dans un congrès
hal-02441353v1
|
||
L'IA transporte dans le futurLe petit illustré, regards croisés de chercheur.es, 2020, pp.40-43
Article dans une revue
hal-03463284v1
|
|||
End-to-end latency computation in a multi-periodic design28th Symposium On Applied Computing (SAC'13), Apr 2013, Coimbra, Portugal. pp.1682--1687
Communication dans un congrès
hal-00863174v1
|
|||
|
Ordonnancement de tâches périodiques avec précédences étendues sans sémaphoresROADEF 2011, École Nationale Supérieure des Mines de Saint-Étienne, Mar 2011, SAINT ETIENNE, France
Communication dans un congrès
inria-00563798v1
|
||
|
Predictable Flight Management System Implementation on a Multicore ProcessorEmbedded Real Time Software (ERTS'14), Feb 2014, TOULOUSE, France
Communication dans un congrès
hal-01121700v1
|
||
|
Environnement de coopération de simulation pour la conception de systèmes cyber-physiquesJournal Européen des Systèmes Automatisés (JESA), 2013, vol. 47, pp. 13-27. ⟨10.3166/jesa.47.13-27⟩
Article dans une revue
hal-00926971v1
|
||
|
Patterns for Certification StandardsAdvanced Information Systems Engineering, 32nd International Conference, CAiSE 2020, Jun 2020, Grenoble, France. pp.417 - 432, ⟨10.1007/978-3-030-49435-3_26⟩
Communication dans un congrès
hal-03171837v1
|
||
|
Freshness and Reactivity Analysis in Globally Asynchronous Locally Time-Triggered Systems5th International Symposium on NASA Formal Methods (NFM 2013), May 2013, Moffett Field, CA, United States. pp. 93-107
Communication dans un congrès
hal-01228710v1
|
||
|
A synchronous language with partial delay specification for real-time systems programming10th Asian Symposium on Programming Languages and Systems, Dec 2012, Kyoto, Japan. pp.223-238
Communication dans un congrès
hal-00800975v1
|
||
Synchronization of Periodic ClocksACM Conference on Embedded Software (EMSOFT), 2005, Jersey City, NJ, United States. 339--342 (short paper)
Communication dans un congrès
hal-01257295v1
|
|||
|
Scheduling Dependent Periodic Tasks Without Synchronization Mechanisms16th IEEE Real-Time and Embedded Technology and Applications Symposium, Apr 2010, Stockholm, Sweden. pp.301--310
Communication dans un congrès
hal-00800980v1
|
||
|
Multi-core processor: Stepping inside the boxESREL 2021, Sep 2021, Angers, France
Communication dans un congrès
hal-03423962v1
|
||
|
A model-based certification approach for multi/many-core embedded systemsERTS 2018, Jan 2018, Toulouse, France
Communication dans un congrès
hal-01700857v1
|
||
|
New Challenges for Future Avionic Architectures.Aerospace Lab, 2012, 4, p. 1-10
Article dans une revue
hal-01184101v1
|
||
Points de vue et sémantiques ad hocAtelier SéMo'07, 2007, France. pp.Non renseigne
Communication dans un congrès
hal-00517285v1
|
|||
|
Modeling Cache Coherence to ExposeECRTS 2019, Jul 2019, Stuttgart, Germany. ⟨10.4230/LIPIcs.ECRTS.2019.18⟩
Communication dans un congrès
hal-02165139v1
|
||
|
A timed extension for AltaRicaFundamenta Informaticae, 2004, 62 (3--4), pp.291--332
Article dans une revue
inria-00363026v1
|
||
|
Challenges in the Certification of Computer Vision-Based SystemsAerospace Lab, 2020, ⟨10.12762/2020.AL15-06⟩
Article dans une revue
hal-03058399v1
|
||
|
Evaluation of DREAMS resource management solutions on a mixed-critical demonstratorERTS 2018, Jan 2018, Toulouse, France
Communication dans un congrès
hal-01700860v1
|
||
|
Multi-task implementation of multi-periodic synchronous programsDiscrete Event Dynamic Systems, 2011, 21 (3), pp.307-338. ⟨10.1007/s10626-011-0107-x⟩
Article dans une revue
inria-00638936v1
|
||
|
Egress-TT Configurations for TSN NetworksInternational Conference on Real-Time Networks and Systems RTNS 2022, Jun 2022, Paris, France
Communication dans un congrès
hal-03771301v1
|
||
|
Monitoring On-line Timing Information to Support Mixed-Critical WorkloadsIEEE Real-Time Systems Symposium 2013, Dec 2013, Vancouver, Canada. pp.9-10
Communication dans un congrès
hal-01015455v1
|
||
|
DREAMS about reconfiguration and adaptation in avionicsERTS 2016, Jan 2016, Toulouse, France
Communication dans un congrès
hal-01258701v1
|