المؤلفون: Ferry, Corentin

المساهمون: Architectures matérielles spécialisées pour l’ère post loi-de-Moore (TARAN), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-ARCHITECTURE (IRISA-D3), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Université de Rennes, Colorado state university, Steven Derrien, Sanjay Rajopadhye‎

المصدر: https://theses.hal.science/tel-04688766 ; Performance [cs.PF]. Université de Rennes; Colorado state university, 2024. English. ⟨NNT : 2024URENS007⟩.

مصطلحات موضوعية: Compilers, Memory, High-Level Synthesis, Compilateurs (informatique), Mémoires (ordinateurs), Synthèse HLS, [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]

Relation: NNT: 2024URENS007

الاتاحة: https://theses.hal.science/tel-04688766
https://theses.hal.science/tel-04688766v1/document
https://theses.hal.science/tel-04688766v1/file/FERRY_Corentin.pdf

المؤلفون: de Senarclens, Vanessa

مصطلحات موضوعية: Voltaire, Justice, Excerpts, Enlightenment, “Compilateurs”, Scholarly practice, La Barre case, 900 Geschichte, Geografie und Hilfswissenschaften, ddc:900

وصف الملف: application/pdf

Relation: http://edoc.hu-berlin.de/18452/22212; urn:nbn:de:kobv:11-110-18452/22212-9; http://dx.doi.org/10.18452/21469

الاتاحة: http://edoc.hu-berlin.de/18452/22212
https://nbn-resolving.org/urn:nbn:de:kobv:11-110-18452/22212-9
https://doi.org/10.18452/21469
https://doi.org/10.1002/bewi.201900029

المؤلفون: Parker, Travis W.

المصدر: DTIC

الموضوعات: R (Computer program language) Handbooks, manuals, etc., Compilers (Computer programs) Software Handbooks, manuals, etc., R (Langage de programmation) Guides, manuels, etc., Compilateurs (Logiciels) Logiciels Guides, manuels, etc., Compilers (Computer programs), R (Computer program language)

مصطلحات الفهرس: Computer Programming and Software, CONFIGURATIONS, SOFTWARE TOOLS, FILES(RECORDS), ONLINE SYSTEMS, PROGRAMMERS, SOFTWARE ENGINEERING, AUTOTOOLS, Text, handbooks., Handbooks and manuals, Handbooks and manuals., Guides et manuels.

URL: https://purl.fdlp.gov/GPO/gpo125798
https://apps.dtic.mil/dtic/tr/fulltext/u2/a553215.pdf
https://apps.dtic.mil/docs/citations/ADA553215

المؤلفون: Clément, Basile

المساهمون: Langages de programmation : systèmes de types, concurrence, preuve de programme (CAMBIUM), Collège de France (CdF (institution))-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Département d'informatique - ENS Paris (DI-ENS), École normale supérieure - Paris (ENS-PSL), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), École Normale Supérieure (Paris), Xavier Leroy, Albert Cohen

المصدر: Computer Science [cs]. École Normale Supérieure (Paris), 2022. English. ⟨NNT : ⟩

مصطلحات موضوعية: Formal verification, Modèle polyédrique, Validation de traduction, Tensor compilers, [INFO]Computer Science [cs], Translation validation, Polyhedral model, Vérificatin formelle, Compilateurs de tenseurs

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od_______165::9c4465cd4f8f92c5a130447d5f0ee04b
https://theses.hal.science/tel-03903895/document

المؤلفون: Boman, Romain

المصدر: Geeks Anonymes, Liège, Belgium [BE]

مصطلحات موضوعية: Metafor, éléments finis, bibliothèques, cmake, vtk, qt, swig, python, compilateurs, Engineering, computing & technology, Computer science, Ingénierie, informatique & technologie, Sciences informatiques

Relation: http://www.slideshare.net/romainboman/dvelopper-des-codes-de-simulation-numrique-avec-une-quipe-non-geek-lulg

URL الوصول: https://orbi.uliege.be/handle/2268/198727

المؤلفون: Clément, Basile

المساهمون: Département d'informatique - ENS-PSL (DI-ENS), École normale supérieure - Paris (ENS-PSL), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Langages de programmation : systèmes de types, concurrence, preuve de programme (CAMBIUM), Collège de France (CdF (institution))-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Université Paris sciences et lettres, Xavier Leroy, Albert Henri Cohen

المصدر: https://theses.hal.science/tel-04903791 ; Machine Learning [cs.LG]. Université Paris sciences et lettres, 2022. English. ⟨NNT : 2022UPSLE096⟩.

مصطلحات موضوعية: Translation validation, Polyhedral model, Tensor compilers, Formal verification, Validation de traduction, Modèle polyédrique, Compilateurs de tenseurs, Vérification formelle, [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG]

Relation: NNT: 2022UPSLE096

الاتاحة: https://theses.hal.science/tel-04903791
https://theses.hal.science/tel-04903791v2/document
https://theses.hal.science/tel-04903791v2/file/Clement_2022_Basile.pdf

المؤلفون: Maalej, Maroua, Paisante, Vitor, Quintão Pereira, Fernando Magno, Gonnord, Laure

المساهمون: Optimisation des ressources : modèles, algorithmes et ordonnancement (ROMA), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Centre National de la Recherche Scientifique (CNRS), Université de Lyon, Laboratoire de l'Informatique du Parallélisme (LIP), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Laboratório de Linguagens de Programação (LLP), Departamento de Ciência da Computação Minas Gerais (DCC - UFMG), Universidade Federal de Minas Gerais = Federal University of Minas Gerais Belo Horizonte, Brazil (UFMG)-Universidade Federal de Minas Gerais = Federal University of Minas Gerais Belo Horizonte, Brazil (UFMG), Université Claude Bernard Lyon 1 (UCBL), This work was supported by the LABEX MILYON (ANR-10-LABX-0070) of Université de Lyon,within the program "Investissements d'Avenir" (ANR-11-IDEX-0007) operated by the French National Research Agency (ANR)., ENS Lyon, CNRS, INRIA

المصدر: https://inria.hal.science/hal-01429777 ; [Research Report] RR-9076, ENS Lyon; CNRS; INRIA. 2016.

مصطلحات موضوعية: Points-to Analysis, Pentagons, Compiler Construction, Static Analysis, Less-Than Check, Abstract Interpretation, Interprétation Abtraite, "plus petit que", Analyses statiques, Compilateurs, [INFO]Computer Science [cs]

Relation: Report N°: RR-9076; hal-01429777; https://inria.hal.science/hal-01429777; https://inria.hal.science/hal-01429777v2/document; https://inria.hal.science/hal-01429777v2/file/RR-9076.pdf

الاتاحة: https://inria.hal.science/hal-01429777
https://inria.hal.science/hal-01429777v2/document
https://inria.hal.science/hal-01429777v2/file/RR-9076.pdf

المؤلفون: Grange, Huw

مصطلحات موضوعية: Compilateurs m��di��vaux, Oral testimony, Renown, D��tail textuel, Medieval compilers, Renomm��e, Genetic analysis, Textual detail, Analyse g��n��tique, T��moignage oral

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::26d54fdc2699516dffaff45dc0002a38

المؤلفون: Considine, Breandan

Thesis Advisors: Paull, Liam, Famelis, Michalis

مصطلحات موضوعية: Kotlin, Docker, Génie logiciel, Software engineering, Apprentissage automatique, Machine learning, Mathématiques appliquées, Applied mathematics, Langages de programmation, Programming languages, Outils de programmation, Programming tools, Systèmes de type, Type systems, Différenciation automatique, Automatic differentiation, Tests automatisés, Automated testing, Systémes embarqués, Embedded systems, Systèmes intelligents, Intelligent systems, Machines virtuelles, Virtual machines, ROS, Metamorphic testing, Programmation différenciable, Differentiable programming, Programmation probabiliste, Probabilistic programming, Programmation fonctionnelle, Functional programming, Compilateurs, Compilers, Generative modeling, Modélisation générative, Rétropropagation, Backpropagation, Fuzzing, Test métamorphique, Test de propriété, Property-based testing, Analyse statique, Static analysis, Moteur de production, Build automation, Intégration continue, Continuous integration, Applied Sciences - Artificial Intelligence / Sciences appliqués et technologie - Intelligence artificielle (UMI : 0800)

الاتاحة: http://hdl.handle.net/1866/24310
https://orcid.org/0000-0002-0174-4322

المؤلفون: Anapparakkal, Arif Ali

المساهمون: Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria), Pushing Architecture and Compilation for Application Performance (PACAP), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-ARCHITECTURE (IRISA-D3), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Bretagne Sud (UBS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-CentraleSupélec-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Bretagne Sud (UBS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-École normale supérieure - Rennes (ENS Rennes)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Université Rennes 1, Erven Rohou, Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Université de Rennes, Université de Rennes 1 [UR1], Erven ROHOU

المصدر: Other [cs.OH]. Université Rennes 1, 2019. English. ⟨NNT : 2019REN1S114⟩
Other [cs.OH]. Université de Rennes, 2019. English. ⟨NNT : 2019REN1S114⟩
Other [cs.OH]. Université de Rennes 1 [UR1], 2019. English
Other [cs.OH]. Université de Rennes 1 [UR1], 2019. English. ⟨NNT : ⟩

مصطلحات موضوعية: Dynamic optimization, Remplacement de fonctions en ligne, Compilers, Online function replacement, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], Compilateurs, Optimisation dynamique

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::429146f5efd4c887a3cefef1dc3e4f23
https://tel.archives-ouvertes.fr/tel-02972362/file/ANAPPARAKKAL_Arif.pdf

المؤلفون: Anapparakkal, Arif Ali

المساهمون: Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria), Pushing Architecture and Compilation for Application Performance (PACAP), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-ARCHITECTURE (IRISA-D3), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Bretagne Sud (UBS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-CentraleSupélec-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Bretagne Sud (UBS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-École normale supérieure - Rennes (ENS Rennes)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Université Rennes 1, Erven Rohou, Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Université de Rennes, Université de Rennes 1 [UR1], Erven ROHOU

المصدر: Other [cs.OH]. Université Rennes 1, 2019. English. ⟨NNT : 2019REN1S114⟩
Other [cs.OH]. Université de Rennes, 2019. English. ⟨NNT : 2019REN1S114⟩
Other [cs.OH]. Université de Rennes 1 [UR1], 2019. English. ⟨NNT : ⟩
Other [cs.OH]. Université de Rennes 1 [UR1], 2019. English

مصطلحات موضوعية: Dynamic optimization, Remplacement de fonctions en ligne, Compilers, Online function replacement, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], Compilateurs, Optimisation dynamique

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::79ff3911709ef6fe620efc1030a043fd
https://tel.archives-ouvertes.fr/tel-02972362/file/ANAPPARAKKAL_Arif.pdf

المؤلفون: Fournel, Nicolas, Fraboulet, Antoine, Feautrier, Paul

المساهمون: Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Laboratoire de l'informatique du parallélisme

المصدر: https://hal-lara.archives-ouvertes.fr/hal-02102406 ; [Research Report] LIP RR-2006-37, Laboratoire de l'informatique du parallélisme. 2006, 2+32p.

مصطلحات موضوعية: Embedded systems, Energy consumption model, Optimizing compilers cost functions, Simulation instrumentation, Fonctions de coût pour compilateurs optimiseurs, Instrumentation pour la simulation, Modèle de consommation énergétique, Systèmes embarqués, [INFO]Computer Science [cs]

الاتاحة: https://hal-lara.archives-ouvertes.fr/hal-02102406
https://hal-lara.archives-ouvertes.fr/hal-02102406v1/document
https://hal-lara.archives-ouvertes.fr/hal-02102406v1/file/RR2006-37.pdf

المؤلفون: Anapparakkal, Arif Ali

المساهمون: Pushing Architecture and Compilation for Application Performance (PACAP), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-ARCHITECTURE (IRISA-D3), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Université de Rennes 1 UR1, Erven ROHOU

المصدر: https://inria.hal.science/tel-02394383 ; Other [cs.OH]. Université de Rennes 1 [UR1], 2019. English. ⟨NNT : ⟩.

مصطلحات موضوعية: Compilers, Dynamic Optimization, Online Function Replacement, Compilateurs, optimisation dynamique, remplacement de fonctions en ligne, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]

الاتاحة: https://inria.hal.science/tel-02394383
https://inria.hal.science/tel-02394383v1/document
https://inria.hal.science/tel-02394383v1/file/Thesis_Arif_Dec_4_2019.pdf

المؤلفون: Anapparakkal, Arif Ali

المساهمون: Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria), Pushing Architecture and Compilation for Application Performance (PACAP), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-ARCHITECTURE (IRISA-D3), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Université de Rennes, Erven Rohou

المصدر: https://theses.hal.science/tel-02972362 ; Other [cs.OH]. Université de Rennes, 2019. English. ⟨NNT : 2019REN1S114⟩.

مصطلحات موضوعية: Compilers, Dynamic optimization, Online function replacement, Compilateurs, Optimisation dynamique, Remplacement de fonctions en ligne, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]

Relation: NNT: 2019REN1S114

الاتاحة: https://theses.hal.science/tel-02972362
https://theses.hal.science/tel-02972362v1/document
https://theses.hal.science/tel-02972362v1/file/ANAPPARAKKAL_Arif.pdf

المؤلفون: Rodriguez Cancio, Marcelino

Thesis Advisors: Rennes 1, Baudry, Benoit, Combemale, Benoît

مصطلحات موضوعية: Computation Approximée, Optimisation des compilateurs, Diversité logicielle, Compression avec perte, Microbenchmark, Approximate computing, Compiler optimizations, Software diversity, Lossy compression

الاتاحة: http://www.theses.fr/2017REN1S071/document

المؤلفون: Maalej Kammoun, Maroua

Thesis Advisors: Lyon, Vivien, Frédéric, Gonnord, Laure

مصطلحات موضوعية: Compilateurs, Optimisations, Analyse statique, Interprétation abstraite, Compilers, Optimizations, Static analyses, Abstract interpretation, 004

الاتاحة: http://www.theses.fr/2017LYSE1167/document

المؤلفون: Hamadi, Salaheddine

مصطلحات موضوعية: Compilation (Informatique), Compilateurs -- Conception et construction, Réseaux SDN, Réseaux d'ordinateurs -- Gestion

وصف الملف: application/pdf

Relation: http://archipel.uqam.ca/9417/; http://archipel.uqam.ca/9417/1/M14809.pdf; Hamadi, Salaheddine (2017). « Un compilateur de traitement du paquet pour les réseaux multi-tenants » Mémoire. Montréal (Québec, Canada), Université du Québec à Montréal, Maîtrise en informatique.

الاتاحة: http://archipel.uqam.ca/9417/1/M14809.pdf

المؤلفون: Andrault-Schmitt, Claude

المساهمون: Centre d'études supérieures de civilisation médiévale UMR 7302 (CESCM Poitiers ), Université de Poitiers = University of Poitiers (UP)-Centre National de la Recherche Scientifique (CNRS)

المصدر: ISSN: 0007-9731.

مصطلحات موضوعية: Ordre grandmontain, monachisme médiéval, pratiques funéraires, compilateurs, historiographie, aristocratie, Plantagenêts, [SHS.HIST]Humanities and Social Sciences/History, [SHS.ART]Humanities and Social Sciences/Art and art history, [SHS.ARCHI]Humanities and Social Sciences/Architecture, space management

Relation: halshs-01415381; https://shs.hal.science/halshs-01415381

الاتاحة: https://shs.hal.science/halshs-01415381

المؤلفون: Andrault-Schmitt, Claude

المساهمون: Centre d'Etudes Supérieures de Civilisation médiévale (CESCM), Université de Poitiers-Centre National de la Recherche Scientifique (CNRS)

المصدر: Hyper Article en Ligne - Sciences de l'Homme et de la Société ; ISSN: 0007-9731 ; EISSN: 2119-1026 ; Cahiers de Civilisation Médiévale ; Cahiers de Civilisation Médiévale, C.E.S.C.M, 2016, 59 (233), pp.113-141

مصطلحات موضوعية: Ordre grandmontain, monachisme médiéval, pratiques funéraires, compilateurs, historiographie, aristocratie, Plantagenêts, hist, scipo

Relation: halshs-01415381; 10670/1.44ai5q; https://halshs.archives-ouvertes.fr/halshs-01415381

الاتاحة: https://halshs.archives-ouvertes.fr/halshs-01415381

المؤلفون: Maalej Kammoun, Maroua

المساهمون: Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Optimisation des ressources : modèles, algorithmes et ordonnancement (ROMA), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire de l'Informatique du Parallélisme (LIP), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Centre National de la Recherche Scientifique (CNRS), Université de Lyon, Frédéric Vivien, Laure Gonnord

المصدر: https://theses.hal.science/tel-01626398 ; Other [cs.OH]. Université de Lyon, 2017. English. ⟨NNT : 2017LYSE1167⟩.

مصطلحات موضوعية: Compilers, Optimizations, Static analyses, Abstract interpretation, Compilateurs, Optimisations, Analyse statique, Interprétation abstraite, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]

Relation: NNT: 2017LYSE1167

الاتاحة: https://theses.hal.science/tel-01626398
https://theses.hal.science/tel-01626398v2/document
https://theses.hal.science/tel-01626398v2/file/TH2017MAALEJMAROUA.pdf