Zobrazeno 1 - 10 of 123 pro vyhledávání: '"GÉNÉRATION DE CODE"'
1
Vérification et synthèse automatisées de systèmes distribués : appliqué en particulier à la plateforme SDN-IoT
Autor: Noordheen, Abdul Majith
Publikováno v: Networking and Internet Architecture [cs.NI]. Université Rennes 1, 2022. English. ⟨NNT : 2022REN1S035⟩
Towards the automation of Software-Defined Network (SDN) based Internet of Things (IoT) platforms, we are using formal analysis and synthesis techniques to ensure their safe behaviors. SDN a flexible and low cost networking principle which provides d
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c799575466d7f640e226c1fe56043bb7
https://theses.hal.science/tel-03882284/document
Zobrazit plný text záznamu
2
Une méthodologie fondée sur les modèles pour unifier l'ingénierie logicielle dans l'internet des objets
Autor: Berrouyne, Imad
Publikováno v: Modeling and Simulation. Ecole nationale supérieure Mines-Télécom Atlantique; Université du Québec à Chicoutimi, 2021. English. ⟨NNT : 2021IMTA0233⟩
The Internet of Things (IoT) aims for connecting Anything, Anywhere, Anytime (AAA).This assumption brings about a good deal of software engineering challenges. These challenges constitute a serious obstacle to its wider adoption. The main feature of
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0866e3e2c0c3b65b610f56cbab798edd
https://tel.archives-ouvertes.fr/tel-03273235/document
Zobrazit plný text záznamu
3
From SSA to Synchronous Concurrency and Back
Autor: Pompougnac, Hugo, Beaugnon, Ulysse, Cohen, Albert, Potop-Butucaru, Dumitru
Publikováno v: [Research Report] RR-9380, INRIA Sophia Antipolis-Méditerranée (France). 2020, pp.23
We are interested in the programming and compilation of reactive, real-time systems. More specifically, we would like to understand the fundamental principles common to generalpurpose and synchronous languages—used to model reactive control systems
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::bd7e12aa021ab58ad9b9d5be00574fd4
https://inria.hal.science/hal-03043623/file/RR-9380.pdf
Zobrazit plný text záznamu
4
Synthesis and real-time implementation of parameterized NMPC schemes for automotive semi-active suspension systems
Autor: Murali Madhavan Rathai, Karthik
Publikováno v: Engineering Sciences [physics]. GIPSA-Lab, 2020. English
Automatic. Université Grenoble Alpes [2020-..], 2020. English. ⟨NNT : 2020GRALT052⟩
This thesis discusses the synthesis and real-time (RT) implementation of parameterized Nonlinear Model Predictive Control (pNMPC) schemes for automotive semi-active suspension systems. The pNMPC scheme uses a black-box simulation-based optimization m
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a9c7d866f2f7e6e611ab2898e73d1f8d
https://hal.univ-grenoble-alpes.fr/tel-03137067/file/Karthik_PhDThesis.pdf
Zobrazit plný text záznamu
5
Polyhedral code generation : reducing overhead and increasing parallelism
Autor: Razanajato, Harenome
Publikováno v: Data Structures and Algorithms [cs.DS]. Université de Strasbourg, 2020. English. ⟨NNT : 2020STRAD015⟩
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Strasbourg (Unistra), FRA., 2020. English
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Strasbourg (Unistra), FRA., 2020. English. ⟨NNT : ⟩
This thesis proposes new extensions to the code generation phase in polyhedral compilers. The main focus of recent work on polyhedral compilation focus is the optimizations leveraged by polyhedral transformations while state-of-the-art code generatio
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::02c7a821399d0d9fdc4f26fe552ff4bc
https://tel.archives-ouvertes.fr/tel-03505851/document
Zobrazit plný text záznamu
6
Conception assistée de contrôleurs d'automates depuis des modèles UML
Autor: Andre, Pascal, Le Bars, Yannis
Publikováno v: MSR 2019-12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France
MSR 2019-12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France, Nov 2019, Angers, France
International audience; Le logiciel prend une place de plus en plus prépondérante dans les systèmes cyber-physiques, notamment grâce aux performances accrues des réseaux. Dans l'industrie du futur, le logiciel doit non seulement être de qualit
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::1d06395c23a6f70888a11a68a2beb31b
https://hal.archives-ouvertes.fr/hal-02431942
Zobrazit plný text záznamu
7
Génération automatique de code parallèle isochrone
Autor: Tachon, Thibaut
Publikováno v: Distributed, Parallel, and Cluster Computing [cs.DC]. Université d'Orléans, 2019. English. ⟨NNT : 2019ORLE3098⟩
Since we are in an era of processor clock stagnation, computing power growth has been relying on parallel computing. More than the algorithmic difficulty involved in any program writing, parallel computing additionally requires the programmer to mana
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::73929b7e9db4f9fdf1a979610153a799
https://tel.archives-ouvertes.fr/tel-03215462/document
Zobrazit plný text záznamu
8
Tracking haute frequence pour architectures SIMD : optimisation de la reconstruction LHCb
Autor: Lemaitre, Florian
Publikováno v: Algorithme et structure de données [cs.DS]. Sorbonne Université, 2019. Français. ⟨NNT : 2019SORUS221⟩
During this thesis, we studied linear algebra systems with small matrices (typically from 2x2 to 5x5) used within the LHCb experiment (and also in other domains like computer vision). Linear algebra libraries like Eigen, Magma or the MKL are not opti
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4f53b7e34c4e052d60dbeb77435d2305
http://cds.cern.ch/record/2668250
Zobrazit plný text záznamu
9
Towards an extensible framework for modelling and implementing correct and evolutive web applications, under variability hypothesis
Autor: Sferruzza, David
Publikováno v: Génie logiciel [cs.SE]. Université de Nantes, 2018. Français
Lots of software companies rely on web technologies to test market hypotheses and thereby develop viable businesses. They often need to be able to quickly build web services that are at the core of their "Minimum Viable Products" (MVP). In this conte
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______212::c96ef542e7722ac83f7e0daaa9d394f8
https://hal.archives-ouvertes.fr/tel-01903648v3/document
Zobrazit plný text záznamu
10
Plateforme extensible de modélisation et de construction d'applications web correctes et évolutives, avec hypothèse de variabilité
Autor: Sferruzza, David
Publikováno v: Génie logiciel [cs.SE]. Université de Nantes, 2018. Français
Lots of software companies rely on web technologies to test market hypotheses and thereby develop viable businesses. They often need to be able to quickly build web services that are at the core of their "Minimum Viable Products" (MVP). In this conte
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______2592::c96ef542e7722ac83f7e0daaa9d394f8
https://hal.archives-ouvertes.fr/tel-01903648v3/document
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje