Using Model Checking to Identify Timing Interferences on Multicore Processors - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2020

Using Model Checking to Identify Timing Interferences on Multicore Processors

Domaines

Génie logiciel [cs.SE] Calcul parallèle, distribué et partagé [cs.DC]
Fichier principal
Vignette du fichier
ERTS2020_paper_36.pdf (498.68 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Radu Mateescu  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-02462085

Soumis le : vendredi 31 janvier 2020-09:57:39

Dernière modification le : lundi 9 décembre 2024-03:34:21

Archivage à long terme le : vendredi 1 mai 2020-13:02:57

Télécharger pour visualiser

Dates et versions

hal-02462085 , version 1 (31-01-2020)

Identifiants

  • HAL Id : hal-02462085 , version 1

Citer

Viet Anh Nguyen, Eric Jenn, Wendelin Serwe, Frederic Lang, Radu Mateescu. Using Model Checking to Identify Timing Interferences on Multicore Processors. ERTS 2020 - 10th European Congress on Embedded Real Time Software and Systems, Jan 2020, Toulouse, France. pp.1-10. ⟨hal-02462085⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA CNRS INRIA LIG LIG_MFML_CONVECS CONVECS INRIA2 IRT_SAINT-EXUPERY ERTS2020 LIG_SIDCH
403 Consultations
312 Téléchargements

Partager

More