subject:(Compile)

1. 佐伯, 豊. 自己反映的逐次プログラミング言語の効率的なコンパイル手法について.

Degree: Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学

URL: http://hdl.handle.net/10119/1055

Supervisor:渡部卓雄

情報科学研究科

修士

Subjects/Keywords: 自己反映計算, 再利用, モジュール化, コンパイラ, Scheme, メタレベルアーキテクチャ; reflection, scheme, reuse, modularization, compile

Record Details Similar Records Cite « Share

❌

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

APA (6^th Edition):

佐伯, �. (n.d.). 自己反映的逐次プログラミング言語の効率的なコンパイル手法について. (Thesis). Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学. Retrieved from http://hdl.handle.net/10119/1055

Note: this citation may be lacking information needed for this citation format:
No year of publication.
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^th Edition):

佐伯, 豊. “自己反映的逐次プログラミング言語の効率的なコンパイル手法について.” Thesis, Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学. Accessed January 26, 2021. http://hdl.handle.net/10119/1055.

Note: this citation may be lacking information needed for this citation format:
No year of publication.
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^th Edition):

佐伯, 豊. “自己反映的逐次プログラミング言語の効率的なコンパイル手法について.” Web. 26 Jan 2021.

Note: this citation may be lacking information needed for this citation format:
No year of publication.

Vancouver:

佐伯 �. 自己反映的逐次プログラミング言語の効率的なコンパイル手法について. [Internet] [Thesis]. Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学; [cited 2021 Jan 26]. Available from: http://hdl.handle.net/10119/1055.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
No year of publication.

Council of Science Editors:

佐伯 �. 自己反映的逐次プログラミング言語の効率的なコンパイル手法について. [Thesis]. Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学; Available from: http://hdl.handle.net/10119/1055

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
No year of publication.

Linköping University

2. Abrahamsson, Heléne. Varför, och varför inte, integrerar NO-lärare ämnena i grundskolan?.

Degree: Thematic Studies, 2005, Linköping University

URL: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-2078

► Under vår skolförlagda utbildning har vi varit på olika skolor, där vi sett att lärarnas undervisning varierade stort i dessa skolor. Vi undrar varför… (more)

Subjects/Keywords: Education; Integration; ämnesintegrering; helhetssyn; sammanställa; samordna; förståelse; tvärvetenskap; kunskapssyn; tema; ämnesövergripande; Integration; subject integration; forms a whole view; compile; coordinate; understanding; science cross; cognitive/epistemological approach; thematic; interdisciplinary; Pedagogik; Education; Pedagogik

Record Details Similar Records Cite « Share

❌

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

APA (6^th Edition):

Abrahamsson, H. (2005). Varför, och varför inte, integrerar NO-lärare ämnena i grundskolan?. (Thesis). Linköping University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-2078

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

Abrahamsson, Heléne. “Varför, och varför inte, integrerar NO-lärare ämnena i grundskolan?.” 2005. Thesis, Linköping University. Accessed January 26, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-2078.

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

MLA Handbook (7^th Edition):

Abrahamsson, Heléne. “Varför, och varför inte, integrerar NO-lärare ämnena i grundskolan?.” 2005. Web. 26 Jan 2021.

Vancouver:

Abrahamsson H. Varför, och varför inte, integrerar NO-lärare ämnena i grundskolan?. [Internet] [Thesis]. Linköping University; 2005. [cited 2021 Jan 26]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-2078.

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

Council of Science Editors:

Abrahamsson H. Varför, och varför inte, integrerar NO-lärare ämnena i grundskolan?. [Thesis]. Linköping University; 2005. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-2078

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

University of New Mexico

3. 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 26, 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. 26 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 26]. 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

University of Melbourne

4. GIUCA, MATTHEW. Mars: an imperative/declarative higher-order programming language with automatic destructive update.

Degree: 2014, University of Melbourne

URL: http://hdl.handle.net/11343/43263

► For years, we have enjoyed the robustness of programming without side-effects in languages such as Haskell and Mercury. Yet in order to use languages with… (more)

Subjects/Keywords: programming languages; imperative programming; declarative programming; destructive update; compile-time garbage collection

Record Details Similar Records Cite « Share

❌

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

APA (6^th Edition):

GIUCA, M. (2014). Mars: an imperative/declarative higher-order programming language with automatic destructive update. (Doctoral Dissertation). University of Melbourne. Retrieved from http://hdl.handle.net/11343/43263

Chicago Manual of Style (16^th Edition):

GIUCA, MATTHEW. “Mars: an imperative/declarative higher-order programming language with automatic destructive update.” 2014. Doctoral Dissertation, University of Melbourne. Accessed January 26, 2021. http://hdl.handle.net/11343/43263.

MLA Handbook (7^th Edition):

GIUCA, MATTHEW. “Mars: an imperative/declarative higher-order programming language with automatic destructive update.” 2014. Web. 26 Jan 2021.

Vancouver:

GIUCA M. Mars: an imperative/declarative higher-order programming language with automatic destructive update. [Internet] [Doctoral dissertation]. University of Melbourne; 2014. [cited 2021 Jan 26]. Available from: http://hdl.handle.net/11343/43263.

Council of Science Editors:

GIUCA M. Mars: an imperative/declarative higher-order programming language with automatic destructive update. [Doctoral Dissertation]. University of Melbourne; 2014. Available from: http://hdl.handle.net/11343/43263

Missouri University of Science and Technology

5. Nerella, Venkata Krishna Suhas. Exploring run-time reduction in programming codes via query optimization and caching.

Degree: PhD, Computer Science, Missouri University of Science and Technology

URL: https://scholarsmine.mst.edu/doctoral_dissertations/2062

► "Object oriented programming languages raised the level of abstraction by supporting the explicit first class query constructs in the programming codes. These query constructs allow… (more)

Subjects/Keywords: Collection queries; Run time; Compile time; Histograms; Computer Sciences

Record Details Similar Records Cite « Share

❌

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

APA (6^th Edition):

Nerella, V. K. S. (n.d.). Exploring run-time reduction in programming codes via query optimization and caching. (Doctoral Dissertation). Missouri University of Science and Technology. Retrieved from https://scholarsmine.mst.edu/doctoral_dissertations/2062

Note: this citation may be lacking information needed for this citation format:
No year of publication.

Chicago Manual of Style (16^th Edition):

Nerella, Venkata Krishna Suhas. “Exploring run-time reduction in programming codes via query optimization and caching.” Doctoral Dissertation, Missouri University of Science and Technology. Accessed January 26, 2021. https://scholarsmine.mst.edu/doctoral_dissertations/2062.

Note: this citation may be lacking information needed for this citation format:
No year of publication.

MLA Handbook (7^th Edition):

Nerella, Venkata Krishna Suhas. “Exploring run-time reduction in programming codes via query optimization and caching.” Web. 26 Jan 2021.

Note: this citation may be lacking information needed for this citation format:
No year of publication.

Vancouver:

Nerella VKS. Exploring run-time reduction in programming codes via query optimization and caching. [Internet] [Doctoral dissertation]. Missouri University of Science and Technology; [cited 2021 Jan 26]. Available from: https://scholarsmine.mst.edu/doctoral_dissertations/2062.

Note: this citation may be lacking information needed for this citation format:
No year of publication.

Council of Science Editors:

Nerella VKS. Exploring run-time reduction in programming codes via query optimization and caching. [Doctoral Dissertation]. Missouri University of Science and Technology; Available from: https://scholarsmine.mst.edu/doctoral_dissertations/2062

Note: this citation may be lacking information needed for this citation format:
No year of publication.

Université Paris-Sud – Paris XI

6. 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 26, 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. 26 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 26]. 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

Brno University of Technology

7. 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 26, 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. 26 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 26]. 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

8. Vestman, Filip Andersson. Experimentell studie av prestandaskillnader mellan native Android och Xamarin för mobilapplikationer.

Degree: Electrical and Space Engineering, 2018, Luleå University of Technology

URL: http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-69108

►

Sedan smarta mobiltelefoner introducerades har användningen och likaså behovet av mobilapplikationer ökat exponentiellt. När utvecklingsprocessen för en mobilapplikation påbörjas måste en utvecklare utvärdera ett… (more)

▼

Sedan smarta mobiltelefoner introducerades har användningen och likaså behovet av mobilapplikationer ökat exponentiellt. När utvecklingsprocessen för en mobilapplikation påbörjas måste en utvecklare utvärdera ett antal faktorer som kan påverka mobilapplikationens användning eller prestanda, till exempel utvecklingsplattform som denna studie fokuserar på. Syftet med denna studie är att fastställa prestandaskillnaderna för native Android och Xamarin cross-compile med hjälp av en experimentell studie. Tesen för denna studie är baserad på tidigare forskning som tyder på att cross-platform och Xamarin cross-compile har sämre prestanda än native Android, resultatet av denna studie kan bidra till valet av utvecklingsplattform för utvecklare. Avgränsningar har valts i form av Android som plattform, exekveringstid, CPU-användning samt RAM-användning för prestandamätning. Beräkningar som utförs är iterativ bubble sort i form av best case, worst case och random case med varierande antal nummer och en rekursiv Fibonaccisekvens med olika utgångspunkter. Resultatet av denna studie stämmer överens med tesen, Xamarin har i dagsläget sämre prestanda än native Android.

Throughout the last decade the mobile phone market has grown rapidly and with it, the need for mobile applications has grown as well. When the development process for a mobile application starts, a developer must review various factors that can affect the mobile applications usage or performance, for example the development platform to use which is the focus of this study. The purpose of this study is to determine the difference in performance between native Android and Xamarin cross-compile with the use of an experimental study. The hypothesis of this study is based on previous research which shows that cross-platform and Xamarin cross-compile have worse performance than native Android, the result of this study can contribute can help a developer make the decision on what development platform to choose. The delimitations have been chosen as Android as platform, execution time, CPU-usage and RAM-usage for performance testing. The algorithms that were chosen were an iterative bubble sort, in form of best case, worst case and random case with varying numbers, and a recursive Fibonacci sequence with different starting points. The result of this study is consistent with the hypothesis, Xamarin shows worse performance than native Android.

Subjects/Keywords: Mobile application; Native Android; Xamarin; Cross-platform; Cross-compile; Development platform; Mobilapplikation; Native Android; Xamarin; Cross-platform; Cross-compile; Utvecklingsplattform; Information Systems; Systemvetenskap, informationssystem och informatik

Record Details Similar Records Cite « Share

❌

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

APA (6^th Edition):

Vestman, F. A. (2018). Experimentell studie av prestandaskillnader mellan native Android och Xamarin för mobilapplikationer. (Thesis). Luleå University of Technology. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-69108

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

Vestman, Filip Andersson. “Experimentell studie av prestandaskillnader mellan native Android och Xamarin för mobilapplikationer.” 2018. Thesis, Luleå University of Technology. Accessed January 26, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-69108.

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

MLA Handbook (7^th Edition):

Vestman, Filip Andersson. “Experimentell studie av prestandaskillnader mellan native Android och Xamarin för mobilapplikationer.” 2018. Web. 26 Jan 2021.

Vancouver:

Vestman FA. Experimentell studie av prestandaskillnader mellan native Android och Xamarin för mobilapplikationer. [Internet] [Thesis]. Luleå University of Technology; 2018. [cited 2021 Jan 26]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-69108.

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

Council of Science Editors:

Vestman FA. Experimentell studie av prestandaskillnader mellan native Android och Xamarin för mobilapplikationer. [Thesis]. Luleå University of Technology; 2018. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-69108

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

9. 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 26, 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. 26 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 26]. 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

10. 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 26, 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. 26 Jan 2021.

Vancouver:

Zeng Y. Making Hybrid Systems Easier to Model, Simulate, and Visualize. [Internet] [Doctoral dissertation]. Rice University; 2019. [cited 2021 Jan 26]. 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

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

Open Access Theses and Dissertations