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:(Control flow graph). Showing records 1 – 28 of 28 total matches.

Search Limiters

Last 2 Years | English Only

▼ Search Limiters


Queens University

1. Mohamed, Atef. Software Architecture-Based Failure Prediction .

Degree: Computing, 2012, Queens University

 Depending on the role of software in everyday life, the cost of a software failure can sometimes be unaffordable. During system execution, errors may occur… (more)

Subjects/Keywords: Connection Dependence Graph; Error detection; Control Flow Graph; Failure prediction; Software Architecture

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Mohamed, A. (2012). Software Architecture-Based Failure Prediction . (Thesis). Queens University. Retrieved from http://hdl.handle.net/1974/7538

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

Mohamed, Atef. “Software Architecture-Based Failure Prediction .” 2012. Thesis, Queens University. Accessed December 12, 2019. http://hdl.handle.net/1974/7538.

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

MLA Handbook (7th Edition):

Mohamed, Atef. “Software Architecture-Based Failure Prediction .” 2012. Web. 12 Dec 2019.

Vancouver:

Mohamed A. Software Architecture-Based Failure Prediction . [Internet] [Thesis]. Queens University; 2012. [cited 2019 Dec 12]. Available from: http://hdl.handle.net/1974/7538.

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

Council of Science Editors:

Mohamed A. Software Architecture-Based Failure Prediction . [Thesis]. Queens University; 2012. Available from: http://hdl.handle.net/1974/7538

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


Penn State University

2. Huhman, Ashley. Binary-Level Type Inference using Datalog.

Degree: 2018, Penn State University

 The Doop framework is evidence that the Datalog programming language can be used to implement entire non-trivial program analyses while maintaining high precision and scalability.… (more)

Subjects/Keywords: Datalog; Control Flow Graph construction; Type Inference analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Huhman, A. (2018). Binary-Level Type Inference using Datalog. (Thesis). Penn State University. Retrieved from https://etda.libraries.psu.edu/catalog/15197abh7

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

Huhman, Ashley. “Binary-Level Type Inference using Datalog.” 2018. Thesis, Penn State University. Accessed December 12, 2019. https://etda.libraries.psu.edu/catalog/15197abh7.

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

MLA Handbook (7th Edition):

Huhman, Ashley. “Binary-Level Type Inference using Datalog.” 2018. Web. 12 Dec 2019.

Vancouver:

Huhman A. Binary-Level Type Inference using Datalog. [Internet] [Thesis]. Penn State University; 2018. [cited 2019 Dec 12]. Available from: https://etda.libraries.psu.edu/catalog/15197abh7.

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

Council of Science Editors:

Huhman A. Binary-Level Type Inference using Datalog. [Thesis]. Penn State University; 2018. Available from: https://etda.libraries.psu.edu/catalog/15197abh7

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


University of Texas – Austin

3. Salling, Jackson Lee. Control flow graph visualization and its application to coverage and fault localization in Python.

Degree: MSin Engineering, Electrical and Computer Engineering, 2015, University of Texas – Austin

 This report presents a software testing tool that creates visualizations of the Control Flow Graph (CFG) from Python source code. The CFG is a representation… (more)

Subjects/Keywords: Control flow graph; Coverage; Fault localization; Software testing; Visualization

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Salling, J. L. (2015). Control flow graph visualization and its application to coverage and fault localization in Python. (Masters Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/32311

Chicago Manual of Style (16th Edition):

Salling, Jackson Lee. “Control flow graph visualization and its application to coverage and fault localization in Python.” 2015. Masters Thesis, University of Texas – Austin. Accessed December 12, 2019. http://hdl.handle.net/2152/32311.

MLA Handbook (7th Edition):

Salling, Jackson Lee. “Control flow graph visualization and its application to coverage and fault localization in Python.” 2015. Web. 12 Dec 2019.

Vancouver:

Salling JL. Control flow graph visualization and its application to coverage and fault localization in Python. [Internet] [Masters thesis]. University of Texas – Austin; 2015. [cited 2019 Dec 12]. Available from: http://hdl.handle.net/2152/32311.

Council of Science Editors:

Salling JL. Control flow graph visualization and its application to coverage and fault localization in Python. [Masters Thesis]. University of Texas – Austin; 2015. Available from: http://hdl.handle.net/2152/32311


KTH

4. Stange, Yuri. Visualization of Code Flow.

Degree: Computer Science and Communication (CSC), 2015, KTH

Visual representation of Control Flow Graphs (CFG) is a feature available in many tools, such as decompilers. These tools often rely on graph drawing… (more)

Subjects/Keywords: Control Flow Graphs; Sugiyama Framework; Graph Layout Generation; Computer Sciences; Datavetenskap (datalogi)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Stange, Y. (2015). Visualization of Code Flow. (Thesis). KTH. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-162108

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

Stange, Yuri. “Visualization of Code Flow.” 2015. Thesis, KTH. Accessed December 12, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-162108.

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

MLA Handbook (7th Edition):

Stange, Yuri. “Visualization of Code Flow.” 2015. Web. 12 Dec 2019.

Vancouver:

Stange Y. Visualization of Code Flow. [Internet] [Thesis]. KTH; 2015. [cited 2019 Dec 12]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-162108.

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

Council of Science Editors:

Stange Y. Visualization of Code Flow. [Thesis]. KTH; 2015. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-162108

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

5. Yagüe, Mónica Sánchez. Information extraction and validation of CDFG in NoGap.

Degree: The Institute of Technology, 2013, Linköping UniversityLinköping University

  A Control Data Flow Graph (CDFG) is a Directed Acyclic Graph (DAG) in which a node can be either an operation node or a… (more)

Subjects/Keywords: CDFG; NoGap; algorithm; control; data; flow; graph

…1 1 1 3 3 2 Introduction 2.1 Control Data Flow Graph 2.1.1 Vertices . . . . . . 2.1.2… …2.1 Control Data Flow Graph A CDFG [5] is a DAG in which a node can be either an… …Application Specific Instruction-set Processor Breadth First Search Boost Graph Library Control Data… …Flow Graph Directed Acyclic Graph Depth First Search Electronic Design Automation Flip-Flop… …operation node or a control node. The target of this kind of graph is to capture all the control… 

Page 1 Page 2 Page 3 Page 4 Page 5 Page 6 Page 7

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Yagüe, M. S. (2013). Information extraction and validation of CDFG in NoGap. (Thesis). Linköping UniversityLinköping University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-93905

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

Yagüe, Mónica Sánchez. “Information extraction and validation of CDFG in NoGap.” 2013. Thesis, Linköping UniversityLinköping University. Accessed December 12, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-93905.

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

MLA Handbook (7th Edition):

Yagüe, Mónica Sánchez. “Information extraction and validation of CDFG in NoGap.” 2013. Web. 12 Dec 2019.

Vancouver:

Yagüe MS. Information extraction and validation of CDFG in NoGap. [Internet] [Thesis]. Linköping UniversityLinköping University; 2013. [cited 2019 Dec 12]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-93905.

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

Council of Science Editors:

Yagüe MS. Information extraction and validation of CDFG in NoGap. [Thesis]. Linköping UniversityLinköping University; 2013. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-93905

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


Iowa State University

6. Kallingal Joshy, Ashwin. Computing change of invariants to support software evolution.

Degree: 2017, Iowa State University

 Software is always evolving. In the recent years, the development community has shifted towards Agile development paradigm resulting in faster release cycle. This emphasis on… (more)

Subjects/Keywords: Change of Invariants; Demand Driven; Invariants; Multi Version Inter-Procedural Control Flow Graph; MVICFG; Static Analysis; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kallingal Joshy, A. (2017). Computing change of invariants to support software evolution. (Thesis). Iowa State University. Retrieved from https://lib.dr.iastate.edu/etd/15334

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

Kallingal Joshy, Ashwin. “Computing change of invariants to support software evolution.” 2017. Thesis, Iowa State University. Accessed December 12, 2019. https://lib.dr.iastate.edu/etd/15334.

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

MLA Handbook (7th Edition):

Kallingal Joshy, Ashwin. “Computing change of invariants to support software evolution.” 2017. Web. 12 Dec 2019.

Vancouver:

Kallingal Joshy A. Computing change of invariants to support software evolution. [Internet] [Thesis]. Iowa State University; 2017. [cited 2019 Dec 12]. Available from: https://lib.dr.iastate.edu/etd/15334.

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

Council of Science Editors:

Kallingal Joshy A. Computing change of invariants to support software evolution. [Thesis]. Iowa State University; 2017. Available from: https://lib.dr.iastate.edu/etd/15334

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


Brno University of Technology

7. Sečkařová, Petra. Extrakce grafu toku řízení z bajtkódu Java .

Degree: 2017, Brno University of Technology

 Grafy toku řízení (Control Flow Graph  – CFG) slouží jako základ pro mnoho analýz vyhodnocujících kvalitu programu. Takovou analýzou je i testování založené na modelech… (more)

Subjects/Keywords: bajtkód jazyka Java; graf toku řízení; analýza; LLVM IR; Java bytecode; control flow graph; analysis; LLVM IR

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Sečkařová, P. (2017). Extrakce grafu toku řízení z bajtkódu Java . (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/69661

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

Sečkařová, Petra. “Extrakce grafu toku řízení z bajtkódu Java .” 2017. Thesis, Brno University of Technology. Accessed December 12, 2019. http://hdl.handle.net/11012/69661.

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

MLA Handbook (7th Edition):

Sečkařová, Petra. “Extrakce grafu toku řízení z bajtkódu Java .” 2017. Web. 12 Dec 2019.

Vancouver:

Sečkařová P. Extrakce grafu toku řízení z bajtkódu Java . [Internet] [Thesis]. Brno University of Technology; 2017. [cited 2019 Dec 12]. Available from: http://hdl.handle.net/11012/69661.

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

Council of Science Editors:

Sečkařová P. Extrakce grafu toku řízení z bajtkódu Java . [Thesis]. Brno University of Technology; 2017. Available from: http://hdl.handle.net/11012/69661

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


Brno University of Technology

8. Voráč, Ladislav. Řiditelné filtry s maximálním možným přeladěním a netradičními aktivními prvky .

Degree: 2010, Brno University of Technology

 Diplomová práce je věnována problematice návrhu řiditelných kmitočtových filtrů s proudovými aktivními prvky MO-CF (Multiple-Output Current Follower) a také s nově vyvíjeným proudovým aktivním prvkem… (more)

Subjects/Keywords: graf signálových toků; charakteristická rovnice; řízení; přenosová funkce; zesílení; parametr; signal flow graph; characteristic equation; control; transfer function; gain; parameter

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Voráč, L. (2010). Řiditelné filtry s maximálním možným přeladěním a netradičními aktivními prvky . (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/4762

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

Voráč, Ladislav. “Řiditelné filtry s maximálním možným přeladěním a netradičními aktivními prvky .” 2010. Thesis, Brno University of Technology. Accessed December 12, 2019. http://hdl.handle.net/11012/4762.

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

MLA Handbook (7th Edition):

Voráč, Ladislav. “Řiditelné filtry s maximálním možným přeladěním a netradičními aktivními prvky .” 2010. Web. 12 Dec 2019.

Vancouver:

Voráč L. Řiditelné filtry s maximálním možným přeladěním a netradičními aktivními prvky . [Internet] [Thesis]. Brno University of Technology; 2010. [cited 2019 Dec 12]. Available from: http://hdl.handle.net/11012/4762.

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

Council of Science Editors:

Voráč L. Řiditelné filtry s maximálním možným přeladěním a netradičními aktivními prvky . [Thesis]. Brno University of Technology; 2010. Available from: http://hdl.handle.net/11012/4762

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


Université de Lorraine

9. Thierry, Aurélien. Désassemblage et détection de logiciels malveillants auto-modifiants : Disassembly and detection of self-modifying malwares.

Degree: Docteur es, Informatique, 2015, Université de Lorraine

Cette thèse porte en premier lieu sur l'analyse et le désassemblage de programmes malveillants utilisant certaines techniques d'obscurcissement telles que l'auto-modification et le chevauchement de… (more)

Subjects/Keywords: Programmes malveillants; Auto-Modification; Graphe de flot de contrôle; Comparaison de graphes; Malwares; Self-Modification; Control flow graph; Graph comparison; 005.12; 005.8

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Thierry, A. (2015). Désassemblage et détection de logiciels malveillants auto-modifiants : Disassembly and detection of self-modifying malwares. (Doctoral Dissertation). Université de Lorraine. Retrieved from http://www.theses.fr/2015LORR0011

Chicago Manual of Style (16th Edition):

Thierry, Aurélien. “Désassemblage et détection de logiciels malveillants auto-modifiants : Disassembly and detection of self-modifying malwares.” 2015. Doctoral Dissertation, Université de Lorraine. Accessed December 12, 2019. http://www.theses.fr/2015LORR0011.

MLA Handbook (7th Edition):

Thierry, Aurélien. “Désassemblage et détection de logiciels malveillants auto-modifiants : Disassembly and detection of self-modifying malwares.” 2015. Web. 12 Dec 2019.

Vancouver:

Thierry A. Désassemblage et détection de logiciels malveillants auto-modifiants : Disassembly and detection of self-modifying malwares. [Internet] [Doctoral dissertation]. Université de Lorraine; 2015. [cited 2019 Dec 12]. Available from: http://www.theses.fr/2015LORR0011.

Council of Science Editors:

Thierry A. Désassemblage et détection de logiciels malveillants auto-modifiants : Disassembly and detection of self-modifying malwares. [Doctoral Dissertation]. Université de Lorraine; 2015. Available from: http://www.theses.fr/2015LORR0011

10. Holton, Bryce Harvard. Construction of GCCFG for Inter-procedural Optimizations in Software Managed Manycore (SMM).

Degree: Computer Science, 2014, Arizona State University

 Software Managed Manycore (SMM) architectures - in which each core has only a scratch pad memory (instead of caches), - are a promising solution for… (more)

Subjects/Keywords: Computer science; Call Graph; Control Flow Graph; Interprocedural

…vital for the code transformations required for SMM architectures. Control Flow Graph or CFG… …Control Flow Graph or GCCFG [4, 7, 9, 19, 20]. GCCFG is a whole program representation… …and is a hybrid between a call graph and control flow graph. GCCFG is hierarchical… …called before the right child. Second, call graph loses all control flow information, so we do… …start with a call graph, and then append loop and condition nodes for control flow information… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Holton, B. H. (2014). Construction of GCCFG for Inter-procedural Optimizations in Software Managed Manycore (SMM). (Masters Thesis). Arizona State University. Retrieved from http://repository.asu.edu/items/26839

Chicago Manual of Style (16th Edition):

Holton, Bryce Harvard. “Construction of GCCFG for Inter-procedural Optimizations in Software Managed Manycore (SMM).” 2014. Masters Thesis, Arizona State University. Accessed December 12, 2019. http://repository.asu.edu/items/26839.

MLA Handbook (7th Edition):

Holton, Bryce Harvard. “Construction of GCCFG for Inter-procedural Optimizations in Software Managed Manycore (SMM).” 2014. Web. 12 Dec 2019.

Vancouver:

Holton BH. Construction of GCCFG for Inter-procedural Optimizations in Software Managed Manycore (SMM). [Internet] [Masters thesis]. Arizona State University; 2014. [cited 2019 Dec 12]. Available from: http://repository.asu.edu/items/26839.

Council of Science Editors:

Holton BH. Construction of GCCFG for Inter-procedural Optimizations in Software Managed Manycore (SMM). [Masters Thesis]. Arizona State University; 2014. Available from: http://repository.asu.edu/items/26839


Brigham Young University

11. Nielsen, Jerel Bendt. Robust Visual-Inertial Navigation and Control of Fixed-Wing and Multirotor Aircraft.

Degree: PhD, 2019, Brigham Young University

  With the increased performance and reduced cost of cameras, the robotics community has taken great interest in estimation and control algorithms that fuse camera… (more)

Subjects/Keywords: nonlinear systems; nonlinear observer; nonlinear controller; observability; graph optimization; state estimation; Kalman filter; LQR control; vector fields; target tracking; optical flow; fixed-wing control; multirotor control; Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Nielsen, J. B. (2019). Robust Visual-Inertial Navigation and Control of Fixed-Wing and Multirotor Aircraft. (Doctoral Dissertation). Brigham Young University. Retrieved from https://scholarsarchive.byu.edu/cgi/viewcontent.cgi?article=8584&context=etd

Chicago Manual of Style (16th Edition):

Nielsen, Jerel Bendt. “Robust Visual-Inertial Navigation and Control of Fixed-Wing and Multirotor Aircraft.” 2019. Doctoral Dissertation, Brigham Young University. Accessed December 12, 2019. https://scholarsarchive.byu.edu/cgi/viewcontent.cgi?article=8584&context=etd.

MLA Handbook (7th Edition):

Nielsen, Jerel Bendt. “Robust Visual-Inertial Navigation and Control of Fixed-Wing and Multirotor Aircraft.” 2019. Web. 12 Dec 2019.

Vancouver:

Nielsen JB. Robust Visual-Inertial Navigation and Control of Fixed-Wing and Multirotor Aircraft. [Internet] [Doctoral dissertation]. Brigham Young University; 2019. [cited 2019 Dec 12]. Available from: https://scholarsarchive.byu.edu/cgi/viewcontent.cgi?article=8584&context=etd.

Council of Science Editors:

Nielsen JB. Robust Visual-Inertial Navigation and Control of Fixed-Wing and Multirotor Aircraft. [Doctoral Dissertation]. Brigham Young University; 2019. Available from: https://scholarsarchive.byu.edu/cgi/viewcontent.cgi?article=8584&context=etd

12. Pogulis, Jakob. Generation of dynamic control-dependence graphs for binary programs.

Degree: The Institute of Technology, 2014, Linköping UniversityLinköping University

  Dynamic analysis of binary files is an area of computer science that has many purposes. It is useful when it comes to debugging software… (more)

Subjects/Keywords: control-dependencies; control-dependence graph; intel-pin; instrumentation; dynamic analysis; program analysis; dependence graph; dynamic dependence graph; control dependency; control flow analysis; control flow; Computer Sciences; Datavetenskap (datalogi)

…7 8 9 11 13 14 15 16 18 19 3 Approach 3.1 Static control flow graph… …5.2 Improvement of the control flow graph . . . . . . . 5.2.1 Cases of dynamic improvement… …61 62 63 64 66 4.3 4.4 4.2.2 Control flow graph . . . . . . . . . . . . 4.2.3 Dynamic… …4.1 4.2 An example of a control flow graph with classified basic blocks. . Illustration of… …though of. . . . . . . . . . . . . . . . . An illustration of control flow graph improvement in… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Pogulis, J. (2014). Generation of dynamic control-dependence graphs for binary programs. (Thesis). Linköping UniversityLinköping University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-110247

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

Pogulis, Jakob. “Generation of dynamic control-dependence graphs for binary programs.” 2014. Thesis, Linköping UniversityLinköping University. Accessed December 12, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-110247.

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

MLA Handbook (7th Edition):

Pogulis, Jakob. “Generation of dynamic control-dependence graphs for binary programs.” 2014. Web. 12 Dec 2019.

Vancouver:

Pogulis J. Generation of dynamic control-dependence graphs for binary programs. [Internet] [Thesis]. Linköping UniversityLinköping University; 2014. [cited 2019 Dec 12]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-110247.

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

Council of Science Editors:

Pogulis J. Generation of dynamic control-dependence graphs for binary programs. [Thesis]. Linköping UniversityLinköping University; 2014. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-110247

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

13. Peyret, Thomas. Architecture matérielle et flot de programmation associé pour la conception de systèmes numériques tolérants aux fautes : Hardware architecture and associated programming flow for the design of digital fault-tolerant systems.

Degree: Docteur es, Stic, 2014, Lorient

Que ce soit dans l’automobile avec des contraintes thermiques ou dans l’aérospatial et lenucléaire soumis à des rayonnements ionisants, l’environnement entraîne l’apparition de fautesdans les… (more)

Subjects/Keywords: Tolérance aux fautes; Architecture Reconfigurable à Gros Grains; Triplication; Ordonnancement; Assignation; Fault tolerance; Coarse Grained Reconfigurable Architecture; Control and Data Flow Graph; 621.395; 621.382

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Peyret, T. (2014). Architecture matérielle et flot de programmation associé pour la conception de systèmes numériques tolérants aux fautes : Hardware architecture and associated programming flow for the design of digital fault-tolerant systems. (Doctoral Dissertation). Lorient. Retrieved from http://www.theses.fr/2014LORIS348

Chicago Manual of Style (16th Edition):

Peyret, Thomas. “Architecture matérielle et flot de programmation associé pour la conception de systèmes numériques tolérants aux fautes : Hardware architecture and associated programming flow for the design of digital fault-tolerant systems.” 2014. Doctoral Dissertation, Lorient. Accessed December 12, 2019. http://www.theses.fr/2014LORIS348.

MLA Handbook (7th Edition):

Peyret, Thomas. “Architecture matérielle et flot de programmation associé pour la conception de systèmes numériques tolérants aux fautes : Hardware architecture and associated programming flow for the design of digital fault-tolerant systems.” 2014. Web. 12 Dec 2019.

Vancouver:

Peyret T. Architecture matérielle et flot de programmation associé pour la conception de systèmes numériques tolérants aux fautes : Hardware architecture and associated programming flow for the design of digital fault-tolerant systems. [Internet] [Doctoral dissertation]. Lorient; 2014. [cited 2019 Dec 12]. Available from: http://www.theses.fr/2014LORIS348.

Council of Science Editors:

Peyret T. Architecture matérielle et flot de programmation associé pour la conception de systèmes numériques tolérants aux fautes : Hardware architecture and associated programming flow for the design of digital fault-tolerant systems. [Doctoral Dissertation]. Lorient; 2014. Available from: http://www.theses.fr/2014LORIS348

14. Leslous, Mourad. Highlight and execute suspicious paths in Android malware : Mettre en avant et exécuter les chemins suspicieux dans les malwares Android.

Degree: Docteur es, Informatique, 2018, Rennes 1

 Les smartphones sont devenus omniprésents dans notre vie quotidienne à cause des options qu'ils proposent. Aujourd'hui, Android est installé sur plus de 80% des smartphones.… (more)

Subjects/Keywords: Android; Malware; Analyse dynamique; Analyse statique; Retro ingénierie; Graphe de flot de contrôle; Android; Malware; Static analysis; Dynamic analysis; Reverse engineering; Control flow graph

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Leslous, M. (2018). Highlight and execute suspicious paths in Android malware : Mettre en avant et exécuter les chemins suspicieux dans les malwares Android. (Doctoral Dissertation). Rennes 1. Retrieved from http://www.theses.fr/2018REN1S090

Chicago Manual of Style (16th Edition):

Leslous, Mourad. “Highlight and execute suspicious paths in Android malware : Mettre en avant et exécuter les chemins suspicieux dans les malwares Android.” 2018. Doctoral Dissertation, Rennes 1. Accessed December 12, 2019. http://www.theses.fr/2018REN1S090.

MLA Handbook (7th Edition):

Leslous, Mourad. “Highlight and execute suspicious paths in Android malware : Mettre en avant et exécuter les chemins suspicieux dans les malwares Android.” 2018. Web. 12 Dec 2019.

Vancouver:

Leslous M. Highlight and execute suspicious paths in Android malware : Mettre en avant et exécuter les chemins suspicieux dans les malwares Android. [Internet] [Doctoral dissertation]. Rennes 1; 2018. [cited 2019 Dec 12]. Available from: http://www.theses.fr/2018REN1S090.

Council of Science Editors:

Leslous M. Highlight and execute suspicious paths in Android malware : Mettre en avant et exécuter les chemins suspicieux dans les malwares Android. [Doctoral Dissertation]. Rennes 1; 2018. Available from: http://www.theses.fr/2018REN1S090

15. SIM JOON, EDWARD. HARDWARE-SOFTWARE CODESIGN FOR RUN-TIME RECONFIGURABLE FPGA-BASED SYSTEMS.

Degree: 2010, National University of Singapore

Subjects/Keywords: FPGA; Hardware-Software Codesign; Run-time Reconfiguration; Compiler; Control Flow Graph; Partial Reconfiguration

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

SIM JOON, E. (2010). HARDWARE-SOFTWARE CODESIGN FOR RUN-TIME RECONFIGURABLE FPGA-BASED SYSTEMS. (Thesis). National University of Singapore. Retrieved from http://scholarbank.nus.edu.sg/handle/10635/18638

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

SIM JOON, EDWARD. “HARDWARE-SOFTWARE CODESIGN FOR RUN-TIME RECONFIGURABLE FPGA-BASED SYSTEMS.” 2010. Thesis, National University of Singapore. Accessed December 12, 2019. http://scholarbank.nus.edu.sg/handle/10635/18638.

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

MLA Handbook (7th Edition):

SIM JOON, EDWARD. “HARDWARE-SOFTWARE CODESIGN FOR RUN-TIME RECONFIGURABLE FPGA-BASED SYSTEMS.” 2010. Web. 12 Dec 2019.

Vancouver:

SIM JOON E. HARDWARE-SOFTWARE CODESIGN FOR RUN-TIME RECONFIGURABLE FPGA-BASED SYSTEMS. [Internet] [Thesis]. National University of Singapore; 2010. [cited 2019 Dec 12]. Available from: http://scholarbank.nus.edu.sg/handle/10635/18638.

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

Council of Science Editors:

SIM JOON E. HARDWARE-SOFTWARE CODESIGN FOR RUN-TIME RECONFIGURABLE FPGA-BASED SYSTEMS. [Thesis]. National University of Singapore; 2010. Available from: http://scholarbank.nus.edu.sg/handle/10635/18638

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

16. Laouadi, Rabah. Analyse du flot de contrôle multivariante : application à la détection de comportements des programmes : Multivariant control flow analysis : application to behavior detection in programs.

Degree: Docteur es, Informatique, 2016, Montpellier

Sans exécuter une application, est-il possible de prévoir quelle est la méthode cible d’un site d’appel ? Est-il possible de savoir quels sont les types… (more)

Subjects/Keywords: Analyse statique; Détection de comportement; Sécurité; Graphe d'appels; Analyse de flot de contrôle multivariante; Analyse de tâches; Static analysis; Behavior detection; Secuirty; Call graph; Multivariant control flow analysis; Taint analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Laouadi, R. (2016). Analyse du flot de contrôle multivariante : application à la détection de comportements des programmes : Multivariant control flow analysis : application to behavior detection in programs. (Doctoral Dissertation). Montpellier. Retrieved from http://www.theses.fr/2016MONTT255

Chicago Manual of Style (16th Edition):

Laouadi, Rabah. “Analyse du flot de contrôle multivariante : application à la détection de comportements des programmes : Multivariant control flow analysis : application to behavior detection in programs.” 2016. Doctoral Dissertation, Montpellier. Accessed December 12, 2019. http://www.theses.fr/2016MONTT255.

MLA Handbook (7th Edition):

Laouadi, Rabah. “Analyse du flot de contrôle multivariante : application à la détection de comportements des programmes : Multivariant control flow analysis : application to behavior detection in programs.” 2016. Web. 12 Dec 2019.

Vancouver:

Laouadi R. Analyse du flot de contrôle multivariante : application à la détection de comportements des programmes : Multivariant control flow analysis : application to behavior detection in programs. [Internet] [Doctoral dissertation]. Montpellier; 2016. [cited 2019 Dec 12]. Available from: http://www.theses.fr/2016MONTT255.

Council of Science Editors:

Laouadi R. Analyse du flot de contrôle multivariante : application à la détection de comportements des programmes : Multivariant control flow analysis : application to behavior detection in programs. [Doctoral Dissertation]. Montpellier; 2016. Available from: http://www.theses.fr/2016MONTT255

17. Silva, Francisco Coelho da. Estimador e caracterizador de consumo de energia para software embarcado.

Degree: 2011, Universidade Federal do Amazonas

Consumo de energia nos últimos anos tornou-se um aspecto importante em projetos de sistemas embarcados. A produção e utilização em larga escala dos dispositivos móveis… (more)

Subjects/Keywords: Sistemas Embarcados - Consumo de energia; Grafo de Fluxo de Controle; Múltiplos Cenários Probabilísticos; Ferramenta PESTI; Embedded systems; Energy consumption; Control flow graph; ENGENHARIAS: ENGENHARIA ELÉTRICA

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Silva, F. C. d. (2011). Estimador e caracterizador de consumo de energia para software embarcado. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from http://tede.ufam.edu.br/handle/tede/3288

Chicago Manual of Style (16th Edition):

Silva, Francisco Coelho da. “Estimador e caracterizador de consumo de energia para software embarcado.” 2011. Masters Thesis, Universidade Federal do Amazonas. Accessed December 12, 2019. http://tede.ufam.edu.br/handle/tede/3288.

MLA Handbook (7th Edition):

Silva, Francisco Coelho da. “Estimador e caracterizador de consumo de energia para software embarcado.” 2011. Web. 12 Dec 2019.

Vancouver:

Silva FCd. Estimador e caracterizador de consumo de energia para software embarcado. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2011. [cited 2019 Dec 12]. Available from: http://tede.ufam.edu.br/handle/tede/3288.

Council of Science Editors:

Silva FCd. Estimador e caracterizador de consumo de energia para software embarcado. [Masters Thesis]. Universidade Federal do Amazonas; 2011. Available from: http://tede.ufam.edu.br/handle/tede/3288


Brno University of Technology

18. Ďuričeková, Daniela. Statická analýza možných hodnot proměnných v programech v C .

Degree: 2013, Brno University of Technology

 Analýza rozsahu hodnot (anglicky value-range analysis) je metoda statické analýzy založená na zjišťování hodnot, kterých může daná proměnná nabývat v určitém místě v programu. Tato… (more)

Subjects/Keywords: analýza toku dat; analýza rozsahu hodnot; abstraktní interpretace; Code Listener; intraprocedurální analýza; graf toku řízení; částečně uspořádaná množina; svaz; data-flow analysis; value-range analysis; abstract interpretation; intraprocedural analysis; Code Listener; control-flow graph; partially ordered set; lattice

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ďuričeková, D. (2013). Statická analýza možných hodnot proměnných v programech v C . (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/53419

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

Ďuričeková, Daniela. “Statická analýza možných hodnot proměnných v programech v C .” 2013. Thesis, Brno University of Technology. Accessed December 12, 2019. http://hdl.handle.net/11012/53419.

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

MLA Handbook (7th Edition):

Ďuričeková, Daniela. “Statická analýza možných hodnot proměnných v programech v C .” 2013. Web. 12 Dec 2019.

Vancouver:

Ďuričeková D. Statická analýza možných hodnot proměnných v programech v C . [Internet] [Thesis]. Brno University of Technology; 2013. [cited 2019 Dec 12]. Available from: http://hdl.handle.net/11012/53419.

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

Council of Science Editors:

Ďuričeková D. Statická analýza možných hodnot proměnných v programech v C . [Thesis]. Brno University of Technology; 2013. Available from: http://hdl.handle.net/11012/53419

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

19. Zanasi, Fabio. Interacting Hopf Algebras- the Theory of Linear Systems : Interacting Hopf Algebras - la théorie des systèmes linéaires.

Degree: Docteur es, Informatique, 2015, Lyon, École normale supérieure

Dans cette thèse, on présente la théorie algébrique IH par le biais de générateurs et d’équations.Le modèle libre de IH est la catégorie des sous-espaces… (more)

Subjects/Keywords: Sémantique; Théorie des catégories; Théorie du contrôle; PROP; Loi distributive; Algèbre de Hopf; Algèbre de Frobenius; Algèbre linéaire; Graphe de flots de signaux; Semantics; Category theory; Control theory; PROP; Distributive law; Hopf algebra; Frobenius algebra; Linear algebra; Signal flow graph

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zanasi, F. (2015). Interacting Hopf Algebras- the Theory of Linear Systems : Interacting Hopf Algebras - la théorie des systèmes linéaires. (Doctoral Dissertation). Lyon, École normale supérieure. Retrieved from http://www.theses.fr/2015ENSL1020

Chicago Manual of Style (16th Edition):

Zanasi, Fabio. “Interacting Hopf Algebras- the Theory of Linear Systems : Interacting Hopf Algebras - la théorie des systèmes linéaires.” 2015. Doctoral Dissertation, Lyon, École normale supérieure. Accessed December 12, 2019. http://www.theses.fr/2015ENSL1020.

MLA Handbook (7th Edition):

Zanasi, Fabio. “Interacting Hopf Algebras- the Theory of Linear Systems : Interacting Hopf Algebras - la théorie des systèmes linéaires.” 2015. Web. 12 Dec 2019.

Vancouver:

Zanasi F. Interacting Hopf Algebras- the Theory of Linear Systems : Interacting Hopf Algebras - la théorie des systèmes linéaires. [Internet] [Doctoral dissertation]. Lyon, École normale supérieure; 2015. [cited 2019 Dec 12]. Available from: http://www.theses.fr/2015ENSL1020.

Council of Science Editors:

Zanasi F. Interacting Hopf Algebras- the Theory of Linear Systems : Interacting Hopf Algebras - la théorie des systèmes linéaires. [Doctoral Dissertation]. Lyon, École normale supérieure; 2015. Available from: http://www.theses.fr/2015ENSL1020

20. Kumar, Neeraj. Graph-theoretic Properties of Control Flow Graphs and Applications.

Degree: 2015, University of Waterloo

 This thesis deals with determining appropriate width parameters of control flow graphs so that certain computationally hard problems of practical interest become efficiently solvable. A… (more)

Subjects/Keywords: treewidth; DAG-width; entanglement; Kelly-width; control flow graphs; mu-calculus model checking; special graph classes

…List of Figures 2.1 A sample program in Structured with the resulting control flow graph… …cfg(S) stands for control flow graph of statement S. (b) A control flow… …control flow graph. See Figure 3.2 for an example run of our cops and robber strategy on this… …the robber is at one of the shaded vertices. 56 (a) A control flow graph G. The… …control-flow graph of the program is the Kripke structure. In a control-flow graph (defined… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kumar, N. (2015). Graph-theoretic Properties of Control Flow Graphs and Applications. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/9580

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

Kumar, Neeraj. “Graph-theoretic Properties of Control Flow Graphs and Applications.” 2015. Thesis, University of Waterloo. Accessed December 12, 2019. http://hdl.handle.net/10012/9580.

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

MLA Handbook (7th Edition):

Kumar, Neeraj. “Graph-theoretic Properties of Control Flow Graphs and Applications.” 2015. Web. 12 Dec 2019.

Vancouver:

Kumar N. Graph-theoretic Properties of Control Flow Graphs and Applications. [Internet] [Thesis]. University of Waterloo; 2015. [cited 2019 Dec 12]. Available from: http://hdl.handle.net/10012/9580.

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

Council of Science Editors:

Kumar N. Graph-theoretic Properties of Control Flow Graphs and Applications. [Thesis]. University of Waterloo; 2015. Available from: http://hdl.handle.net/10012/9580

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


Brno University of Technology

21. 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 December 12, 2019. 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. 12 Dec 2019.

Vancouver:

Kondula V. Extrakce grafu toku řízení z formátu LLVM IR . [Internet] [Thesis]. Brno University of Technology; 2017. [cited 2019 Dec 12]. 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

22. Jirák, Ota. Transformace Windows PE do grafu toku řízení .

Degree: 2007, Brno University of Technology

 Tato práce pojednává o formátu spustitelných souborů EXE. Soustředí se na části potřebné při reverzním inženýrství. Dále se zabývá jazykem symbolických instrukcí, jeho reprezentací v binárních souborech… (more)

Subjects/Keywords: EXE; PE; COFF; formát programu; formát instrukcí asembleru; asembler; disasembler; graf toku řízení; analýza grafu; EXE; PE; COFF; format of programs; format of assembler instructions; assembler; disassembler; control flow graph; graph analyzing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Jirák, O. (2007). Transformace Windows PE do grafu toku řízení . (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/54002

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

Jirák, Ota. “Transformace Windows PE do grafu toku řízení .” 2007. Thesis, Brno University of Technology. Accessed December 12, 2019. http://hdl.handle.net/11012/54002.

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

MLA Handbook (7th Edition):

Jirák, Ota. “Transformace Windows PE do grafu toku řízení .” 2007. Web. 12 Dec 2019.

Vancouver:

Jirák O. Transformace Windows PE do grafu toku řízení . [Internet] [Thesis]. Brno University of Technology; 2007. [cited 2019 Dec 12]. Available from: http://hdl.handle.net/11012/54002.

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

Council of Science Editors:

Jirák O. Transformace Windows PE do grafu toku řízení . [Thesis]. Brno University of Technology; 2007. Available from: http://hdl.handle.net/11012/54002

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


Pontifical Catholic University of Rio de Janeiro

23. GUILHERME NOBREGA MARTINS. [en] CONCEPTION AND MODELING OF EDUCATIONAL OBJECTS FOR UNDERSTANDING OF MOTORCYCLES/BICYCLES DYNAMICS IN ENGINEERING DESIGN.

Degree: 2019, Pontifical Catholic University of Rio de Janeiro

[pt] A concepção e modelagem de objetos educacionais para compreensão da dinâmica de motocicletas/bicicletas em projetos de engenharia têm nesta tese dois objetivos gerais: o… (more)

Subjects/Keywords: [pt] EDUCACAO EM ENGENHARIA; [en] ENGINEERING EDUCATION; [pt] MODULOS; [en] MODULES; [pt] OBJETOS EDUCACIONAIS; [en] LEARNING OBJECTS; [pt] DINAMICA DE MOTOCICLETAS - BICICLETAS; [en] MOTORCYCLE AND BICYCLE DYNAMICS; [pt] MODELAGEM E CONTROLE; [en] MODELLING AND CONTROL; [pt] APRENDIZAGEM BASEADA EM PROJETO; [en] PROJECT-BASED LEARNING; [pt] FLUXO DE POTENCIA E GRAFO DE LIGACAO; [en] POWER FLOW AND LINK GRAPH

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

MARTINS, G. N. (2019). [en] CONCEPTION AND MODELING OF EDUCATIONAL OBJECTS FOR UNDERSTANDING OF MOTORCYCLES/BICYCLES DYNAMICS IN ENGINEERING DESIGN. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=38784

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

MARTINS, GUILHERME NOBREGA. “[en] CONCEPTION AND MODELING OF EDUCATIONAL OBJECTS FOR UNDERSTANDING OF MOTORCYCLES/BICYCLES DYNAMICS IN ENGINEERING DESIGN.” 2019. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed December 12, 2019. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=38784.

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

MLA Handbook (7th Edition):

MARTINS, GUILHERME NOBREGA. “[en] CONCEPTION AND MODELING OF EDUCATIONAL OBJECTS FOR UNDERSTANDING OF MOTORCYCLES/BICYCLES DYNAMICS IN ENGINEERING DESIGN.” 2019. Web. 12 Dec 2019.

Vancouver:

MARTINS GN. [en] CONCEPTION AND MODELING OF EDUCATIONAL OBJECTS FOR UNDERSTANDING OF MOTORCYCLES/BICYCLES DYNAMICS IN ENGINEERING DESIGN. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2019. [cited 2019 Dec 12]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=38784.

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

Council of Science Editors:

MARTINS GN. [en] CONCEPTION AND MODELING OF EDUCATIONAL OBJECTS FOR UNDERSTANDING OF MOTORCYCLES/BICYCLES DYNAMICS IN ENGINEERING DESIGN. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2019. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=38784

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


Utah State University

24. Samala, Harikrishna. Methodology to Derive Resource Aware Context Adaptable Architectures for Field Programmable Gate Arrays.

Degree: MS, Electrical and Computer Engineering, 2009, Utah State University

 The design of a common architecture that can support multiple data-flow patterns (or contexts) embedded in complex control flow structures, in applications like multimedia processing,… (more)

Subjects/Keywords: Context Adaptable Architectures; Control Data Flow Graph; Field Programmable Gate Arrays; High Level Synthesis; Register Transfer Level; Computer Engineering; Electrical and Electronics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Samala, H. (2009). Methodology to Derive Resource Aware Context Adaptable Architectures for Field Programmable Gate Arrays. (Masters Thesis). Utah State University. Retrieved from https://digitalcommons.usu.edu/etd/484

Chicago Manual of Style (16th Edition):

Samala, Harikrishna. “Methodology to Derive Resource Aware Context Adaptable Architectures for Field Programmable Gate Arrays.” 2009. Masters Thesis, Utah State University. Accessed December 12, 2019. https://digitalcommons.usu.edu/etd/484.

MLA Handbook (7th Edition):

Samala, Harikrishna. “Methodology to Derive Resource Aware Context Adaptable Architectures for Field Programmable Gate Arrays.” 2009. Web. 12 Dec 2019.

Vancouver:

Samala H. Methodology to Derive Resource Aware Context Adaptable Architectures for Field Programmable Gate Arrays. [Internet] [Masters thesis]. Utah State University; 2009. [cited 2019 Dec 12]. Available from: https://digitalcommons.usu.edu/etd/484.

Council of Science Editors:

Samala H. Methodology to Derive Resource Aware Context Adaptable Architectures for Field Programmable Gate Arrays. [Masters Thesis]. Utah State University; 2009. Available from: https://digitalcommons.usu.edu/etd/484


Linköping University

25. Neikter, Carl-Fredrik. Cache Prediction and Execution Time Analysis on Real-Time MPSoC.

Degree: Computer and Information Science, 2008, Linköping University

  Real-time systems do not only require that the logical operations are correct. Equally important is that the specified time constraints always are complied. This… (more)

Subjects/Keywords: Real-time systems; MPSoC; static timing analysis; worst case execution time; cache memory; cache analysis; data flow analysis; control flow graph; task generation; randomization; Computer Sciences; Datavetenskap (datalogi); Computer Engineering; Datorteknik

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Neikter, C. (2008). Cache Prediction and Execution Time Analysis on Real-Time MPSoC. (Thesis). Linköping University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-15394

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

Neikter, Carl-Fredrik. “Cache Prediction and Execution Time Analysis on Real-Time MPSoC.” 2008. Thesis, Linköping University. Accessed December 12, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-15394.

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

MLA Handbook (7th Edition):

Neikter, Carl-Fredrik. “Cache Prediction and Execution Time Analysis on Real-Time MPSoC.” 2008. Web. 12 Dec 2019.

Vancouver:

Neikter C. Cache Prediction and Execution Time Analysis on Real-Time MPSoC. [Internet] [Thesis]. Linköping University; 2008. [cited 2019 Dec 12]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-15394.

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

Council of Science Editors:

Neikter C. Cache Prediction and Execution Time Analysis on Real-Time MPSoC. [Thesis]. Linköping University; 2008. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-15394

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

26. Mansky, William. Specifying and verifying program transformations with PTRANS.

Degree: PhD, 0112, 2014, University of Illinois – Urbana-Champaign

 Software developers, compiler designers, and formal methods researchers all stand to benefit from improved tools for compiler design and verification. Program correctness for compiled languages… (more)

Subjects/Keywords: compiler correctness; control flow graphs; temporal logic; rewriting; graph transformation; interactive theorem proving; operational semantics; concurrency; relaxed memory models; Satisfiability Modulo Theories (SMT) solvers

…been parsed and transformed into some internal representation – often a control flow graph… …evaluated CTL formulae directly on paths through the control flow graph (CFG) of the… …formed control flow graph. In this chapter, we will make a point of noting each place where we… …approach depends fundamentally on a notion of control flow graph (CFG). The atomic… …threaded control flow graph (tCFG). In our framework, a tCFG is simply a collection of… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Mansky, W. (2014). Specifying and verifying program transformations with PTRANS. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/49385

Chicago Manual of Style (16th Edition):

Mansky, William. “Specifying and verifying program transformations with PTRANS.” 2014. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed December 12, 2019. http://hdl.handle.net/2142/49385.

MLA Handbook (7th Edition):

Mansky, William. “Specifying and verifying program transformations with PTRANS.” 2014. Web. 12 Dec 2019.

Vancouver:

Mansky W. Specifying and verifying program transformations with PTRANS. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2014. [cited 2019 Dec 12]. Available from: http://hdl.handle.net/2142/49385.

Council of Science Editors:

Mansky W. Specifying and verifying program transformations with PTRANS. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2014. Available from: http://hdl.handle.net/2142/49385


Brigham Young University

27. 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 December 12, 2019. 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. 12 Dec 2019.

Vancouver:

Self JP. On-the-Fly Dynamic Dead Variable Analysis. [Internet] [Masters thesis]. Brigham Young University; 2007. [cited 2019 Dec 12]. 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


ETH Zürich

28. Zenklusen, Rico. Combinatorial Methods for Analyzing Network Security and Reliability.

Degree: 2008, ETH Zürich

Subjects/Keywords: MATCHINGTHEORIE (GRAPHENTHEORIE); STOCHASTISCHE APPROXIMATION + MONTE-CARLO-METHODEN (STOCHASTIK); MATCHING THEORY (GRAPH THEORY); ZUVERLÄSSIGKEITSTHEORIE + QUALITÄTSKONTROLLE (OPERATIONS RESEARCH); NETWORKS (OPERATIONS RESEARCH); COMBINATORIAL PROBLEMS (DISCRETE PROGRAMMING); TRANSPORTTHEORIE + VERKEHRSFLUSSTHEORIE (OPERATIONS RESEARCH); RELIABILITY THEORY + QUALITY CONTROL (OPERATIONS RESEARCH); NETZWERKE (OPERATIONS RESEARCH); STOCHASTIC APPROXIMATION + MONTE CARLO METHODS (STOCHASTICS); DIRECTED ACYCLIC GRAPHS (GRAPH THEORY); GERICHTETE ANTIZYKLISCHE GRAPHEN (GRAPHENTHEORIE); KOMBINATORISCHE PROBLEME (DISKRETE OPTIMIERUNG); TRANSPORT THEORY + TRAFFIC FLOW THEORY (OPERATIONS RESEARCH); info:eu-repo/classification/ddc/510; info:eu-repo/classification/ddc/510; Mathematics; Mathematics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zenklusen, R. (2008). Combinatorial Methods for Analyzing Network Security and Reliability. (Doctoral Dissertation). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/10874

Chicago Manual of Style (16th Edition):

Zenklusen, Rico. “Combinatorial Methods for Analyzing Network Security and Reliability.” 2008. Doctoral Dissertation, ETH Zürich. Accessed December 12, 2019. http://hdl.handle.net/20.500.11850/10874.

MLA Handbook (7th Edition):

Zenklusen, Rico. “Combinatorial Methods for Analyzing Network Security and Reliability.” 2008. Web. 12 Dec 2019.

Vancouver:

Zenklusen R. Combinatorial Methods for Analyzing Network Security and Reliability. [Internet] [Doctoral dissertation]. ETH Zürich; 2008. [cited 2019 Dec 12]. Available from: http://hdl.handle.net/20.500.11850/10874.

Council of Science Editors:

Zenklusen R. Combinatorial Methods for Analyzing Network Security and Reliability. [Doctoral Dissertation]. ETH Zürich; 2008. Available from: http://hdl.handle.net/20.500.11850/10874

.