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

Language: English

You searched for subject:(Compile). Showing records 1 – 5 of 5 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


University of New Mexico

1. Ericksen, John. Transfuse: A Compile-Time Metaprogramming Solution for Reducing Boilerplate on Google's Android.

Degree: Department of Computer Science, 2016, University of New Mexico

 Modern Java application development makes use of metaprogramming to offset and reduce application boilerplate. Unfortunately, metaprogramming techniques typically require a relatively high run-time cost, particularly… (more)

Subjects/Keywords: Dependency Injection; Android; Compile time; Annotation Processing; Metaprogramming; Boilerplate

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ericksen, J. (2016). Transfuse: A Compile-Time Metaprogramming Solution for Reducing Boilerplate on Google's Android. (Masters Thesis). University of New Mexico. Retrieved from http://hdl.handle.net/1928/32945

Chicago Manual of Style (16th Edition):

Ericksen, John. “Transfuse: A Compile-Time Metaprogramming Solution for Reducing Boilerplate on Google's Android.” 2016. Masters Thesis, University of New Mexico. Accessed January 21, 2021. http://hdl.handle.net/1928/32945.

MLA Handbook (7th Edition):

Ericksen, John. “Transfuse: A Compile-Time Metaprogramming Solution for Reducing Boilerplate on Google's Android.” 2016. Web. 21 Jan 2021.

Vancouver:

Ericksen J. Transfuse: A Compile-Time Metaprogramming Solution for Reducing Boilerplate on Google's Android. [Internet] [Masters thesis]. University of New Mexico; 2016. [cited 2021 Jan 21]. Available from: http://hdl.handle.net/1928/32945.

Council of Science Editors:

Ericksen J. Transfuse: A Compile-Time Metaprogramming Solution for Reducing Boilerplate on Google's Android. [Masters Thesis]. University of New Mexico; 2016. Available from: http://hdl.handle.net/1928/32945

2. Zeng, Yingfu. Making Hybrid Systems Easier to Model, Simulate, and Visualize.

Degree: PhD, Engineering, 2019, Rice University

 Specifying the behavior desired of hybrid systems requires analytical modeling of physical phenomena. Similarly, testing them requires simulation of continuous systems. While numerous tools support… (more)

Subjects/Keywords: Modeling; Simulation; Compile-time Transformation; Hybrid Systems; Binding-time Analysis

…Hartenberg Parameters. . . . . . . . . . . . . . . . . . . . . . 48 5.1 Comparison of Compile… …explores a compile-time transformation approach for improving the modeling and simulation of… …this dissertation with help from Chad Rose, Marcia O’Malley. The implementation of compile… …time transformation in Acumen are my work. 2. Y. Zeng, F. Bartha, and W. Taha, “Compile-time… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zeng, Y. (2019). Making Hybrid Systems Easier to Model, Simulate, and Visualize. (Doctoral Dissertation). Rice University. Retrieved from http://hdl.handle.net/1911/105397

Chicago Manual of Style (16th Edition):

Zeng, Yingfu. “Making Hybrid Systems Easier to Model, Simulate, and Visualize.” 2019. Doctoral Dissertation, Rice University. Accessed January 21, 2021. http://hdl.handle.net/1911/105397.

MLA Handbook (7th Edition):

Zeng, Yingfu. “Making Hybrid Systems Easier to Model, Simulate, and Visualize.” 2019. Web. 21 Jan 2021.

Vancouver:

Zeng Y. Making Hybrid Systems Easier to Model, Simulate, and Visualize. [Internet] [Doctoral dissertation]. Rice University; 2019. [cited 2021 Jan 21]. Available from: http://hdl.handle.net/1911/105397.

Council of Science Editors:

Zeng Y. Making Hybrid Systems Easier to Model, Simulate, and Visualize. [Doctoral Dissertation]. Rice University; 2019. Available from: http://hdl.handle.net/1911/105397


Brno University of Technology

3. Novák, Samuel Matyáš. Implementace součtového datového typu v C++: Implementation of Sum Data Type in C++.

Degree: 2020, Brno University of Technology

 This work concerns the implementation of a sum data type in C++. First, custom abstractions to handle sequences of values and types are proposed, which… (more)

Subjects/Keywords: šablonové metaprogramování; generické programování; generování kódu při kompilaci; datové struktury; součtové datové typy; algebraické datové typy; polymorfismus; template metaprogramming; generic programming; compile-time code generation; data structures; sum data types; algebraic data types; polymorphism

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Novák, S. M. (2020). Implementace součtového datového typu v C++: Implementation of Sum Data Type in C++. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/191876

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):

Novák, Samuel Matyáš. “Implementace součtového datového typu v C++: Implementation of Sum Data Type in C++.” 2020. Thesis, Brno University of Technology. Accessed January 21, 2021. http://hdl.handle.net/11012/191876.

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

MLA Handbook (7th Edition):

Novák, Samuel Matyáš. “Implementace součtového datového typu v C++: Implementation of Sum Data Type in C++.” 2020. Web. 21 Jan 2021.

Vancouver:

Novák SM. Implementace součtového datového typu v C++: Implementation of Sum Data Type in C++. [Internet] [Thesis]. Brno University of Technology; 2020. [cited 2021 Jan 21]. Available from: http://hdl.handle.net/11012/191876.

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

Council of Science Editors:

Novák SM. Implementace součtového datového typu v C++: Implementation of Sum Data Type in C++. [Thesis]. Brno University of Technology; 2020. Available from: http://hdl.handle.net/11012/191876

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


Université Paris-Sud – Paris XI

4. Nguyen, Thi Minh Tuyen. Taking architecture and compiler into account in formal proofs of numerical programs : Preuves formelles de programmes numériques en prenant en compte l'architecture et le compilateur.

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

Sur des architectures récentes, un programme numérique peut donner des réponses différentes en fonction du hardware et du compilateur. Ces incohérences des résultats viennent du… (more)

Subjects/Keywords: Arithmétique en virgule flottante; Programmes numériques; Analyse statique; Optimisations à la compilation; Plate-forme Why; Plate-forme Frama-C; Floating-point arithmetic; Numerical programs; Static analysis; Compile-time optimizations; The Why platform; The Frama-C platform

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Nguyen, T. M. T. (2012). Taking architecture and compiler into account in formal proofs of numerical programs : Preuves formelles de programmes numériques en prenant en compte l'architecture et le compilateur. (Doctoral Dissertation). Université Paris-Sud – Paris XI. Retrieved from http://www.theses.fr/2012PA112090

Chicago Manual of Style (16th Edition):

Nguyen, Thi Minh Tuyen. “Taking architecture and compiler into account in formal proofs of numerical programs : Preuves formelles de programmes numériques en prenant en compte l'architecture et le compilateur.” 2012. Doctoral Dissertation, Université Paris-Sud – Paris XI. Accessed January 21, 2021. http://www.theses.fr/2012PA112090.

MLA Handbook (7th Edition):

Nguyen, Thi Minh Tuyen. “Taking architecture and compiler into account in formal proofs of numerical programs : Preuves formelles de programmes numériques en prenant en compte l'architecture et le compilateur.” 2012. Web. 21 Jan 2021.

Vancouver:

Nguyen TMT. Taking architecture and compiler into account in formal proofs of numerical programs : Preuves formelles de programmes numériques en prenant en compte l'architecture et le compilateur. [Internet] [Doctoral dissertation]. Université Paris-Sud – Paris XI; 2012. [cited 2021 Jan 21]. Available from: http://www.theses.fr/2012PA112090.

Council of Science Editors:

Nguyen TMT. Taking architecture and compiler into account in formal proofs of numerical programs : Preuves formelles de programmes numériques en prenant en compte l'architecture et le compilateur. [Doctoral Dissertation]. Université Paris-Sud – Paris XI; 2012. Available from: http://www.theses.fr/2012PA112090

5. Yordy, Zachary. A methodology to configure a minimal, application-specific operating system for distribution and operation.

Degree: MS, 1200, 2013, University of Illinois – Urbana-Champaign

 NetAPT is a tool that helps enterprise and utility customers validate their network security policy. While the tool gives helpful results, it relies on lots… (more)

Subjects/Keywords: Network Access Policy Tool (NetAPT); Operating System; Application-Specific Operating System (ASOS); Compile; Linux; Distribution

…project provides extensive instructions on how to compile an operating system from the ground up… …its small footprint, DSL does not offer any tools to compile software on the platform. Damn… …and choose exactly what to compile into the system. The user even controls whether… …compile the rest of the new operating system from scratch. It is important that the new… …base compilers. These compilers are then used later to compile the rest of GCC. After this… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Yordy, Z. (2013). A methodology to configure a minimal, application-specific operating system for distribution and operation. (Thesis). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/45344

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):

Yordy, Zachary. “A methodology to configure a minimal, application-specific operating system for distribution and operation.” 2013. Thesis, University of Illinois – Urbana-Champaign. Accessed January 21, 2021. http://hdl.handle.net/2142/45344.

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

MLA Handbook (7th Edition):

Yordy, Zachary. “A methodology to configure a minimal, application-specific operating system for distribution and operation.” 2013. Web. 21 Jan 2021.

Vancouver:

Yordy Z. A methodology to configure a minimal, application-specific operating system for distribution and operation. [Internet] [Thesis]. University of Illinois – Urbana-Champaign; 2013. [cited 2021 Jan 21]. Available from: http://hdl.handle.net/2142/45344.

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

Council of Science Editors:

Yordy Z. A methodology to configure a minimal, application-specific operating system for distribution and operation. [Thesis]. University of Illinois – Urbana-Champaign; 2013. Available from: http://hdl.handle.net/2142/45344

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

.