Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for subject:(Compilation). Showing records 1 – 30 of 221 total matches.

[1] [2] [3] [4] [5] [6] [7] [8]

Search Limiters

Last 2 Years | English Only

Degrees

Levels

Languages

Country

▼ Search Limiters

1. Belleville, Nicolas. Compilation pour l'application de contre-mesures contre les attaques par canal auxiliaire : Automated application of countermeasures against side-channel attacks by compilation.

Degree: Docteur es, Informatique, 2019, Université Grenoble Alpes (ComUE)

Les systèmes embarqués et objets connectés sont aujourd'hui de plus en plus répandus. Contrairement à d'autres systèmes accessibles uniquement par le réseau, les systèmes embarqués… (more)

Subjects/Keywords: Compilation; Compilation; 004

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Belleville, N. (2019). Compilation pour l'application de contre-mesures contre les attaques par canal auxiliaire : Automated application of countermeasures against side-channel attacks by compilation. (Doctoral Dissertation). Université Grenoble Alpes (ComUE). Retrieved from http://www.theses.fr/2019GREAM080

Chicago Manual of Style (16th Edition):

Belleville, Nicolas. “Compilation pour l'application de contre-mesures contre les attaques par canal auxiliaire : Automated application of countermeasures against side-channel attacks by compilation.” 2019. Doctoral Dissertation, Université Grenoble Alpes (ComUE). Accessed March 01, 2021. http://www.theses.fr/2019GREAM080.

MLA Handbook (7th Edition):

Belleville, Nicolas. “Compilation pour l'application de contre-mesures contre les attaques par canal auxiliaire : Automated application of countermeasures against side-channel attacks by compilation.” 2019. Web. 01 Mar 2021.

Vancouver:

Belleville N. Compilation pour l'application de contre-mesures contre les attaques par canal auxiliaire : Automated application of countermeasures against side-channel attacks by compilation. [Internet] [Doctoral dissertation]. Université Grenoble Alpes (ComUE); 2019. [cited 2021 Mar 01]. Available from: http://www.theses.fr/2019GREAM080.

Council of Science Editors:

Belleville N. Compilation pour l'application de contre-mesures contre les attaques par canal auxiliaire : Automated application of countermeasures against side-channel attacks by compilation. [Doctoral Dissertation]. Université Grenoble Alpes (ComUE); 2019. Available from: http://www.theses.fr/2019GREAM080

2. Fernández de Retana, Yon. Vers la compilation vérifiée de Sea of Nodes : propriétés et raisonnement sémantiques : Toward verified compilation of Sea of Nodes : semantic properties and reasoning.

Degree: Docteur es, Informatique, 2018, Rennes 1

Les compilateurs optimisants pour les langages de programmation sont devenus des logiciels complexes et donc une source de bugs. Ceci peut être dangereux dans le… (more)

Subjects/Keywords: Vérification; Compilation; Verification; Compilation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Fernández de Retana, Y. (2018). Vers la compilation vérifiée de Sea of Nodes : propriétés et raisonnement sémantiques : Toward verified compilation of Sea of Nodes : semantic properties and reasoning. (Doctoral Dissertation). Rennes 1. Retrieved from http://www.theses.fr/2018REN1S020

Chicago Manual of Style (16th Edition):

Fernández de Retana, Yon. “Vers la compilation vérifiée de Sea of Nodes : propriétés et raisonnement sémantiques : Toward verified compilation of Sea of Nodes : semantic properties and reasoning.” 2018. Doctoral Dissertation, Rennes 1. Accessed March 01, 2021. http://www.theses.fr/2018REN1S020.

MLA Handbook (7th Edition):

Fernández de Retana, Yon. “Vers la compilation vérifiée de Sea of Nodes : propriétés et raisonnement sémantiques : Toward verified compilation of Sea of Nodes : semantic properties and reasoning.” 2018. Web. 01 Mar 2021.

Vancouver:

Fernández de Retana Y. Vers la compilation vérifiée de Sea of Nodes : propriétés et raisonnement sémantiques : Toward verified compilation of Sea of Nodes : semantic properties and reasoning. [Internet] [Doctoral dissertation]. Rennes 1; 2018. [cited 2021 Mar 01]. Available from: http://www.theses.fr/2018REN1S020.

Council of Science Editors:

Fernández de Retana Y. Vers la compilation vérifiée de Sea of Nodes : propriétés et raisonnement sémantiques : Toward verified compilation of Sea of Nodes : semantic properties and reasoning. [Doctoral Dissertation]. Rennes 1; 2018. Available from: http://www.theses.fr/2018REN1S020


Université de Grenoble

3. Lomüller, Victor. Générateur de code multi-temps et optimisation de code multi-objectifs : Multi-time code generation and multi-objective code optimisation.

Degree: Docteur es, Informatique, 2014, Université de Grenoble

La compilation est une étape indispensable dans la création d'applications performantes.Cette étape autorise l'utilisation de langages de haut niveau et indépendants de la cible tout… (more)

Subjects/Keywords: Génération de code; Compilation; MPSoC; Compilation dynamique; Code generation; Compilation; MPSoC; Dynamic compilation; 004

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Lomüller, V. (2014). Générateur de code multi-temps et optimisation de code multi-objectifs : Multi-time code generation and multi-objective code optimisation. (Doctoral Dissertation). Université de Grenoble. Retrieved from http://www.theses.fr/2014GRENM050

Chicago Manual of Style (16th Edition):

Lomüller, Victor. “Générateur de code multi-temps et optimisation de code multi-objectifs : Multi-time code generation and multi-objective code optimisation.” 2014. Doctoral Dissertation, Université de Grenoble. Accessed March 01, 2021. http://www.theses.fr/2014GRENM050.

MLA Handbook (7th Edition):

Lomüller, Victor. “Générateur de code multi-temps et optimisation de code multi-objectifs : Multi-time code generation and multi-objective code optimisation.” 2014. Web. 01 Mar 2021.

Vancouver:

Lomüller V. Générateur de code multi-temps et optimisation de code multi-objectifs : Multi-time code generation and multi-objective code optimisation. [Internet] [Doctoral dissertation]. Université de Grenoble; 2014. [cited 2021 Mar 01]. Available from: http://www.theses.fr/2014GRENM050.

Council of Science Editors:

Lomüller V. Générateur de code multi-temps et optimisation de code multi-objectifs : Multi-time code generation and multi-objective code optimisation. [Doctoral Dissertation]. Université de Grenoble; 2014. Available from: http://www.theses.fr/2014GRENM050

4. Baghdadi, Mohamed Riyadh. Improving tiling, reducing compilation time, and extending the scope of polyhedral compilation : Amélioration du tuilage, réduction du temps de compilation, et extension de l'utilisabilité de la compilation polyédrique.

Degree: Docteur es, Informatique, 2015, Université Pierre et Marie Curie – Paris VI

Les processeurs multi-coeurs sont maintenant largement utilisés presque partout en informatique: ordinateurs de bureau, ordinateurs portables et accélérateurs tels que les GPGPU (General Purpose Graphics… (more)

Subjects/Keywords: Compilation; Modèle polyédrique; Langage intermediaire; Tuilage; Temps de compilation; Pencil; Polyhedral model; Compilation; 004

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Baghdadi, M. R. (2015). Improving tiling, reducing compilation time, and extending the scope of polyhedral compilation : Amélioration du tuilage, réduction du temps de compilation, et extension de l'utilisabilité de la compilation polyédrique. (Doctoral Dissertation). Université Pierre et Marie Curie – Paris VI. Retrieved from http://www.theses.fr/2015PA066368

Chicago Manual of Style (16th Edition):

Baghdadi, Mohamed Riyadh. “Improving tiling, reducing compilation time, and extending the scope of polyhedral compilation : Amélioration du tuilage, réduction du temps de compilation, et extension de l'utilisabilité de la compilation polyédrique.” 2015. Doctoral Dissertation, Université Pierre et Marie Curie – Paris VI. Accessed March 01, 2021. http://www.theses.fr/2015PA066368.

MLA Handbook (7th Edition):

Baghdadi, Mohamed Riyadh. “Improving tiling, reducing compilation time, and extending the scope of polyhedral compilation : Amélioration du tuilage, réduction du temps de compilation, et extension de l'utilisabilité de la compilation polyédrique.” 2015. Web. 01 Mar 2021.

Vancouver:

Baghdadi MR. Improving tiling, reducing compilation time, and extending the scope of polyhedral compilation : Amélioration du tuilage, réduction du temps de compilation, et extension de l'utilisabilité de la compilation polyédrique. [Internet] [Doctoral dissertation]. Université Pierre et Marie Curie – Paris VI; 2015. [cited 2021 Mar 01]. Available from: http://www.theses.fr/2015PA066368.

Council of Science Editors:

Baghdadi MR. Improving tiling, reducing compilation time, and extending the scope of polyhedral compilation : Amélioration du tuilage, réduction du temps de compilation, et extension de l'utilisabilité de la compilation polyédrique. [Doctoral Dissertation]. Université Pierre et Marie Curie – Paris VI; 2015. Available from: http://www.theses.fr/2015PA066368


Harvard University

5. Govereau, Paul. Denotational Translation Validation.

Degree: PhD, Computer Science, 2011, Harvard University

In this dissertation we present a simple and scalable system for validating the correctness of low-level program transformations. Proving that program transformations are correct is… (more)

Subjects/Keywords: compilation; validation; computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Govereau, P. (2011). Denotational Translation Validation. (Doctoral Dissertation). Harvard University. Retrieved from http://nrs.harvard.edu/urn-3:HUL.InstRepos:10121982

Chicago Manual of Style (16th Edition):

Govereau, Paul. “Denotational Translation Validation.” 2011. Doctoral Dissertation, Harvard University. Accessed March 01, 2021. http://nrs.harvard.edu/urn-3:HUL.InstRepos:10121982.

MLA Handbook (7th Edition):

Govereau, Paul. “Denotational Translation Validation.” 2011. Web. 01 Mar 2021.

Vancouver:

Govereau P. Denotational Translation Validation. [Internet] [Doctoral dissertation]. Harvard University; 2011. [cited 2021 Mar 01]. Available from: http://nrs.harvard.edu/urn-3:HUL.InstRepos:10121982.

Council of Science Editors:

Govereau P. Denotational Translation Validation. [Doctoral Dissertation]. Harvard University; 2011. Available from: http://nrs.harvard.edu/urn-3:HUL.InstRepos:10121982

6. Virouleau, Philippe. Etude et amélioration de l'exploitation des architectures NUMA à travers des supports exécutifs : Studying and improving the use of NUMA architectures through runtime systems.

Degree: Docteur es, Informatique, 2018, Université Grenoble Alpes (ComUE)

L'évolution du calcul haute performance est aujourd'hui dirigée par les besoins des applications de simulation numérique.Ces applications sont exécutées sur des supercalculateurs qui peuvent proposer… (more)

Subjects/Keywords: Openmp; Runtime; Support exécutif; Compilation; Multicore; Openmp; Runtime; Multicore; Compilation; 004

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Virouleau, P. (2018). Etude et amélioration de l'exploitation des architectures NUMA à travers des supports exécutifs : Studying and improving the use of NUMA architectures through runtime systems. (Doctoral Dissertation). Université Grenoble Alpes (ComUE). Retrieved from http://www.theses.fr/2018GREAM032

Chicago Manual of Style (16th Edition):

Virouleau, Philippe. “Etude et amélioration de l'exploitation des architectures NUMA à travers des supports exécutifs : Studying and improving the use of NUMA architectures through runtime systems.” 2018. Doctoral Dissertation, Université Grenoble Alpes (ComUE). Accessed March 01, 2021. http://www.theses.fr/2018GREAM032.

MLA Handbook (7th Edition):

Virouleau, Philippe. “Etude et amélioration de l'exploitation des architectures NUMA à travers des supports exécutifs : Studying and improving the use of NUMA architectures through runtime systems.” 2018. Web. 01 Mar 2021.

Vancouver:

Virouleau P. Etude et amélioration de l'exploitation des architectures NUMA à travers des supports exécutifs : Studying and improving the use of NUMA architectures through runtime systems. [Internet] [Doctoral dissertation]. Université Grenoble Alpes (ComUE); 2018. [cited 2021 Mar 01]. Available from: http://www.theses.fr/2018GREAM032.

Council of Science Editors:

Virouleau P. Etude et amélioration de l'exploitation des architectures NUMA à travers des supports exécutifs : Studying and improving the use of NUMA architectures through runtime systems. [Doctoral Dissertation]. Université Grenoble Alpes (ComUE); 2018. Available from: http://www.theses.fr/2018GREAM032

7. Dang, Alexandre. Compilation sécurisée pour la protection de la mémoire : Secure compilation for memory protection.

Degree: Docteur es, Informatique, 2019, Rennes 1

Cette thèse porte sur la sécurité des programmes et particulièrement en utilisant la compilation pour parvenir à ses fins. La compilation correspond à la traduction… (more)

Subjects/Keywords: Compilation; Isolation; Canaux cachés; Compilation; Isolation; Side-Channels

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Dang, A. (2019). Compilation sécurisée pour la protection de la mémoire : Secure compilation for memory protection. (Doctoral Dissertation). Rennes 1. Retrieved from http://www.theses.fr/2019REN1S111

Chicago Manual of Style (16th Edition):

Dang, Alexandre. “Compilation sécurisée pour la protection de la mémoire : Secure compilation for memory protection.” 2019. Doctoral Dissertation, Rennes 1. Accessed March 01, 2021. http://www.theses.fr/2019REN1S111.

MLA Handbook (7th Edition):

Dang, Alexandre. “Compilation sécurisée pour la protection de la mémoire : Secure compilation for memory protection.” 2019. Web. 01 Mar 2021.

Vancouver:

Dang A. Compilation sécurisée pour la protection de la mémoire : Secure compilation for memory protection. [Internet] [Doctoral dissertation]. Rennes 1; 2019. [cited 2021 Mar 01]. Available from: http://www.theses.fr/2019REN1S111.

Council of Science Editors:

Dang A. Compilation sécurisée pour la protection de la mémoire : Secure compilation for memory protection. [Doctoral Dissertation]. Rennes 1; 2019. Available from: http://www.theses.fr/2019REN1S111


Universiteit Utrecht

8. Hausmann, P. The Agda UHC Backend.

Degree: 2015, Universiteit Utrecht

 This thesis studies how we can facilitate combined Haskell/Agda developments. As foundation for our research we have created the Agda UHC backend, targeting the intermediate… (more)

Subjects/Keywords: Agda; Dependent Types; Contracts; FFI; Compilation; UHC

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Hausmann, P. (2015). The Agda UHC Backend. (Masters Thesis). Universiteit Utrecht. Retrieved from http://dspace.library.uu.nl:8080/handle/1874/321695

Chicago Manual of Style (16th Edition):

Hausmann, P. “The Agda UHC Backend.” 2015. Masters Thesis, Universiteit Utrecht. Accessed March 01, 2021. http://dspace.library.uu.nl:8080/handle/1874/321695.

MLA Handbook (7th Edition):

Hausmann, P. “The Agda UHC Backend.” 2015. Web. 01 Mar 2021.

Vancouver:

Hausmann P. The Agda UHC Backend. [Internet] [Masters thesis]. Universiteit Utrecht; 2015. [cited 2021 Mar 01]. Available from: http://dspace.library.uu.nl:8080/handle/1874/321695.

Council of Science Editors:

Hausmann P. The Agda UHC Backend. [Masters Thesis]. Universiteit Utrecht; 2015. Available from: http://dspace.library.uu.nl:8080/handle/1874/321695

9. Ayachi, Raouia. Compiling possibilistic graphical models : from inference to decision : Compilation des modèles graphiques possibilistes : de l'inférence à la décision.

Degree: Docteur es, Informatique, 2013, Artois; Institut supérieur de gestion (Tunis)

Cette thèse traite deux problèmes importants dans le domaine du raisonnement et de la décision dans l'incertain. En premier lieu, nous développons des méthodes d'inférence… (more)

Subjects/Keywords: Réseaux possibilistes; Inférence; Compilation des connaissances; Décision

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ayachi, R. (2013). Compiling possibilistic graphical models : from inference to decision : Compilation des modèles graphiques possibilistes : de l'inférence à la décision. (Doctoral Dissertation). Artois; Institut supérieur de gestion (Tunis). Retrieved from http://www.theses.fr/2013ARTO0405

Chicago Manual of Style (16th Edition):

Ayachi, Raouia. “Compiling possibilistic graphical models : from inference to decision : Compilation des modèles graphiques possibilistes : de l'inférence à la décision.” 2013. Doctoral Dissertation, Artois; Institut supérieur de gestion (Tunis). Accessed March 01, 2021. http://www.theses.fr/2013ARTO0405.

MLA Handbook (7th Edition):

Ayachi, Raouia. “Compiling possibilistic graphical models : from inference to decision : Compilation des modèles graphiques possibilistes : de l'inférence à la décision.” 2013. Web. 01 Mar 2021.

Vancouver:

Ayachi R. Compiling possibilistic graphical models : from inference to decision : Compilation des modèles graphiques possibilistes : de l'inférence à la décision. [Internet] [Doctoral dissertation]. Artois; Institut supérieur de gestion (Tunis); 2013. [cited 2021 Mar 01]. Available from: http://www.theses.fr/2013ARTO0405.

Council of Science Editors:

Ayachi R. Compiling possibilistic graphical models : from inference to decision : Compilation des modèles graphiques possibilistes : de l'inférence à la décision. [Doctoral Dissertation]. Artois; Institut supérieur de gestion (Tunis); 2013. Available from: http://www.theses.fr/2013ARTO0405


Kansas State University

10. Donnoe, Joshua. Compiling Java in linear nondeterministic space.

Degree: MS, Department of Computer Science, 2018, Kansas State University

 Shannon’s and Chomsky’s attempts to model natural language with Markov chains showed differing gauges of language complexity. These were codified with the Chomsky Hierarchy with… (more)

Subjects/Keywords: Computability; Compilation; Turing; Automata; Context; Sensitivity

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Donnoe, J. (2018). Compiling Java in linear nondeterministic space. (Masters Thesis). Kansas State University. Retrieved from http://hdl.handle.net/2097/38879

Chicago Manual of Style (16th Edition):

Donnoe, Joshua. “Compiling Java in linear nondeterministic space.” 2018. Masters Thesis, Kansas State University. Accessed March 01, 2021. http://hdl.handle.net/2097/38879.

MLA Handbook (7th Edition):

Donnoe, Joshua. “Compiling Java in linear nondeterministic space.” 2018. Web. 01 Mar 2021.

Vancouver:

Donnoe J. Compiling Java in linear nondeterministic space. [Internet] [Masters thesis]. Kansas State University; 2018. [cited 2021 Mar 01]. Available from: http://hdl.handle.net/2097/38879.

Council of Science Editors:

Donnoe J. Compiling Java in linear nondeterministic space. [Masters Thesis]. Kansas State University; 2018. Available from: http://hdl.handle.net/2097/38879


Virginia Tech

11. Lee, Kevin. Module Shaping and Exploration in Rapid FPGA Design and Assembly Workflows.

Degree: MS, Computer Engineering, 2015, Virginia Tech

 The modular design methodology has been widely adopted to harness the complexity of large FPGA-based systems. As a result, a number of commercial and academic… (more)

Subjects/Keywords: FPGA; Productivity; Rapid Compilation; Modular Workflow

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Lee, K. (2015). Module Shaping and Exploration in Rapid FPGA Design and Assembly Workflows. (Masters Thesis). Virginia Tech. Retrieved from http://hdl.handle.net/10919/53705

Chicago Manual of Style (16th Edition):

Lee, Kevin. “Module Shaping and Exploration in Rapid FPGA Design and Assembly Workflows.” 2015. Masters Thesis, Virginia Tech. Accessed March 01, 2021. http://hdl.handle.net/10919/53705.

MLA Handbook (7th Edition):

Lee, Kevin. “Module Shaping and Exploration in Rapid FPGA Design and Assembly Workflows.” 2015. Web. 01 Mar 2021.

Vancouver:

Lee K. Module Shaping and Exploration in Rapid FPGA Design and Assembly Workflows. [Internet] [Masters thesis]. Virginia Tech; 2015. [cited 2021 Mar 01]. Available from: http://hdl.handle.net/10919/53705.

Council of Science Editors:

Lee K. Module Shaping and Exploration in Rapid FPGA Design and Assembly Workflows. [Masters Thesis]. Virginia Tech; 2015. Available from: http://hdl.handle.net/10919/53705

12. Dahmani, Safae. Modèles et protocoles de cohérence de données, décision et optimisation à la compilation pour des architectures massivement parallèles. : Data Consistency Models and Protocols, Decision and Optimization at Compile Time for Massively Parallel Architectures.

Degree: Docteur es, Stic, 2015, Lorient

Le développement des systèmes massivement parallèles de type manycores permet d'obtenir une très grande puissance de calcul à bas coût énergétique. Cependant, l'exploitation des performances… (more)

Subjects/Keywords: Protocoles de cohérence; Plate-forme multiprotocolaire; Compilation; Manycores architectures; Multi-protocol compilation toolchain; 004.36

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Dahmani, S. (2015). Modèles et protocoles de cohérence de données, décision et optimisation à la compilation pour des architectures massivement parallèles. : Data Consistency Models and Protocols, Decision and Optimization at Compile Time for Massively Parallel Architectures. (Doctoral Dissertation). Lorient. Retrieved from http://www.theses.fr/2015LORIS384

Chicago Manual of Style (16th Edition):

Dahmani, Safae. “Modèles et protocoles de cohérence de données, décision et optimisation à la compilation pour des architectures massivement parallèles. : Data Consistency Models and Protocols, Decision and Optimization at Compile Time for Massively Parallel Architectures.” 2015. Doctoral Dissertation, Lorient. Accessed March 01, 2021. http://www.theses.fr/2015LORIS384.

MLA Handbook (7th Edition):

Dahmani, Safae. “Modèles et protocoles de cohérence de données, décision et optimisation à la compilation pour des architectures massivement parallèles. : Data Consistency Models and Protocols, Decision and Optimization at Compile Time for Massively Parallel Architectures.” 2015. Web. 01 Mar 2021.

Vancouver:

Dahmani S. Modèles et protocoles de cohérence de données, décision et optimisation à la compilation pour des architectures massivement parallèles. : Data Consistency Models and Protocols, Decision and Optimization at Compile Time for Massively Parallel Architectures. [Internet] [Doctoral dissertation]. Lorient; 2015. [cited 2021 Mar 01]. Available from: http://www.theses.fr/2015LORIS384.

Council of Science Editors:

Dahmani S. Modèles et protocoles de cohérence de données, décision et optimisation à la compilation pour des architectures massivement parallèles. : Data Consistency Models and Protocols, Decision and Optimization at Compile Time for Massively Parallel Architectures. [Doctoral Dissertation]. Lorient; 2015. Available from: http://www.theses.fr/2015LORIS384

13. Amini, Mehdi. Transformations de programme automatiques et source-à-source pour accélérateurs matériels de type GPU : Source-to-Source Automatic Program Transformations for GPU-like Hardware Accelerators.

Degree: Docteur es, Informatique temps réel, robotique et automatique, 2012, Paris, ENMP

Depuis le début des années 2000, la performance brute des cœurs des processeurs a cessé son augmentation exponentielle. Les circuits graphiques (GPUs) modernes ont été… (more)

Subjects/Keywords: GPU; CUDA; OpenCL; Parallélisation automatisée; Compilation; GPU; CUDA; OpenCL; Automatic Parallelization; Compilation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Amini, M. (2012). Transformations de programme automatiques et source-à-source pour accélérateurs matériels de type GPU : Source-to-Source Automatic Program Transformations for GPU-like Hardware Accelerators. (Doctoral Dissertation). Paris, ENMP. Retrieved from http://www.theses.fr/2012ENMP0105

Chicago Manual of Style (16th Edition):

Amini, Mehdi. “Transformations de programme automatiques et source-à-source pour accélérateurs matériels de type GPU : Source-to-Source Automatic Program Transformations for GPU-like Hardware Accelerators.” 2012. Doctoral Dissertation, Paris, ENMP. Accessed March 01, 2021. http://www.theses.fr/2012ENMP0105.

MLA Handbook (7th Edition):

Amini, Mehdi. “Transformations de programme automatiques et source-à-source pour accélérateurs matériels de type GPU : Source-to-Source Automatic Program Transformations for GPU-like Hardware Accelerators.” 2012. Web. 01 Mar 2021.

Vancouver:

Amini M. Transformations de programme automatiques et source-à-source pour accélérateurs matériels de type GPU : Source-to-Source Automatic Program Transformations for GPU-like Hardware Accelerators. [Internet] [Doctoral dissertation]. Paris, ENMP; 2012. [cited 2021 Mar 01]. Available from: http://www.theses.fr/2012ENMP0105.

Council of Science Editors:

Amini M. Transformations de programme automatiques et source-à-source pour accélérateurs matériels de type GPU : Source-to-Source Automatic Program Transformations for GPU-like Hardware Accelerators. [Doctoral Dissertation]. Paris, ENMP; 2012. Available from: http://www.theses.fr/2012ENMP0105

14. Dailler, Sylvain. Extension paramétrée de compilateur certifié pour la programmation parallèle : Parameterised extension of certified compiler for parallel programming.

Degree: Docteur es, Informatique, 2015, Université d'Orléans

Les applications informatiques sont de plus en plus présentes dans nos vies. Pour les applications critiques (médecine, transport, . . .), les conséquences d’une erreur… (more)

Subjects/Keywords: Compilation; Vérification; Parallélisme; Modularité; Assistants de preuve; Compilation; Verification; Parallelism; Modularity; Proof assistants; 005.453

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Dailler, S. (2015). Extension paramétrée de compilateur certifié pour la programmation parallèle : Parameterised extension of certified compiler for parallel programming. (Doctoral Dissertation). Université d'Orléans. Retrieved from http://www.theses.fr/2015ORLE2071

Chicago Manual of Style (16th Edition):

Dailler, Sylvain. “Extension paramétrée de compilateur certifié pour la programmation parallèle : Parameterised extension of certified compiler for parallel programming.” 2015. Doctoral Dissertation, Université d'Orléans. Accessed March 01, 2021. http://www.theses.fr/2015ORLE2071.

MLA Handbook (7th Edition):

Dailler, Sylvain. “Extension paramétrée de compilateur certifié pour la programmation parallèle : Parameterised extension of certified compiler for parallel programming.” 2015. Web. 01 Mar 2021.

Vancouver:

Dailler S. Extension paramétrée de compilateur certifié pour la programmation parallèle : Parameterised extension of certified compiler for parallel programming. [Internet] [Doctoral dissertation]. Université d'Orléans; 2015. [cited 2021 Mar 01]. Available from: http://www.theses.fr/2015ORLE2071.

Council of Science Editors:

Dailler S. Extension paramétrée de compilateur certifié pour la programmation parallèle : Parameterised extension of certified compiler for parallel programming. [Doctoral Dissertation]. Université d'Orléans; 2015. Available from: http://www.theses.fr/2015ORLE2071

15. Demange, Delphine. Semantic foundations of intermediate program representations : Fondements sémantiques des représentations intermédiaires de programmes.

Degree: Docteur es, Informatique, 2012, Cachan, Ecole normale supérieure

La vérification formelle de programme n'apporte pas de garantie complète si l'outil de vérification est incorrect. Et, si un programme est vérifié au niveau source,… (more)

Subjects/Keywords: Compilation certifiée; Sémantique formelle; Représentations intermédiaires; Certified compilation; Formal semantics; Intermediate representations

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Demange, D. (2012). Semantic foundations of intermediate program representations : Fondements sémantiques des représentations intermédiaires de programmes. (Doctoral Dissertation). Cachan, Ecole normale supérieure. Retrieved from http://www.theses.fr/2012DENS0053

Chicago Manual of Style (16th Edition):

Demange, Delphine. “Semantic foundations of intermediate program representations : Fondements sémantiques des représentations intermédiaires de programmes.” 2012. Doctoral Dissertation, Cachan, Ecole normale supérieure. Accessed March 01, 2021. http://www.theses.fr/2012DENS0053.

MLA Handbook (7th Edition):

Demange, Delphine. “Semantic foundations of intermediate program representations : Fondements sémantiques des représentations intermédiaires de programmes.” 2012. Web. 01 Mar 2021.

Vancouver:

Demange D. Semantic foundations of intermediate program representations : Fondements sémantiques des représentations intermédiaires de programmes. [Internet] [Doctoral dissertation]. Cachan, Ecole normale supérieure; 2012. [cited 2021 Mar 01]. Available from: http://www.theses.fr/2012DENS0053.

Council of Science Editors:

Demange D. Semantic foundations of intermediate program representations : Fondements sémantiques des représentations intermédiaires de programmes. [Doctoral Dissertation]. Cachan, Ecole normale supérieure; 2012. Available from: http://www.theses.fr/2012DENS0053

16. Couderc, Pierrick. Vérification des résultats de l'inférence de types du langage OCaml : Checking type inference results of the OCaml language.

Degree: Docteur es, Informatique, 2018, Université Paris-Saclay (ComUE)

OCaml est un langage fonctionnel statiquement typé, qui génère après inférence de types un arbre de syntaxe abstraite dans lequel chacun des noeuds est annoté… (more)

Subjects/Keywords: Systèmes de types; Compilation; OCaml; Langages fonctionels; Types systems; Compilation; OCaml; Functional languages

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Couderc, P. (2018). Vérification des résultats de l'inférence de types du langage OCaml : Checking type inference results of the OCaml language. (Doctoral Dissertation). Université Paris-Saclay (ComUE). Retrieved from http://www.theses.fr/2018SACLY018

Chicago Manual of Style (16th Edition):

Couderc, Pierrick. “Vérification des résultats de l'inférence de types du langage OCaml : Checking type inference results of the OCaml language.” 2018. Doctoral Dissertation, Université Paris-Saclay (ComUE). Accessed March 01, 2021. http://www.theses.fr/2018SACLY018.

MLA Handbook (7th Edition):

Couderc, Pierrick. “Vérification des résultats de l'inférence de types du langage OCaml : Checking type inference results of the OCaml language.” 2018. Web. 01 Mar 2021.

Vancouver:

Couderc P. Vérification des résultats de l'inférence de types du langage OCaml : Checking type inference results of the OCaml language. [Internet] [Doctoral dissertation]. Université Paris-Saclay (ComUE); 2018. [cited 2021 Mar 01]. Available from: http://www.theses.fr/2018SACLY018.

Council of Science Editors:

Couderc P. Vérification des résultats de l'inférence de types du langage OCaml : Checking type inference results of the OCaml language. [Doctoral Dissertation]. Université Paris-Saclay (ComUE); 2018. Available from: http://www.theses.fr/2018SACLY018

17. Zhao, Jie. Une approche combinée langage-polyédrique pour la programmation parallèle hétérogène : A combined language and polyhedral approach to heterogeneous parallelism.

Degree: Docteur es, Informatique, 2018, Paris Sciences et Lettres

De nos jours, l'optimisation des compilateurs est de plus en plus mise à l'épreuve par la diversité des langages de programmation et l'hétérogénéité des architectures.… (more)

Subjects/Keywords: Programmation parallèle; Compilation polyédrique; Parallélisation automatique; Parallel programming; Polyhedral compilation; Automatic parallelization; 005

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Zhao, J. (2018). Une approche combinée langage-polyédrique pour la programmation parallèle hétérogène : A combined language and polyhedral approach to heterogeneous parallelism. (Doctoral Dissertation). Paris Sciences et Lettres. Retrieved from http://www.theses.fr/2018PSLEE062

Chicago Manual of Style (16th Edition):

Zhao, Jie. “Une approche combinée langage-polyédrique pour la programmation parallèle hétérogène : A combined language and polyhedral approach to heterogeneous parallelism.” 2018. Doctoral Dissertation, Paris Sciences et Lettres. Accessed March 01, 2021. http://www.theses.fr/2018PSLEE062.

MLA Handbook (7th Edition):

Zhao, Jie. “Une approche combinée langage-polyédrique pour la programmation parallèle hétérogène : A combined language and polyhedral approach to heterogeneous parallelism.” 2018. Web. 01 Mar 2021.

Vancouver:

Zhao J. Une approche combinée langage-polyédrique pour la programmation parallèle hétérogène : A combined language and polyhedral approach to heterogeneous parallelism. [Internet] [Doctoral dissertation]. Paris Sciences et Lettres; 2018. [cited 2021 Mar 01]. Available from: http://www.theses.fr/2018PSLEE062.

Council of Science Editors:

Zhao J. Une approche combinée langage-polyédrique pour la programmation parallèle hétérogène : A combined language and polyhedral approach to heterogeneous parallelism. [Doctoral Dissertation]. Paris Sciences et Lettres; 2018. Available from: http://www.theses.fr/2018PSLEE062

18. Li, Hanbing. Extraction and traceability of annotations for WCET estimation : Extraction et traçabilité d’annotations pour l’estimation de WCET.

Degree: Docteur es, Informatique, 2015, Rennes 1

Les systèmes temps-réel devenaient omniprésents, et jouent un rôle important dans notre vie quotidienne. Pour les systèmes temps-réel dur, calculer des résultats corrects n’est pas… (more)

Subjects/Keywords: Temps réel; Analyse Pire Cas; Compilation; Optimisation pour Performance; Llvm; Real-Time; Wcet; Compilation; Performance Optimization; Llvm

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Li, H. (2015). Extraction and traceability of annotations for WCET estimation : Extraction et traçabilité d’annotations pour l’estimation de WCET. (Doctoral Dissertation). Rennes 1. Retrieved from http://www.theses.fr/2015REN1S040

Chicago Manual of Style (16th Edition):

Li, Hanbing. “Extraction and traceability of annotations for WCET estimation : Extraction et traçabilité d’annotations pour l’estimation de WCET.” 2015. Doctoral Dissertation, Rennes 1. Accessed March 01, 2021. http://www.theses.fr/2015REN1S040.

MLA Handbook (7th Edition):

Li, Hanbing. “Extraction and traceability of annotations for WCET estimation : Extraction et traçabilité d’annotations pour l’estimation de WCET.” 2015. Web. 01 Mar 2021.

Vancouver:

Li H. Extraction and traceability of annotations for WCET estimation : Extraction et traçabilité d’annotations pour l’estimation de WCET. [Internet] [Doctoral dissertation]. Rennes 1; 2015. [cited 2021 Mar 01]. Available from: http://www.theses.fr/2015REN1S040.

Council of Science Editors:

Li H. Extraction and traceability of annotations for WCET estimation : Extraction et traçabilité d’annotations pour l’estimation de WCET. [Doctoral Dissertation]. Rennes 1; 2015. Available from: http://www.theses.fr/2015REN1S040

19. Habel, Rachid. Programmation haute performance pour architectures hybrides : High Performance Programming for Hybrid Architectures.

Degree: Docteur es, Informatique temps réel, robotique et automatique, 2014, Paris, ENMP

Les architectures parallèles hybrides constituées d'un grand nombre de noeuds de calcul multi-coeurs/GPU connectés en réseau offrent des performances théoriques très élevées, de l'ordre de… (more)

Subjects/Keywords: Compilation; Mémoire distribuée; Mémoire partagée; Gpu; Mpi; OpenMP; Compilation; Distributed-Memory; Shared-Memory; Gpu; Mpi; OpenMP; 004

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Habel, R. (2014). Programmation haute performance pour architectures hybrides : High Performance Programming for Hybrid Architectures. (Doctoral Dissertation). Paris, ENMP. Retrieved from http://www.theses.fr/2014ENMP0025

Chicago Manual of Style (16th Edition):

Habel, Rachid. “Programmation haute performance pour architectures hybrides : High Performance Programming for Hybrid Architectures.” 2014. Doctoral Dissertation, Paris, ENMP. Accessed March 01, 2021. http://www.theses.fr/2014ENMP0025.

MLA Handbook (7th Edition):

Habel, Rachid. “Programmation haute performance pour architectures hybrides : High Performance Programming for Hybrid Architectures.” 2014. Web. 01 Mar 2021.

Vancouver:

Habel R. Programmation haute performance pour architectures hybrides : High Performance Programming for Hybrid Architectures. [Internet] [Doctoral dissertation]. Paris, ENMP; 2014. [cited 2021 Mar 01]. Available from: http://www.theses.fr/2014ENMP0025.

Council of Science Editors:

Habel R. Programmation haute performance pour architectures hybrides : High Performance Programming for Hybrid Architectures. [Doctoral Dissertation]. Paris, ENMP; 2014. Available from: http://www.theses.fr/2014ENMP0025


Université Paris-Sud – Paris XI

20. Gérard, Léonard. Programmer le parallélisme avec des futures en Heptagon un langage synchrone flot de données et étude des réseaux de Kahn en vue d’une compilation synchrone : Programming parallelism with futures in Heptagon a synchronous functional language, and, study of Kahn networks aiming synchronous compilation.

Degree: Docteur es, Informatique, 2013, Université Paris-Sud – Paris XI

 Les langages synchrones ont été fondés pour modéliser et implémenter les systèmes réactifs temps-réels critiques. Avec la complexité toujours croissante des systèmes contrôlés, la vitesse… (more)

Subjects/Keywords: Langage synchrone; Compilation; Futures; Kahn; Parallélisme; Stabilité; Séquentiel; Synchronous languages; Compilation; Futures; Kahn; Parallelism; Stability; Sequentiality

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Gérard, L. (2013). Programmer le parallélisme avec des futures en Heptagon un langage synchrone flot de données et étude des réseaux de Kahn en vue d’une compilation synchrone : Programming parallelism with futures in Heptagon a synchronous functional language, and, study of Kahn networks aiming synchronous compilation. (Doctoral Dissertation). Université Paris-Sud – Paris XI. Retrieved from http://www.theses.fr/2013PA112202

Chicago Manual of Style (16th Edition):

Gérard, Léonard. “Programmer le parallélisme avec des futures en Heptagon un langage synchrone flot de données et étude des réseaux de Kahn en vue d’une compilation synchrone : Programming parallelism with futures in Heptagon a synchronous functional language, and, study of Kahn networks aiming synchronous compilation.” 2013. Doctoral Dissertation, Université Paris-Sud – Paris XI. Accessed March 01, 2021. http://www.theses.fr/2013PA112202.

MLA Handbook (7th Edition):

Gérard, Léonard. “Programmer le parallélisme avec des futures en Heptagon un langage synchrone flot de données et étude des réseaux de Kahn en vue d’une compilation synchrone : Programming parallelism with futures in Heptagon a synchronous functional language, and, study of Kahn networks aiming synchronous compilation.” 2013. Web. 01 Mar 2021.

Vancouver:

Gérard L. Programmer le parallélisme avec des futures en Heptagon un langage synchrone flot de données et étude des réseaux de Kahn en vue d’une compilation synchrone : Programming parallelism with futures in Heptagon a synchronous functional language, and, study of Kahn networks aiming synchronous compilation. [Internet] [Doctoral dissertation]. Université Paris-Sud – Paris XI; 2013. [cited 2021 Mar 01]. Available from: http://www.theses.fr/2013PA112202.

Council of Science Editors:

Gérard L. Programmer le parallélisme avec des futures en Heptagon un langage synchrone flot de données et étude des réseaux de Kahn en vue d’une compilation synchrone : Programming parallelism with futures in Heptagon a synchronous functional language, and, study of Kahn networks aiming synchronous compilation. [Doctoral Dissertation]. Université Paris-Sud – Paris XI; 2013. Available from: http://www.theses.fr/2013PA112202


Université Montpellier II

21. Morandat, Floréal. Contribution à l'efficacité de la programmation par objets : evaluation des implémentations de l'héritage multiple en typage statique : Assesment of multiple inheritance implentation in static typing.

Degree: Docteur es, Informatique, 2010, Université Montpellier II

Cette thèse traite de la compilation efficace des langages à objets en héritage multiple. La programmation objet est caractérisée par un mécanisme fondamental, emph{la liaison… (more)

Subjects/Keywords: Langages objet; Héritage multiple; Typage statique; Compilation; Implementation; Evaluations empiriques; Object oriented languages; Static typing; Multiple inheritance; Compilation; Implementation; Empirical assesment

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Morandat, F. (2010). Contribution à l'efficacité de la programmation par objets : evaluation des implémentations de l'héritage multiple en typage statique : Assesment of multiple inheritance implentation in static typing. (Doctoral Dissertation). Université Montpellier II. Retrieved from http://www.theses.fr/2010MON20199

Chicago Manual of Style (16th Edition):

Morandat, Floréal. “Contribution à l'efficacité de la programmation par objets : evaluation des implémentations de l'héritage multiple en typage statique : Assesment of multiple inheritance implentation in static typing.” 2010. Doctoral Dissertation, Université Montpellier II. Accessed March 01, 2021. http://www.theses.fr/2010MON20199.

MLA Handbook (7th Edition):

Morandat, Floréal. “Contribution à l'efficacité de la programmation par objets : evaluation des implémentations de l'héritage multiple en typage statique : Assesment of multiple inheritance implentation in static typing.” 2010. Web. 01 Mar 2021.

Vancouver:

Morandat F. Contribution à l'efficacité de la programmation par objets : evaluation des implémentations de l'héritage multiple en typage statique : Assesment of multiple inheritance implentation in static typing. [Internet] [Doctoral dissertation]. Université Montpellier II; 2010. [cited 2021 Mar 01]. Available from: http://www.theses.fr/2010MON20199.

Council of Science Editors:

Morandat F. Contribution à l'efficacité de la programmation par objets : evaluation des implémentations de l'héritage multiple en typage statique : Assesment of multiple inheritance implentation in static typing. [Doctoral Dissertation]. Université Montpellier II; 2010. Available from: http://www.theses.fr/2010MON20199

22. Popov, Mihail. Décomposition automatique des programmes parallèles pour l'optimisation et la prédiction de performance. : Automatic decomposition of parallel programs for optimization and performance prediction.

Degree: Docteur es, Informatique, 2016, Université Paris-Saclay (ComUE)

Dans le domaine du calcul haute performance, de nombreux programmes étalons ou benchmarks sont utilisés pour mesurer l’efficacité des calculateurs,des compilateurs et des optimisations de… (more)

Subjects/Keywords: Prédiction de performance; Parallélisme; Compilation; Optimisation; Checkpoint restart; Performance prediction; Parallelism; Compilation; Optimization; Checkpoint restart; 004.35

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Popov, M. (2016). Décomposition automatique des programmes parallèles pour l'optimisation et la prédiction de performance. : Automatic decomposition of parallel programs for optimization and performance prediction. (Doctoral Dissertation). Université Paris-Saclay (ComUE). Retrieved from http://www.theses.fr/2016SACLV087

Chicago Manual of Style (16th Edition):

Popov, Mihail. “Décomposition automatique des programmes parallèles pour l'optimisation et la prédiction de performance. : Automatic decomposition of parallel programs for optimization and performance prediction.” 2016. Doctoral Dissertation, Université Paris-Saclay (ComUE). Accessed March 01, 2021. http://www.theses.fr/2016SACLV087.

MLA Handbook (7th Edition):

Popov, Mihail. “Décomposition automatique des programmes parallèles pour l'optimisation et la prédiction de performance. : Automatic decomposition of parallel programs for optimization and performance prediction.” 2016. Web. 01 Mar 2021.

Vancouver:

Popov M. Décomposition automatique des programmes parallèles pour l'optimisation et la prédiction de performance. : Automatic decomposition of parallel programs for optimization and performance prediction. [Internet] [Doctoral dissertation]. Université Paris-Saclay (ComUE); 2016. [cited 2021 Mar 01]. Available from: http://www.theses.fr/2016SACLV087.

Council of Science Editors:

Popov M. Décomposition automatique des programmes parallèles pour l'optimisation et la prédiction de performance. : Automatic decomposition of parallel programs for optimization and performance prediction. [Doctoral Dissertation]. Université Paris-Saclay (ComUE); 2016. Available from: http://www.theses.fr/2016SACLV087

23. Cheynet, Magali. "Joindre le chief avecques les membres". Remembrer et compiler l'histoire de Charlemagne dans la deuxième moitié du XVe siècle : « Joindre le chief avecques les membres ». Remembering and Compiling Charlemagne’s Story in the Second Half of the Fifteenth Century.

Degree: Docteur es, Littérature et civillisation françaises, 2015, Sorbonne Paris Cité

Dans la deuxième moitié du XVe siècle, les Croniques et conquestes de Charlemaine de David Aubert, l’Histoire de Charlemagne de Jean Bagnyon et l’anonyme Cronique… (more)

Subjects/Keywords: Charlemagne; Histoire littéraire; Prose; XVe siècle; Compilation; Charlemagne; Literary history; Prose; Fifteenth century; Compilation; 840.900 2

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Cheynet, M. (2015). "Joindre le chief avecques les membres". Remembrer et compiler l'histoire de Charlemagne dans la deuxième moitié du XVe siècle : « Joindre le chief avecques les membres ». Remembering and Compiling Charlemagne’s Story in the Second Half of the Fifteenth Century. (Doctoral Dissertation). Sorbonne Paris Cité. Retrieved from http://www.theses.fr/2015USPCA147

Chicago Manual of Style (16th Edition):

Cheynet, Magali. “"Joindre le chief avecques les membres". Remembrer et compiler l'histoire de Charlemagne dans la deuxième moitié du XVe siècle : « Joindre le chief avecques les membres ». Remembering and Compiling Charlemagne’s Story in the Second Half of the Fifteenth Century.” 2015. Doctoral Dissertation, Sorbonne Paris Cité. Accessed March 01, 2021. http://www.theses.fr/2015USPCA147.

MLA Handbook (7th Edition):

Cheynet, Magali. “"Joindre le chief avecques les membres". Remembrer et compiler l'histoire de Charlemagne dans la deuxième moitié du XVe siècle : « Joindre le chief avecques les membres ». Remembering and Compiling Charlemagne’s Story in the Second Half of the Fifteenth Century.” 2015. Web. 01 Mar 2021.

Vancouver:

Cheynet M. "Joindre le chief avecques les membres". Remembrer et compiler l'histoire de Charlemagne dans la deuxième moitié du XVe siècle : « Joindre le chief avecques les membres ». Remembering and Compiling Charlemagne’s Story in the Second Half of the Fifteenth Century. [Internet] [Doctoral dissertation]. Sorbonne Paris Cité; 2015. [cited 2021 Mar 01]. Available from: http://www.theses.fr/2015USPCA147.

Council of Science Editors:

Cheynet M. "Joindre le chief avecques les membres". Remembrer et compiler l'histoire de Charlemagne dans la deuxième moitié du XVe siècle : « Joindre le chief avecques les membres ». Remembering and Compiling Charlemagne’s Story in the Second Half of the Fifteenth Century. [Doctoral Dissertation]. Sorbonne Paris Cité; 2015. Available from: http://www.theses.fr/2015USPCA147

24. Wilke, Pierre. Compilation formellement vérifiée de code C de bas-niveau : Formally verified compilation of low-level C code.

Degree: Docteur es, Informatique, 2016, Rennes 1

Cette thèse présente une extension du compilateur CompCert permettant de fournir des garanties formelles de préservation sémantique à des programmes auxquels CompCert n'en donne pas.… (more)

Subjects/Keywords: Compilation; Langage C; Coq (logiciel); Méthodes formelles; Comportement indéfini; Compilation; Language C code; Coq (Electronic resource); Formal methods; Undefined behaviour

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Wilke, P. (2016). Compilation formellement vérifiée de code C de bas-niveau : Formally verified compilation of low-level C code. (Doctoral Dissertation). Rennes 1. Retrieved from http://www.theses.fr/2016REN1S088

Chicago Manual of Style (16th Edition):

Wilke, Pierre. “Compilation formellement vérifiée de code C de bas-niveau : Formally verified compilation of low-level C code.” 2016. Doctoral Dissertation, Rennes 1. Accessed March 01, 2021. http://www.theses.fr/2016REN1S088.

MLA Handbook (7th Edition):

Wilke, Pierre. “Compilation formellement vérifiée de code C de bas-niveau : Formally verified compilation of low-level C code.” 2016. Web. 01 Mar 2021.

Vancouver:

Wilke P. Compilation formellement vérifiée de code C de bas-niveau : Formally verified compilation of low-level C code. [Internet] [Doctoral dissertation]. Rennes 1; 2016. [cited 2021 Mar 01]. Available from: http://www.theses.fr/2016REN1S088.

Council of Science Editors:

Wilke P. Compilation formellement vérifiée de code C de bas-niveau : Formally verified compilation of low-level C code. [Doctoral Dissertation]. Rennes 1; 2016. Available from: http://www.theses.fr/2016REN1S088

25. Maroneze, André Oliveira. Certified Compilation and Worst-Case Execution Time Estimation : Compilation formellement vérifiée et estimation du pire temps d'éxécution.

Degree: Docteur es, Informatique, 2014, Rennes 1

Les systèmes informatiques critiques - tels que les commandes de vol électroniques et le contrôle des centrales nucléaires - doivent répondre à des exigences strictes… (more)

Subjects/Keywords: Logiciels  – Vérification; Compilation (informatique); Analyse Pire Cas; Assistants de preuve; Software  – Verification; Compilation; Worst-Case Execution Time Estimation; Proof assistants

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Maroneze, A. O. (2014). Certified Compilation and Worst-Case Execution Time Estimation : Compilation formellement vérifiée et estimation du pire temps d'éxécution. (Doctoral Dissertation). Rennes 1. Retrieved from http://www.theses.fr/2014REN1S030

Chicago Manual of Style (16th Edition):

Maroneze, André Oliveira. “Certified Compilation and Worst-Case Execution Time Estimation : Compilation formellement vérifiée et estimation du pire temps d'éxécution.” 2014. Doctoral Dissertation, Rennes 1. Accessed March 01, 2021. http://www.theses.fr/2014REN1S030.

MLA Handbook (7th Edition):

Maroneze, André Oliveira. “Certified Compilation and Worst-Case Execution Time Estimation : Compilation formellement vérifiée et estimation du pire temps d'éxécution.” 2014. Web. 01 Mar 2021.

Vancouver:

Maroneze AO. Certified Compilation and Worst-Case Execution Time Estimation : Compilation formellement vérifiée et estimation du pire temps d'éxécution. [Internet] [Doctoral dissertation]. Rennes 1; 2014. [cited 2021 Mar 01]. Available from: http://www.theses.fr/2014REN1S030.

Council of Science Editors:

Maroneze AO. Certified Compilation and Worst-Case Execution Time Estimation : Compilation formellement vérifiée et estimation du pire temps d'éxécution. [Doctoral Dissertation]. Rennes 1; 2014. Available from: http://www.theses.fr/2014REN1S030

26. Galos, Mihai. Reconfiguration dynamique et simulation fine modélisée au niveau de transaction dans les réseaux de capteurs sans fil hétérogènes matériellement-logiciellement : Dynamic reconfiguration and fine-grained simulation modelled at transaction level in hardware-software heterogeneous Wireless Sensor Networks.

Degree: Docteur es, Electronique, Electrotechnique et Automatique, 2012, Ecully, Ecole centrale de Lyon

Cette thèse porte premièrement sur la reconfiguration dynamique et la simulation hétérogène dans les Réseaux des Capteurs sans Fil. Ces réseaux sont constitués d’une multitude… (more)

Subjects/Keywords: Reconfiguration dynamique; Compilation in-situ; MinTax; Hétérogénéité; IDEA1TLM; Dynamic reconfiguration; In-situ compilation; MinTax; Heterogeneity; IDEA1TLM

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Galos, M. (2012). Reconfiguration dynamique et simulation fine modélisée au niveau de transaction dans les réseaux de capteurs sans fil hétérogènes matériellement-logiciellement : Dynamic reconfiguration and fine-grained simulation modelled at transaction level in hardware-software heterogeneous Wireless Sensor Networks. (Doctoral Dissertation). Ecully, Ecole centrale de Lyon. Retrieved from http://www.theses.fr/2012ECDL0043

Chicago Manual of Style (16th Edition):

Galos, Mihai. “Reconfiguration dynamique et simulation fine modélisée au niveau de transaction dans les réseaux de capteurs sans fil hétérogènes matériellement-logiciellement : Dynamic reconfiguration and fine-grained simulation modelled at transaction level in hardware-software heterogeneous Wireless Sensor Networks.” 2012. Doctoral Dissertation, Ecully, Ecole centrale de Lyon. Accessed March 01, 2021. http://www.theses.fr/2012ECDL0043.

MLA Handbook (7th Edition):

Galos, Mihai. “Reconfiguration dynamique et simulation fine modélisée au niveau de transaction dans les réseaux de capteurs sans fil hétérogènes matériellement-logiciellement : Dynamic reconfiguration and fine-grained simulation modelled at transaction level in hardware-software heterogeneous Wireless Sensor Networks.” 2012. Web. 01 Mar 2021.

Vancouver:

Galos M. Reconfiguration dynamique et simulation fine modélisée au niveau de transaction dans les réseaux de capteurs sans fil hétérogènes matériellement-logiciellement : Dynamic reconfiguration and fine-grained simulation modelled at transaction level in hardware-software heterogeneous Wireless Sensor Networks. [Internet] [Doctoral dissertation]. Ecully, Ecole centrale de Lyon; 2012. [cited 2021 Mar 01]. Available from: http://www.theses.fr/2012ECDL0043.

Council of Science Editors:

Galos M. Reconfiguration dynamique et simulation fine modélisée au niveau de transaction dans les réseaux de capteurs sans fil hétérogènes matériellement-logiciellement : Dynamic reconfiguration and fine-grained simulation modelled at transaction level in hardware-software heterogeneous Wireless Sensor Networks. [Doctoral Dissertation]. Ecully, Ecole centrale de Lyon; 2012. Available from: http://www.theses.fr/2012ECDL0043

27. Gauthier, Valentin. Développement d'un langage de programmation dédié à la modélisation géométrique à base topologique, application à la reconstruction de modèles géologiques 3D : Development of a programming language dedicated to geometrical modeling based on topology, application to 3D geological model reconstruction.

Degree: Docteur es, Informatique, 2019, Poitiers

La modélisation géométrique est utilisée dans de nombreux domaines pour la construction d’objets 3D, l’animation ou les simulations. Chaque domaine est soumis à ses propres… (more)

Subjects/Keywords: Modélisation géométrique; Topologie; Transformation de graphe; Compilation; Dsl; Géologie.; Geometric modeling; Topology; Graph transformation; Compilation; Dsl; Geology; 004.65; 003.3

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Gauthier, V. (2019). Développement d'un langage de programmation dédié à la modélisation géométrique à base topologique, application à la reconstruction de modèles géologiques 3D : Development of a programming language dedicated to geometrical modeling based on topology, application to 3D geological model reconstruction. (Doctoral Dissertation). Poitiers. Retrieved from http://www.theses.fr/2019POIT2252

Chicago Manual of Style (16th Edition):

Gauthier, Valentin. “Développement d'un langage de programmation dédié à la modélisation géométrique à base topologique, application à la reconstruction de modèles géologiques 3D : Development of a programming language dedicated to geometrical modeling based on topology, application to 3D geological model reconstruction.” 2019. Doctoral Dissertation, Poitiers. Accessed March 01, 2021. http://www.theses.fr/2019POIT2252.

MLA Handbook (7th Edition):

Gauthier, Valentin. “Développement d'un langage de programmation dédié à la modélisation géométrique à base topologique, application à la reconstruction de modèles géologiques 3D : Development of a programming language dedicated to geometrical modeling based on topology, application to 3D geological model reconstruction.” 2019. Web. 01 Mar 2021.

Vancouver:

Gauthier V. Développement d'un langage de programmation dédié à la modélisation géométrique à base topologique, application à la reconstruction de modèles géologiques 3D : Development of a programming language dedicated to geometrical modeling based on topology, application to 3D geological model reconstruction. [Internet] [Doctoral dissertation]. Poitiers; 2019. [cited 2021 Mar 01]. Available from: http://www.theses.fr/2019POIT2252.

Council of Science Editors:

Gauthier V. Développement d'un langage de programmation dédié à la modélisation géométrique à base topologique, application à la reconstruction de modèles géologiques 3D : Development of a programming language dedicated to geometrical modeling based on topology, application to 3D geological model reconstruction. [Doctoral Dissertation]. Poitiers; 2019. Available from: http://www.theses.fr/2019POIT2252

28. Evrard, Hugues. Génération automatique d'implémentation distribuée à partir de modèles formels de processus concurrents asynchrones : Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes.

Degree: Docteur es, Informatique, 2015, Université Grenoble Alpes (ComUE)

LNT est un langage formel de spécification récent, basé sur les algèbres de processus, où plusieurs processus concurrents et asynchrones peuvent interagir par rendez-vous multiple,… (more)

Subjects/Keywords: Systèmes Distribués; Méthodes Formelles; Algèbre de Processus; Compilation; Rendez-Vous Multiple; Distributed Systems; Formal Methods; Process Algebra; Compilation; Multiway Rendezvous; 004

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Evrard, H. (2015). Génération automatique d'implémentation distribuée à partir de modèles formels de processus concurrents asynchrones : Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes. (Doctoral Dissertation). Université Grenoble Alpes (ComUE). Retrieved from http://www.theses.fr/2015GREAM020

Chicago Manual of Style (16th Edition):

Evrard, Hugues. “Génération automatique d'implémentation distribuée à partir de modèles formels de processus concurrents asynchrones : Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes.” 2015. Doctoral Dissertation, Université Grenoble Alpes (ComUE). Accessed March 01, 2021. http://www.theses.fr/2015GREAM020.

MLA Handbook (7th Edition):

Evrard, Hugues. “Génération automatique d'implémentation distribuée à partir de modèles formels de processus concurrents asynchrones : Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes.” 2015. Web. 01 Mar 2021.

Vancouver:

Evrard H. Génération automatique d'implémentation distribuée à partir de modèles formels de processus concurrents asynchrones : Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes. [Internet] [Doctoral dissertation]. Université Grenoble Alpes (ComUE); 2015. [cited 2021 Mar 01]. Available from: http://www.theses.fr/2015GREAM020.

Council of Science Editors:

Evrard H. Génération automatique d'implémentation distribuée à partir de modèles formels de processus concurrents asynchrones : Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes. [Doctoral Dissertation]. Université Grenoble Alpes (ComUE); 2015. Available from: http://www.theses.fr/2015GREAM020

29. Schmitt, Maxime. Génération automatique de codes adaptatifs : Automatic generation of adaptive codes.

Degree: Docteur es, Informatique, 2019, Université de Strasbourg

Dans cette thèse nous proposons une interface de programmation pour aider les développeurs dans leur tâche d'optimisation de programme par calcul approché. Cette interface prend… (more)

Subjects/Keywords: Compilation; Optimisation de code; Techniques adaptatives; Calcul approché; Langages informatiques; Compilation; Code optimization; Adaptive techniques; Approximate computing; Programing languages; 005.13

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Schmitt, M. (2019). Génération automatique de codes adaptatifs : Automatic generation of adaptive codes. (Doctoral Dissertation). Université de Strasbourg. Retrieved from http://www.theses.fr/2019STRAD029

Chicago Manual of Style (16th Edition):

Schmitt, Maxime. “Génération automatique de codes adaptatifs : Automatic generation of adaptive codes.” 2019. Doctoral Dissertation, Université de Strasbourg. Accessed March 01, 2021. http://www.theses.fr/2019STRAD029.

MLA Handbook (7th Edition):

Schmitt, Maxime. “Génération automatique de codes adaptatifs : Automatic generation of adaptive codes.” 2019. Web. 01 Mar 2021.

Vancouver:

Schmitt M. Génération automatique de codes adaptatifs : Automatic generation of adaptive codes. [Internet] [Doctoral dissertation]. Université de Strasbourg; 2019. [cited 2021 Mar 01]. Available from: http://www.theses.fr/2019STRAD029.

Council of Science Editors:

Schmitt M. Génération automatique de codes adaptatifs : Automatic generation of adaptive codes. [Doctoral Dissertation]. Université de Strasbourg; 2019. Available from: http://www.theses.fr/2019STRAD029

30. Pagès, Julien. Une machine virtuelle en héritage multiple basée sur le hachage parfait : A virtual machine with multiple inheritance, based on perfect hashing.

Degree: Docteur es, Informatique, 2016, Montpellier

Cette thèse traite des langages à objets en héritage multiple et typage statique exécutés avec des machines virtuelles. Des analogies sont à faire avec Java… (more)

Subjects/Keywords: Compilation; Langage à objets; Machine virtuelle; Héritage multiple; Compilation; Object oriented language; Virtual machine; Multiple inheritance

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Pagès, J. (2016). Une machine virtuelle en héritage multiple basée sur le hachage parfait : A virtual machine with multiple inheritance, based on perfect hashing. (Doctoral Dissertation). Montpellier. Retrieved from http://www.theses.fr/2016MONTT282

Chicago Manual of Style (16th Edition):

Pagès, Julien. “Une machine virtuelle en héritage multiple basée sur le hachage parfait : A virtual machine with multiple inheritance, based on perfect hashing.” 2016. Doctoral Dissertation, Montpellier. Accessed March 01, 2021. http://www.theses.fr/2016MONTT282.

MLA Handbook (7th Edition):

Pagès, Julien. “Une machine virtuelle en héritage multiple basée sur le hachage parfait : A virtual machine with multiple inheritance, based on perfect hashing.” 2016. Web. 01 Mar 2021.

Vancouver:

Pagès J. Une machine virtuelle en héritage multiple basée sur le hachage parfait : A virtual machine with multiple inheritance, based on perfect hashing. [Internet] [Doctoral dissertation]. Montpellier; 2016. [cited 2021 Mar 01]. Available from: http://www.theses.fr/2016MONTT282.

Council of Science Editors:

Pagès J. Une machine virtuelle en héritage multiple basée sur le hachage parfait : A virtual machine with multiple inheritance, based on perfect hashing. [Doctoral Dissertation]. Montpellier; 2016. Available from: http://www.theses.fr/2016MONTT282

[1] [2] [3] [4] [5] [6] [7] [8]

.