Log in

Relevant bibliographies by topics / Langages de Construction de Matériel (HCLs)

Contents

Dissertations / Theses

Academic literature on the topic 'Langages de Construction de Matériel (HCLs)'

Author: Grafiati

Published: 25 May 2024

Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Langages de Construction de Matériel (HCLs).'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Dissertations / Theses on the topic "Langages de Construction de Matériel (HCLs)"

1

Ait, Bensaid Samira. "Formal Semantics of Hardware Compilation Framework." Electronic Thesis or Diss., université Paris-Saclay, 2023. http://www.theses.fr/2023UPASG085.

Full text

Abstract:

Les analyses statiques de pire temps d’exécution sont utilisées pour garantir les délais requis pour les systèmes critiques. Afin d’estimer des bornes précises sur ces temps d’exécution, ces analyses temporelles nécessitent des considérations sur la (micro)- architecture. Habituellement, ces modèles de micro-architecture sont construits à la main à partir des manuels des processeurs. Cependant, les initiatives du matériel libre et les langages de description de matériel de haut niveau (HCLs), permettent de réaborder la problématique de la génération automatique de ces modèles de micro-architec

APA, Harvard, Vancouver, ISO, and other styles

2

Taha, Safouan. "Modélisation conjointe logiciel/matériel de systèmes temps réel." Thesis, Lille 1, 2008. http://www.theses.fr/2008LIL10016/document.

Full text

Abstract:

Ce travail de thèse porte précisément sur la prise en charge du matériel embarqué dans la modélisation de l'application temps-réel. Afin d'améliorer le développement du matériel et de faciliter la communication des décisions architecturales au flot logiciel, nous avons adopté l'ingénierie dirigée par les modèles dans la conception, simulation et implantation de la plateforme matérielle. En effet, nous avons défini un langage de modélisation HRM (Hardware Resource Model) pour la description de plateformes matérielles sous différentes vues et à différents niveaux de détail. Nous avons ensuite co

APA, Harvard, Vancouver, ISO, and other styles

3

Berner, David. "Utilisation de méthodes formelles dans la conception conjointe de systèmes embarqués." Rennes 1, 2006. http://www.theses.fr/2006REN1S015.

Full text

Abstract:

La modélisation du contenu des puces pour systèmes embarqués s'avère de plus en plus difficile puisque le développement des outils et des méthodologies de modélisation n'a pas su accompagner l'explosion de la complexité des systèmes. Les méthodes formelles ont su démontrer dans les dernières années leurs capacités de prévention et de détection d'erreurs, ainsi que leurs avantages dans l'expression univoque de demandes et dans la spécification de systèmes. Malgré cela, leur utilisation reste toujours restreinte en raison d'un manque de liens avec les méthodes existantes et la difficulté de leur

APA, Harvard, Vancouver, ISO, and other styles

4

Huet, Sylvain Guillaume. "Intégration des contraintes d'interface dans la conception plate-forme, application à la radiocommunication." Lorient, 2006. http://www.theses.fr/2006LORIS078.

Full text

Abstract:

Pour tirer profits des avancées de la micro électronique, il est nécessaire que la productivité des concepteurs de systèmes électroniques évolue également selon la même tendance. Une piste de progrès certaine consiste à relever le niveau d'abstraction pour la spécification de ces systèmes et automatiser leur raffinement vers l'implémentation. Dans ce contexte, il est particulièrement intéressant d'envisager l'utilisation conjointe de l'outil CoFluent Studio, issu des recherches de l'équipe MCSE de l'école polytechnique de l'Université de Nantes, commercialisé par la société CoFluent Design et

APA, Harvard, Vancouver, ISO, and other styles

5

Aljer, Ammar. "Co-design et raffinement en B : BHDL tool, plateforme pourr la conception de composants numériques." Lille 1, 2004. https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/2004/50376-2004-Aljer.pdf.

Full text

Abstract:

Dans le cadre de la modélisation de systèmes complexes, la conception d'entrée ou appelée système représente le plus haut niveau d'abstraction du système global, ceci avant tout choix en terme d'implantation et de technologies. À ce tout premier stade de la conception, l'utilisation d'un langage formel de spécification est de plus en plus considéré comme le fondement d'un réel processus de validation en particulier dans le cas d'exigences de sûreté. Cette thèse met en lumière la nécessité d'une modélisation par raffinement: de la spécfication la plus abstraite vers un point de description proc

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!