Výsledky vyhledávání - "programmation synchrone"

Analyse de dépendance vérifiée pour un langage synchrone à flot de données

Autor: Bourke, Timothy, Pesin, Basile, Pouzet, Marc

Publikováno v: Journées Francophones des Langages Applicatifs
JFLA 2023-34èmes Journées Francophones des Langages Applicatifs
JFLA 2023-34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.101-120

National audience; Vélus est une formalisation d'un langage synchrone à flots de données et de sa compilation dans l'assistant de preuve Coq. Il inclut une définition de la sémantique dynamique du langage, un compilateur produisant du code impé

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______165::b40678e08dde4f34f37719380fb24d2a
https://inria.hal.science/hal-03936656/document

Zobrazit plný text záznamu

Modular Analysis of Numerical Programs by Abstract Interpretation

Autor: Boutonnet, Rémy

Publikováno v: Data Structures and Algorithms [cs.DS]. Université Grenoble Alpes [2020-..], 2020. English. ⟨NNT : 2020GRALM004⟩
Software Engineering [cs.SE]. Université Grenoble Alpes, 2020. English

Any software bug or device malfunction in safety-critical systems can have catastrophicconsequences. The validation and analysis of programs in critical systems is of paramountimportance to guarantee that the software satisfies its specification and

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::45a1c15d9c4ee31874f4a62dec4df37c
https://theses.hal.science/tel-02554125v2

Zobrazit plný text záznamu

Modèles de programmation de haut niveau pour microcontrôleurs à faibles ressources

Autor: Varoumas, Steven

Publikováno v: Informatique et langage [cs.CL]. Sorbonne Université, 2019. Français. ⟨NNT : 2019SORUS394⟩

Microcontrollers are programmable integrated circuit embedded in multiple everyday objects. Due to their scarce resources, they often are programmated using low-level languages such as C or assembly languages. These languages don't provide the same a

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______2592::453a85a0ff4e932fa2409b2acebefa42
https://tel.archives-ouvertes.fr/tel-02426454v2/document

Zobrazit plný text záznamu

High-level programming models for microcontrollers with scarce resources

Autor: Varoumas, Steven

Publikováno v: Informatique et langage [cs.CL]. Sorbonne Université, 2019. Français
Informatique et langage [cs.CL]. Sorbonne Université, 2019. Français. ⟨NNT : 2019SORUS394⟩

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::453a85a0ff4e932fa2409b2acebefa42
https://tel.archives-ouvertes.fr/tel-02426454/document

Zobrazit plný text záznamu

Dissertation/ Thesis

Coordination modulaire de gestionnaires autonomes par contrôle discret

Autor: Gueye, Soguy Mak-Karé

Les systèmes informatiques sont devenus de plus en plus distribués et hétérogènes, ce qui rend leur administration manuelle difficile et source d'erreurs. L'administration autonome a été proposée comme solution à ce problème. Elle consiste

Externí odkaz: http://www.theses.fr/2014GRENM097/document

Zobrazit plný text záznamu

Modular Coordination of Autonomic Managers Using Discrete Control

Autor: Gueye, Soguy Mak-Karé

Publikováno v: Systèmes et contrôle [cs.SY]. Université de Grenoble, 2014. Français. ⟨NNT : 2014GRENM097⟩
Calcul parallèle, distribué et partagé [cs.DC]. Universite de Grenoble, 2014. Français

Computing systems have become more and more distributed and heterogeneous, making their manual administration difficult and error-prone. The Autonomic Computing approach has been proposed to overcome this issue, by automating the administration of co

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e79b72d02888d0996b93e7ce7ffc4218
https://tel.archives-ouvertes.fr/tel-01547204/document

Zobrazit plný text záznamu

Dissertation/ Thesis

Design and Analysis for Multi-Clock and Data-Intensive Applications on Multiprocessor Systems-on-Chip

Autor: Gamatié, Abdoulaye

Avec l'intégration croissante des fonctions, les systèmes embarqués modernes deviennent très intelligents et sophistiqués. Les exemples les plus emblématiques de cette tendance sont les téléphones portables de dernière génération, qui offr

Externí odkaz: http://tel.archives-ouvertes.fr/tel-00756967
http://tel.archives-ouvertes.fr/docs/00/86/00/26/PDF/Gamatie-HDR.pdf

Zobrazit plný text záznamu

Dissertation/ Thesis

Programmation synchrone de pilotes de périphériques pour un contrôle global de ressources dans les systèmes embarqués

Autor: Berthier, Nicolas

Le travail présenté dans cette thèse porte sur la conception de logiciels pour systèmes embarqués. Outre les contraintes de programmation provenant des faibles quantité de mémoire et capacité de calcul, ces plates-formes matérielles ne dispo

Externí odkaz: http://www.theses.fr/2012GRENM024/document

Zobrazit plný text záznamu

Synchronous Programming of Device Drivers for Global Resource Control in Embedded Operating Systems

Autor: Berthier, Nicolas

Publikováno v: Autre [cs.OH]. Université de Grenoble, 2012. Français. ⟨NNT : 2012GRENM024⟩

This thesis is about the design of software for embedded systems. The hardware platforms usually employed in these systems provide a limited amount of memory, computational power and energy. The software they execute is then constrained by such limit

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::fa537cdef84d6cad6193f674f215318f
https://tel.archives-ouvertes.fr/tel-00727281/document

Zobrazit plný text záznamu

Formalisation des relations temporelles entre une partition et une performance musicale dans un contexte d’accompagnement automatique

Autor: Echeveste, José, Cont, Arshia, Jacquemard, Florent, Giavitto, Jean-Louis

Publikováno v: Modélisation des systèmes réactifs (MSR 11)
Modélisation des systèmes réactifs (MSR 11), Nov 2011, Lille, France. pp.109-124

cote interne IRCAM: Echeveste11c; None / None; International audience; Nous présentons les problématiques temps réel de l’accompagnement musical automatique vu comme un système réactif. Nous introduisons un modèle de datation prenant en compt

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d8dd23f3d338ce9ffabf8100083dfd07
https://hal.archives-ouvertes.fr/hal-01156639

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání