Simulation efficace d architectures opérationnelles

Simulation efficace d architectures opérationnelles

Le travail de cette thèse s inscrit dans le contexte des systèmes embarqués temps réel. Ces systèmes exigent d importants efforts pour leur validation et leur vérification. Dans le cadre de cette thèse, nous nous intéressons plus particulièrement à la validation par simulation. Celle-ci peut se fair...

Description complète

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Bullich Adrien (Auteur), Trinquet Yvon (Directeur de thèse), Julien Nathalie (Président du jury de soutenance, Membre du jury), Auguin Michel (Rapporteur de la thèse, Membre du jury), Sainrat Pascal (Rapporteur de la thèse, Membre du jury)
Collectivités auteurs : Université de Nantes 1962-2021 (Organisme de soutenance), Université de Nantes Faculté des sciences et des techniques (Autre partenaire associé à la thèse), École doctorale Sciences pour l'ingénieur, Géosciences, Architecture Nantes (Ecole doctorale associée à la thèse), Institut de recherche en communications et cybernétique Nantes 1958-2017 (Laboratoire associé à la thèse)
Format : Thèse ou mémoire
Langue : français
anglais
Titre complet : Simulation efficace d architectures opérationnelles / Adrien Bullich; sous la direction de Yvon Trinquet
Publié : [Lieu de publication inconnu] : [éditeur inconnu] , 2014
Description matérielle : 1 vol. (107 p.)
Condition d'utilisation et de reproduction : Publication autorisée par le jury
Note de thèse : Thèse de doctorat : Informatique et applications : Nantes : 2014
Sujets :
Temps réel (informatique)
Architectures matérielles
Simulation compilée
Cycle Accurate Simulation
Thèses et écrits académiques
Documents associés : Reproduit comme: Simulation efficace d architectures opérationnelles

BU Sciences

Informations d'exemplaires de BU Sciences
‌ Cote Prêt Statut
Magasin aérotherme 2014 NANT 2053 Empruntable Disponible
Magasin aérotherme 2014 NANT 2053 Exclu du prêt Disponible