Performance analyses and code transformations for MATLAB applications

Autor: Kiepas, Patryk

Publikováno v: Computation and Language [cs.CL]. PSL Research University, 2019. English. ⟨NNT : 2019PSLEM063⟩
Computation and Language [cs.CL]. Université Paris sciences et lettres, 2019. English. ⟨NNT : 2019PSLEM063⟩

MATLAB is a computing environment with an easy programming language and a vast library of functions commonly used in Computation Science and Engineering (CSE) for fast prototyping. However, some features of its environment, such as its dynamic langua

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

Evaluation et amélioration des transformations de code pour soutenir l'évolution logicielle

Autor: de Souza Santos, Gustavo Jansen

Publikováno v: Software Engineering [cs.SE]. Université de Lille, 2017. English. ⟨NNT : ⟩
Software Engineering [cs.SE]. Université de Lille, 2017. English

In software development, change is the only constant. Software systems sometimes evolve in a substantial way and, during this process, sequences of code transformations (e.g., create a class, then override a method) are systematically performed in th

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::171cda57516c89c9939ad8e5106479e9
https://inria.hal.science/tel-01545596

Assisted Concurrent Program Verification by Code and Specification Transformation

Autor: Blanchard, Allan

Publikováno v: Génie logiciel [cs.SE]. Université d'Orléans (UO), 2016. Français. ⟨NNT : ⟩

Vérifier formellement des programmes concurrents est une tâche difficile. S’il existe différentes techniques pour la réaliser, très peu sont effectivement mises en œuvre pour des programmes écrits dans des langages de programmation réaliste

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3515::890808d3237ce11612fd9b62769fb82e
https://hal.science/tel-03624110

UN ENVIRONNEMENT PARALLÈLE DE DÉVELOPPEMENT HAUT NIVEAU POUR LES ACCÉLÉRATEURS GRAPHIQUES : MISE EN OEUVRE À L'AIDE D'OPENMP

Autor: Noaje, Gabriel

Les processeurs graphiques (GPU), originellement dédiés à l'accélération de traitements graphiques, ont une structure hautement parallèle. Les innovations matérielles et de langage de programmation ont permis d'ouvrir le domaine du GPGPU, où

Externí odkaz: http://tel.archives-ouvertes.fr/tel-00822285
http://tel.archives-ouvertes.fr/docs/00/82/22/85/PDF/These_Gabriel_Noaje.pdf

Identification d'opérateurs spécifiques pour la synthèse de haut niveau

Autor: Xiao, Chenglong

Il est de plus en plus fréquent de faire appel à des opérateurs spécifiques en conception de circuits. Les opérateurs spécifiques peuvent être mis en oeuvre par des unités matérielles dédiées, en vue de réduire la taille du code, d'améli

Externí odkaz: http://tel.archives-ouvertes.fr/tel-00759040
http://tel.archives-ouvertes.fr/docs/00/75/90/40/PDF/Thesis_C_Xiao.pdf