subject:(Compile)

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

URL: http://hdl.handle.net/1928/32945

► 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 Details Similar Records Cite « Share

❌

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

APA (6^th 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 (16^th 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 (7^th 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

URL: http://hdl.handle.net/1911/105397

► 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…

10 more images…

Record Details Similar Records Cite « Share

❌

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

APA (6^th 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 (16^th 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 (7^th 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

URL: http://hdl.handle.net/11012/191876

► 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 Details Similar Records Cite « Share

❌

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

APA (6^th 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 (16^th 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 (7^th 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

URL: http://www.theses.fr/2012PA112090

►

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)

▼

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 fait que chaque calcul en virgule flottante est effectué avec des précisions différentes. Le but de cette thèse est de prouver formellement des propriétés des programmes opérant sur des nombres flottants en prenant en compte l’architecture et le compilateur. Pour le faire, nous avons proposé deux approches différentes. La première approche est de prouver des propriétés des programmes en virgule flottante qui sont vraies sur plusieurs architectures et compilateurs. Cette approche ne considère que les erreurs d’arrondi qui doivent être validées quels que soient l’environnement matériel et le choix du compilateur. Elle est implantée dans la plate-forme Frama-C pour l’analyse statique de code C. La deuxième approche consiste à prouver des propriétés des programmes en analysant leur code assembleur. Nous nous concentrons sur des problèmes et des pièges qui apparaissent sur des calculs en virgule flottante. L’analyse directe du code assembleur nous permet de considérer des caratéristiques dépendant de l’architecture ou du compilateur telle que l’utilisation des registres en précision étendue. Cette approche est implantée comme une sur-couche de la plate-forme Why pour la vérification déductive.

On some recently developed architectures, a numerical program may give different answers depending on the execution hardware and the compilation. These discrepancies of the results come from the fact that each floating-point computation is calculated with different precisions. The goal of this thesis is to formally prove properties about numerical programs while taking the architecture and the compiler into account. In order to do that, we propose two different approaches. The first approach is to prove properties of floating-point programs that are true for multiple architectures and compilers. This approach states the rounding error of each floating-point computation whatever the environment and the compiler choices. It is implemented in the Frama-C platform for static analysis of C code. The second approach is to prove behavioral properties of numerical programs by analyzing their compiled assembly code. We focus on the issues and traps that may arise on floating-point computations. Direct analysis of the assembly code allows us to take into account architecture- or compiler-dependent features such as the possible use of extended precision registers. It is implemented above the Why platform for deductive verification

Advisors/Committee Members: Marché, Claude (thesis director), Boldo, Sylvie (thesis director).

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 Details Similar Records Cite « Share

❌

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

APA (6^th 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 (16^th 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 (7^th 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

URL: http://hdl.handle.net/2142/45344

► 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…

5 more images…

Record Details Similar Records Cite « Share

❌

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

APA (6^th 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 (16^th 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 (7^th 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

		in
And / Or
		in
And / Or
		in
And / Or
		in

Open Access Theses and Dissertations