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:(CFG). Showing records 1 – 10 of 10 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


University of Illinois – Chicago

1. Casula, Dario. Witnessing Control Flow Graph Optimizations.

Degree: 2016, University of Illinois – Chicago

 Proving the correctness of a program transformation, and specifically, of a compiler op- timization, is a long-standing research problem. Trusting the compiler requires to guarantee… (more)

Subjects/Keywords: llvm; witness; z3; CFG; compiler

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Casula, D. (2016). Witnessing Control Flow Graph Optimizations. (Thesis). University of Illinois – Chicago. Retrieved from http://hdl.handle.net/10027/20974

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

Casula, Dario. “Witnessing Control Flow Graph Optimizations.” 2016. Thesis, University of Illinois – Chicago. Accessed March 31, 2020. http://hdl.handle.net/10027/20974.

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

MLA Handbook (7th Edition):

Casula, Dario. “Witnessing Control Flow Graph Optimizations.” 2016. Web. 31 Mar 2020.

Vancouver:

Casula D. Witnessing Control Flow Graph Optimizations. [Internet] [Thesis]. University of Illinois – Chicago; 2016. [cited 2020 Mar 31]. Available from: http://hdl.handle.net/10027/20974.

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

Council of Science Editors:

Casula D. Witnessing Control Flow Graph Optimizations. [Thesis]. University of Illinois – Chicago; 2016. Available from: http://hdl.handle.net/10027/20974

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


University of Houston

2. Martindell, Peter 1958-. A NARRATIVE INQUIRY INTO THE INFLUENCE OF COACHING.

Degree: EdD, Curriculum and Instruction, 2012, University of Houston

 This narrative inquiry studied the influences of coaching methodology, critical incidents, and critical relationships on three specific teacher knowledge communities – the Portfolio Group, the… (more)

Subjects/Keywords: Critical Friends Group; CFG; Peer coaching; Data teams; Professional learning communities; PLC; Curriculum and instruction

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Martindell, P. 1. (2012). A NARRATIVE INQUIRY INTO THE INFLUENCE OF COACHING. (Doctoral Dissertation). University of Houston. Retrieved from http://hdl.handle.net/10657/609

Chicago Manual of Style (16th Edition):

Martindell, Peter 1958-. “A NARRATIVE INQUIRY INTO THE INFLUENCE OF COACHING.” 2012. Doctoral Dissertation, University of Houston. Accessed March 31, 2020. http://hdl.handle.net/10657/609.

MLA Handbook (7th Edition):

Martindell, Peter 1958-. “A NARRATIVE INQUIRY INTO THE INFLUENCE OF COACHING.” 2012. Web. 31 Mar 2020.

Vancouver:

Martindell P1. A NARRATIVE INQUIRY INTO THE INFLUENCE OF COACHING. [Internet] [Doctoral dissertation]. University of Houston; 2012. [cited 2020 Mar 31]. Available from: http://hdl.handle.net/10657/609.

Council of Science Editors:

Martindell P1. A NARRATIVE INQUIRY INTO THE INFLUENCE OF COACHING. [Doctoral Dissertation]. University of Houston; 2012. Available from: http://hdl.handle.net/10657/609

3. Björnhager, Jens. CRL2ALF : En översättare från PowerPC till ALF.

Degree: Design and Engineering, 2011, Mälardalen University

Realtidssystem ställer hårda krav på dess ingående mjukvaras temporala beteende. Programmen måste bete sig deterministiskt och ge svar inom satta tidsgränser. Med hårda krav… (more)

Subjects/Keywords: ppc powerpc assembly alf wcet real-time cfg code conversion; Computer Engineering; Datorteknik

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Björnhager, J. (2011). CRL2ALF : En översättare från PowerPC till ALF. (Thesis). Mälardalen University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-13373

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

Björnhager, Jens. “CRL2ALF : En översättare från PowerPC till ALF.” 2011. Thesis, Mälardalen University. Accessed March 31, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-13373.

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

MLA Handbook (7th Edition):

Björnhager, Jens. “CRL2ALF : En översättare från PowerPC till ALF.” 2011. Web. 31 Mar 2020.

Vancouver:

Björnhager J. CRL2ALF : En översättare från PowerPC till ALF. [Internet] [Thesis]. Mälardalen University; 2011. [cited 2020 Mar 31]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-13373.

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

Council of Science Editors:

Björnhager J. CRL2ALF : En översättare från PowerPC till ALF. [Thesis]. Mälardalen University; 2011. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-13373

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


Lehigh University

4. Niu, Ben. Practical Control-Flow Integrity.

Degree: PhD, Computer Science, 2016, Lehigh University

 Control-Flow Integrity (CFI) is effective at defending against prevalent control-flow hijacking attacks. CFI extracts a control-flow graph (CFG) for a given program and instruments the… (more)

Subjects/Keywords: Control-Flow Integrity; Efficiency; Fine-grained CFG; Interoperability; Modularity; Practicality; Computer Sciences; Physical Sciences and Mathematics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Niu, B. (2016). Practical Control-Flow Integrity. (Doctoral Dissertation). Lehigh University. Retrieved from https://preserve.lehigh.edu/etd/2745

Chicago Manual of Style (16th Edition):

Niu, Ben. “Practical Control-Flow Integrity.” 2016. Doctoral Dissertation, Lehigh University. Accessed March 31, 2020. https://preserve.lehigh.edu/etd/2745.

MLA Handbook (7th Edition):

Niu, Ben. “Practical Control-Flow Integrity.” 2016. Web. 31 Mar 2020.

Vancouver:

Niu B. Practical Control-Flow Integrity. [Internet] [Doctoral dissertation]. Lehigh University; 2016. [cited 2020 Mar 31]. Available from: https://preserve.lehigh.edu/etd/2745.

Council of Science Editors:

Niu B. Practical Control-Flow Integrity. [Doctoral Dissertation]. Lehigh University; 2016. Available from: https://preserve.lehigh.edu/etd/2745


Brno University of Technology

5. Kondula, Václav. Extrakce grafu toku řízení z formátu LLVM IR .

Degree: 2017, Brno University of Technology

 Tato bakalářská práce se zabývá návrhem a implementací extrakce grafů toku řízení ze zdrojových souborů jazyků C a C++ ve formátu LLVM IR. K tomu… (more)

Subjects/Keywords: cfg; graf toku řízení; llvm; clang; mezikód; testování; libtooling; jazyk c; jazyk c++; jednotkové testování; cfg; control flow graph; llvm; clang; intermediate representation; testing; libtooling; c language; c++ language; unit testing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kondula, V. (2017). Extrakce grafu toku řízení z formátu LLVM IR . (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/69772

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

Kondula, Václav. “Extrakce grafu toku řízení z formátu LLVM IR .” 2017. Thesis, Brno University of Technology. Accessed March 31, 2020. http://hdl.handle.net/11012/69772.

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

MLA Handbook (7th Edition):

Kondula, Václav. “Extrakce grafu toku řízení z formátu LLVM IR .” 2017. Web. 31 Mar 2020.

Vancouver:

Kondula V. Extrakce grafu toku řízení z formátu LLVM IR . [Internet] [Thesis]. Brno University of Technology; 2017. [cited 2020 Mar 31]. Available from: http://hdl.handle.net/11012/69772.

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

Council of Science Editors:

Kondula V. Extrakce grafu toku řízení z formátu LLVM IR . [Thesis]. Brno University of Technology; 2017. Available from: http://hdl.handle.net/11012/69772

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


Brno University of Technology

6. Kraut, Daniel. Generování modelů pro testy ze zdrojových kódů .

Degree: 2019, Brno University of Technology

 ílem této diplomové práce je navrhnout a implementovat nástroj pro automatické generování cest ze zdrojových kódů. V rámci práce byla nastudována problematika testování založeného na… (more)

Subjects/Keywords: automatický generátor; testování; model checking; kritérium pokrytí; tok řízení; tok dat; logický výraz; testovací cesta; LLVM; IR; CFG; automatic generator; testing; model checking; coverage criteria; control flow; data flow; logical expression; test path; LLVM; IR; CFG

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kraut, D. (2019). Generování modelů pro testy ze zdrojových kódů . (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/180370

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

Kraut, Daniel. “Generování modelů pro testy ze zdrojových kódů .” 2019. Thesis, Brno University of Technology. Accessed March 31, 2020. http://hdl.handle.net/11012/180370.

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

MLA Handbook (7th Edition):

Kraut, Daniel. “Generování modelů pro testy ze zdrojových kódů .” 2019. Web. 31 Mar 2020.

Vancouver:

Kraut D. Generování modelů pro testy ze zdrojových kódů . [Internet] [Thesis]. Brno University of Technology; 2019. [cited 2020 Mar 31]. Available from: http://hdl.handle.net/11012/180370.

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

Council of Science Editors:

Kraut D. Generování modelů pro testy ze zdrojových kódů . [Thesis]. Brno University of Technology; 2019. Available from: http://hdl.handle.net/11012/180370

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

7. Xue, Edward H. Towards a scripting language for visual data exploration.

Degree: MS, Computer Science, 2018, University of Illinois – Urbana-Champaign

 Visualization of data is becoming increasingly important for data analysis; numerous insights can be derived from visualizations at a glance. While the information provided through… (more)

Subjects/Keywords: Data Analytics; Visual Data Analytics; Automatic Visualization; Databases; Scripting Language; R; ggplot; Data Exploration; Zenvisage; Query Language; ZQL; ZSL; Data Science; grammar; CFG; BNF

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Xue, E. H. (2018). Towards a scripting language for visual data exploration. (Thesis). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/101040

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

Xue, Edward H. “Towards a scripting language for visual data exploration.” 2018. Thesis, University of Illinois – Urbana-Champaign. Accessed March 31, 2020. http://hdl.handle.net/2142/101040.

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

MLA Handbook (7th Edition):

Xue, Edward H. “Towards a scripting language for visual data exploration.” 2018. Web. 31 Mar 2020.

Vancouver:

Xue EH. Towards a scripting language for visual data exploration. [Internet] [Thesis]. University of Illinois – Urbana-Champaign; 2018. [cited 2020 Mar 31]. Available from: http://hdl.handle.net/2142/101040.

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

Council of Science Editors:

Xue EH. Towards a scripting language for visual data exploration. [Thesis]. University of Illinois – Urbana-Champaign; 2018. Available from: http://hdl.handle.net/2142/101040

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

8. 友田, 和美. イノベーション創出のための組織マネジメント―産学官連携組織GLITの構築によるライフサイエンス分野の研究開発・産業化の推進―.

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

Supervisor:井川康夫

知識科学研究科

修士

Subjects/Keywords: 糖鎖,イノベーション,ライフサイエンス,産学官連携,AIST,産総研,産業技術総合研究所,糖鎖工学,糖鎖産業技術フォーラム,クラスター,イノベーションハブ; lifescience, innovation, sugar chain, glycoproteomics, glycoscience, glycotechnology, industry-academia-government collaboration, innovation hab, biotechnology, drug development, cluster, CFG, GLIT

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

友田, . (n.d.). イノベーション創出のための組織マネジメント―産学官連携組織GLITの構築によるライフサイエンス分野の研究開発・産業化の推進―. (Thesis). Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学. Retrieved from http://hdl.handle.net/10119/8791

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 (16th Edition):

友田, 和美. “イノベーション創出のための組織マネジメント―産学官連携組織GLITの構築によるライフサイエンス分野の研究開発・産業化の推進―.” Thesis, Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学. Accessed March 31, 2020. http://hdl.handle.net/10119/8791.

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 (7th Edition):

友田, 和美. “イノベーション創出のための組織マネジメント―産学官連携組織GLITの構築によるライフサイエンス分野の研究開発・産業化の推進―.” Web. 31 Mar 2020.

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

Vancouver:

友田 . イノベーション創出のための組織マネジメント―産学官連携組織GLITの構築によるライフサイエンス分野の研究開発・産業化の推進―. [Internet] [Thesis]. Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学; [cited 2020 Mar 31]. Available from: http://hdl.handle.net/10119/8791.

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:

友田 . イノベーション創出のための組織マネジメント―産学官連携組織GLITの構築によるライフサイエンス分野の研究開発・産業化の推進―. [Thesis]. Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学; Available from: http://hdl.handle.net/10119/8791

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


Brigham Young University

9. Self, Joel P. On-the-Fly Dynamic Dead Variable Analysis.

Degree: MS, 2007, Brigham Young University

 State explosion in model checking continues to be the primary obstacle to widespread use of software model checking. The large input ranges of variables used… (more)

Subjects/Keywords: model checking; computer science; static; static analysis; dynamic analysis; analysis; program; program analysis; Estes; GDB; dead variable analysis; dead variable; live variable; live variable analysis; CFG; abstraction; data abstraction; on-the-fly; static program analysis; control flow graph; software model checking; state space; depth first search; state explosion; state explosion problem; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Self, J. P. (2007). On-the-Fly Dynamic Dead Variable Analysis. (Masters Thesis). Brigham Young University. Retrieved from https://scholarsarchive.byu.edu/cgi/viewcontent.cgi?article=1885&context=etd

Chicago Manual of Style (16th Edition):

Self, Joel P. “On-the-Fly Dynamic Dead Variable Analysis.” 2007. Masters Thesis, Brigham Young University. Accessed March 31, 2020. https://scholarsarchive.byu.edu/cgi/viewcontent.cgi?article=1885&context=etd.

MLA Handbook (7th Edition):

Self, Joel P. “On-the-Fly Dynamic Dead Variable Analysis.” 2007. Web. 31 Mar 2020.

Vancouver:

Self JP. On-the-Fly Dynamic Dead Variable Analysis. [Internet] [Masters thesis]. Brigham Young University; 2007. [cited 2020 Mar 31]. Available from: https://scholarsarchive.byu.edu/cgi/viewcontent.cgi?article=1885&context=etd.

Council of Science Editors:

Self JP. On-the-Fly Dynamic Dead Variable Analysis. [Masters Thesis]. Brigham Young University; 2007. Available from: https://scholarsarchive.byu.edu/cgi/viewcontent.cgi?article=1885&context=etd

10. 原田, 哲治. 再帰型回路網による文法の獲得.

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

Supervisor:櫻井 彰人

知識科学研究科

修士

Subjects/Keywords: コネクショニスト的記号処理,単純再帰型回路網(SRN),RAAM,文脈自由文法,構文解析,文法推論,関係節の埋め込み,holistic computation; connectionist symbol processing, simple recurrent network (SRN), recursive auto-associative memory (RAAM), context-free grammar (CFG), parsing, grammatical inference, embedded relative clauses, holistic computation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

原田, . (n.d.). 再帰型回路網による文法の獲得. (Thesis). Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学. Retrieved from http://hdl.handle.net/10119/737

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 (16th Edition):

原田, 哲治. “再帰型回路網による文法の獲得.” Thesis, Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学. Accessed March 31, 2020. http://hdl.handle.net/10119/737.

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 (7th Edition):

原田, 哲治. “再帰型回路網による文法の獲得.” Web. 31 Mar 2020.

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 2020 Mar 31]. Available from: http://hdl.handle.net/10119/737.

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/737

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

.