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 194 total matches.

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

Search Limiters

Last 2 Years | English Only

Degrees

Levels

Languages

Country

▼ Search Limiters

1. 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 October 16, 2019. 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. 16 Oct 2019.

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 2019 Oct 16]. 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

2. 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 October 16, 2019. 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. 16 Oct 2019.

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 2019 Oct 16]. 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


University of Oregon

3. Sullivan, Zachary. The Essence of Codata and Its Implementations.

Degree: 2018, University of Oregon

 Data types are a widely-used feature of functional programming languages that allow programmers to create abstractions and control branching computations. Instances of data types are… (more)

Subjects/Keywords: Codata; Compilation; Duality

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Sullivan, Z. (2018). The Essence of Codata and Its Implementations. (Thesis). University of Oregon. Retrieved from http://hdl.handle.net/1794/23832

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Sullivan, Zachary. “The Essence of Codata and Its Implementations.” 2018. Thesis, University of Oregon. Accessed October 16, 2019. http://hdl.handle.net/1794/23832.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Sullivan, Zachary. “The Essence of Codata and Its Implementations.” 2018. Web. 16 Oct 2019.

Vancouver:

Sullivan Z. The Essence of Codata and Its Implementations. [Internet] [Thesis]. University of Oregon; 2018. [cited 2019 Oct 16]. Available from: http://hdl.handle.net/1794/23832.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Sullivan Z. The Essence of Codata and Its Implementations. [Thesis]. University of Oregon; 2018. Available from: http://hdl.handle.net/1794/23832

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

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 October 16, 2019. 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. 16 Oct 2019.

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 2019 Oct 16]. 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 October 16, 2019. http://nrs.harvard.edu/urn-3:HUL.InstRepos:10121982.

MLA Handbook (7th Edition):

Govereau, Paul. “Denotational Translation Validation.” 2011. Web. 16 Oct 2019.

Vancouver:

Govereau P. Denotational Translation Validation. [Internet] [Doctoral dissertation]. Harvard University; 2011. [cited 2019 Oct 16]. 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


Université de Montréal

6. Ferreira Ruiz, Francisco. A Compiler for the dependently typed language Beluga .

Degree: 2012, Université de Montréal

 Les structures avec des lieurs sont très communes en informatique. Les langages de programmation et les systèmes logiques sont des exemples de structures avec des… (more)

Subjects/Keywords: binders; compilation; dependent types; pattern matching; lieurs; filtrage; compilation; types dépendents

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ferreira Ruiz, F. (2012). A Compiler for the dependently typed language Beluga . (Thesis). Université de Montréal. Retrieved from http://hdl.handle.net/1866/8676

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Ferreira Ruiz, Francisco. “A Compiler for the dependently typed language Beluga .” 2012. Thesis, Université de Montréal. Accessed October 16, 2019. http://hdl.handle.net/1866/8676.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Ferreira Ruiz, Francisco. “A Compiler for the dependently typed language Beluga .” 2012. Web. 16 Oct 2019.

Vancouver:

Ferreira Ruiz F. A Compiler for the dependently typed language Beluga . [Internet] [Thesis]. Université de Montréal; 2012. [cited 2019 Oct 16]. Available from: http://hdl.handle.net/1866/8676.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Ferreira Ruiz F. A Compiler for the dependently typed language Beluga . [Thesis]. Université de Montréal; 2012. Available from: http://hdl.handle.net/1866/8676

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

7. 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, Grenoble Alpes

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). Grenoble Alpes. 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, Grenoble Alpes. Accessed October 16, 2019. 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. 16 Oct 2019.

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]. Grenoble Alpes; 2018. [cited 2019 Oct 16]. 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]. Grenoble Alpes; 2018. Available from: http://www.theses.fr/2018GREAM032


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 October 16, 2019. http://dspace.library.uu.nl:8080/handle/1874/321695.

MLA Handbook (7th Edition):

Hausmann, P. “The Agda UHC Backend.” 2015. Web. 16 Oct 2019.

Vancouver:

Hausmann P. The Agda UHC Backend. [Internet] [Masters thesis]. Universiteit Utrecht; 2015. [cited 2019 Oct 16]. 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 October 16, 2019. 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. 16 Oct 2019.

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 2019 Oct 16]. 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


Virginia Tech

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

Degree: MS, Electrical and 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 October 16, 2019. 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. 16 Oct 2019.

Vancouver:

Lee K. Module Shaping and Exploration in Rapid FPGA Design and Assembly Workflows. [Internet] [Masters thesis]. Virginia Tech; 2015. [cited 2019 Oct 16]. 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


Kansas State University

11. 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 October 16, 2019. http://hdl.handle.net/2097/38879.

MLA Handbook (7th Edition):

Donnoe, Joshua. “Compiling Java in linear nondeterministic space.” 2018. Web. 16 Oct 2019.

Vancouver:

Donnoe J. Compiling Java in linear nondeterministic space. [Internet] [Masters thesis]. Kansas State University; 2018. [cited 2019 Oct 16]. 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

12. 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 October 16, 2019. 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. 16 Oct 2019.

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 2019 Oct 16]. 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

13. 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 October 16, 2019. 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. 16 Oct 2019.

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 2019 Oct 16]. 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

14. 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 October 16, 2019. 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. 16 Oct 2019.

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 2019 Oct 16]. 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

15. 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 October 16, 2019. 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. 16 Oct 2019.

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 2019 Oct 16]. 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

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, Paris Saclay

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). Paris Saclay. 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, Paris Saclay. Accessed October 16, 2019. 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. 16 Oct 2019.

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]. Paris Saclay; 2018. [cited 2019 Oct 16]. 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]. Paris Saclay; 2018. Available from: http://www.theses.fr/2018SACLY018

17. Fernandez Escareño, Itzia Gabriela. La compilation, un outil paradoxal de valorisation des films muets recyclés par Peter Delpeut et coproduits par le Nederlands Filmmuseum [1989-1999] : Compilations's paradox for the promotion of silent films through Peter Delpeut's films coproduced by the Netherlands Filmmuseum [1989-1999].

Degree: Docteur es, Etudes cinématographiques et audiovisuelles, 2009, Université Sorbonne Nouvelle – Paris III

La recherche interroge la valorisation des archives du Nederlands Filmmuseum [NFM] à partir du travail de compilation du cinéaste Peter Delpeut. Ce corpus de dix… (more)

Subjects/Keywords: Film muet; Compilation; Archive; Valorisation; Analyse des films; Réemploi; Silent film; Compilation; Film archive; Promotion; Film analyse; Found footage

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Fernandez Escareño, I. G. (2009). La compilation, un outil paradoxal de valorisation des films muets recyclés par Peter Delpeut et coproduits par le Nederlands Filmmuseum [1989-1999] : Compilations's paradox for the promotion of silent films through Peter Delpeut's films coproduced by the Netherlands Filmmuseum [1989-1999]. (Doctoral Dissertation). Université Sorbonne Nouvelle – Paris III. Retrieved from http://www.theses.fr/2009PA030047

Chicago Manual of Style (16th Edition):

Fernandez Escareño, Itzia Gabriela. “La compilation, un outil paradoxal de valorisation des films muets recyclés par Peter Delpeut et coproduits par le Nederlands Filmmuseum [1989-1999] : Compilations's paradox for the promotion of silent films through Peter Delpeut's films coproduced by the Netherlands Filmmuseum [1989-1999].” 2009. Doctoral Dissertation, Université Sorbonne Nouvelle – Paris III. Accessed October 16, 2019. http://www.theses.fr/2009PA030047.

MLA Handbook (7th Edition):

Fernandez Escareño, Itzia Gabriela. “La compilation, un outil paradoxal de valorisation des films muets recyclés par Peter Delpeut et coproduits par le Nederlands Filmmuseum [1989-1999] : Compilations's paradox for the promotion of silent films through Peter Delpeut's films coproduced by the Netherlands Filmmuseum [1989-1999].” 2009. Web. 16 Oct 2019.

Vancouver:

Fernandez Escareño IG. La compilation, un outil paradoxal de valorisation des films muets recyclés par Peter Delpeut et coproduits par le Nederlands Filmmuseum [1989-1999] : Compilations's paradox for the promotion of silent films through Peter Delpeut's films coproduced by the Netherlands Filmmuseum [1989-1999]. [Internet] [Doctoral dissertation]. Université Sorbonne Nouvelle – Paris III; 2009. [cited 2019 Oct 16]. Available from: http://www.theses.fr/2009PA030047.

Council of Science Editors:

Fernandez Escareño IG. La compilation, un outil paradoxal de valorisation des films muets recyclés par Peter Delpeut et coproduits par le Nederlands Filmmuseum [1989-1999] : Compilations's paradox for the promotion of silent films through Peter Delpeut's films coproduced by the Netherlands Filmmuseum [1989-1999]. [Doctoral Dissertation]. Université Sorbonne Nouvelle – Paris III; 2009. Available from: http://www.theses.fr/2009PA030047

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 October 16, 2019. 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. 16 Oct 2019.

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 2019 Oct 16]. 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


Université de Montréal

19. Guillemette, Louis-Julien. A Type-Preserving Compiler from System F to Typed Assembly Language .

Degree: 2010, Université de Montréal

 L'utilisation des méthodes formelles est de plus en plus courante dans le développement logiciel, et les systèmes de types sont la méthode formelle qui a… (more)

Subjects/Keywords: Compilation certifiée; Certified compilation; Langage assembleur typé; Typed assembly language; Polymorphisme; Polymorphism; Vérification formelle; Program verification; Liaisons; Bindings

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Guillemette, L. (2010). A Type-Preserving Compiler from System F to Typed Assembly Language . (Thesis). Université de Montréal. Retrieved from http://hdl.handle.net/1866/3454

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Guillemette, Louis-Julien. “A Type-Preserving Compiler from System F to Typed Assembly Language .” 2010. Thesis, Université de Montréal. Accessed October 16, 2019. http://hdl.handle.net/1866/3454.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Guillemette, Louis-Julien. “A Type-Preserving Compiler from System F to Typed Assembly Language .” 2010. Web. 16 Oct 2019.

Vancouver:

Guillemette L. A Type-Preserving Compiler from System F to Typed Assembly Language . [Internet] [Thesis]. Université de Montréal; 2010. [cited 2019 Oct 16]. Available from: http://hdl.handle.net/1866/3454.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Guillemette L. A Type-Preserving Compiler from System F to Typed Assembly Language . [Thesis]. Université de Montréal; 2010. Available from: http://hdl.handle.net/1866/3454

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

20. 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 October 16, 2019. 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. 16 Oct 2019.

Vancouver:

Habel R. Programmation haute performance pour architectures hybrides : High Performance Programming for Hybrid Architectures. [Internet] [Doctoral dissertation]. Paris, ENMP; 2014. [cited 2019 Oct 16]. 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

21. 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 October 16, 2019. 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. 16 Oct 2019.

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 2019 Oct 16]. 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

22. 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, Grenoble Alpes

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). Grenoble Alpes. 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, Grenoble Alpes. Accessed October 16, 2019. 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. 16 Oct 2019.

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]. Grenoble Alpes; 2015. [cited 2019 Oct 16]. 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]. Grenoble Alpes; 2015. Available from: http://www.theses.fr/2015GREAM020

23. 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 October 16, 2019. 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. 16 Oct 2019.

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 2019 Oct 16]. 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

24. 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 October 16, 2019. 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. 16 Oct 2019.

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 2019 Oct 16]. 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

25. 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 October 16, 2019. 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. 16 Oct 2019.

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 2019 Oct 16]. 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

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 October 16, 2019. 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. 16 Oct 2019.

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 2019 Oct 16]. 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


Université Montpellier II

27. 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 October 16, 2019. 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. 16 Oct 2019.

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 2019 Oct 16]. 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

28. 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 October 16, 2019. 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. 16 Oct 2019.

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 2019 Oct 16]. 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

29. 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 October 16, 2019. 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. 16 Oct 2019.

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 2019 Oct 16]. 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

30. 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, Paris Saclay

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). Paris Saclay. 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, Paris Saclay. Accessed October 16, 2019. 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. 16 Oct 2019.

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]. Paris Saclay; 2016. [cited 2019 Oct 16]. 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]. Paris Saclay; 2016. Available from: http://www.theses.fr/2016SACLV087

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

.