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

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


Brno University of Technology

1. Skalický, Jakub. Vzdálené ladění procesorů ARM za použití průmyslové sběrnice.

Degree: 2016, Brno University of Technology

 Tato semestrální práce se zabývá možnostmi ladění při využití vyjímky DebugMonitor implementované v jádře ARM Cortex-M4. Pro komunikaci mezi laděnou aplikací a programem řídícím ladění… (more)

Subjects/Keywords: ARM; Cortex-M4; STM32F4; Debug; SDebug; DebugMonitor; CAN; GDB; ARM; Cortex-M4; STM32F4; Debug; SDebug; DebugMonitor; CAN; GDB

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Skalický, J. (2016). Vzdálené ladění procesorů ARM za použití průmyslové sběrnice. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/58710

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

Skalický, Jakub. “Vzdálené ladění procesorů ARM za použití průmyslové sběrnice. ” 2016. Thesis, Brno University of Technology. Accessed April 18, 2019. http://hdl.handle.net/11012/58710.

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

MLA Handbook (7th Edition):

Skalický, Jakub. “Vzdálené ladění procesorů ARM za použití průmyslové sběrnice. ” 2016. Web. 18 Apr 2019.

Vancouver:

Skalický J. Vzdálené ladění procesorů ARM za použití průmyslové sběrnice. [Internet] [Thesis]. Brno University of Technology; 2016. [cited 2019 Apr 18]. Available from: http://hdl.handle.net/11012/58710.

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

Council of Science Editors:

Skalický J. Vzdálené ladění procesorů ARM za použití průmyslové sběrnice. [Thesis]. Brno University of Technology; 2016. Available from: http://hdl.handle.net/11012/58710

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


NSYSU

2. Chang, Tsun-Hsin. A Unified GDB-Based Source-Transaction Level SW/HW Co-Debugging.

Degree: Master, Computer Science and Engineering, 2017, NSYSU

 In most traditional System-on-Chip (SoC) debugging method, software debugging is performed at the source/instruction-level while the hardware is debugged at the cycle-level. To make SoC… (more)

Subjects/Keywords: SW/HW co-debugging; OpenOCD; Debug Platform; GDB; SoC

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chang, T. (2017). A Unified GDB-Based Source-Transaction Level SW/HW Co-Debugging. (Thesis). NSYSU. Retrieved from http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0811117-123412

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

Chang, Tsun-Hsin. “A Unified GDB-Based Source-Transaction Level SW/HW Co-Debugging.” 2017. Thesis, NSYSU. Accessed April 18, 2019. http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0811117-123412.

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

MLA Handbook (7th Edition):

Chang, Tsun-Hsin. “A Unified GDB-Based Source-Transaction Level SW/HW Co-Debugging.” 2017. Web. 18 Apr 2019.

Vancouver:

Chang T. A Unified GDB-Based Source-Transaction Level SW/HW Co-Debugging. [Internet] [Thesis]. NSYSU; 2017. [cited 2019 Apr 18]. Available from: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0811117-123412.

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

Council of Science Editors:

Chang T. A Unified GDB-Based Source-Transaction Level SW/HW Co-Debugging. [Thesis]. NSYSU; 2017. Available from: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0811117-123412

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


Linköping University

3. Olsson, Martin. Portning och utökning av processor för ASIC och FPGA.

Degree: Electrical Engineering, 2009, Linköping University

  In this master thesis, the possibilities of customizing a low-cost microprocessor with the purpose of replacing an existing microprocessor solution are investigated. A brief… (more)

Subjects/Keywords: CPU; Mico32; FPU; FPGA; FIR; accelerators; GDB; TECHNOLOGY; TEKNIKVETENSKAP

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Olsson, M. (2009). Portning och utökning av processor för ASIC och FPGA. (Thesis). Linköping University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-18250

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

Olsson, Martin. “Portning och utökning av processor för ASIC och FPGA.” 2009. Thesis, Linköping University. Accessed April 18, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-18250.

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

MLA Handbook (7th Edition):

Olsson, Martin. “Portning och utökning av processor för ASIC och FPGA.” 2009. Web. 18 Apr 2019.

Vancouver:

Olsson M. Portning och utökning av processor för ASIC och FPGA. [Internet] [Thesis]. Linköping University; 2009. [cited 2019 Apr 18]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-18250.

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

Council of Science Editors:

Olsson M. Portning och utökning av processor för ASIC och FPGA. [Thesis]. Linköping University; 2009. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-18250

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


Brno University of Technology

4. Belica, Michal. Zásuvný modul pro Code::Blocks realizující grafické zobrazení datových struktur při ladění .

Degree: 2011, Brno University of Technology

 Tato bakalářská práce se zabývá implementací zásuvního modulu pro zobrazení datových struktur při ladění ve vývojovém prostředí Code::Blocks. Zaměřuje se zejména na možnost vizualizace polí… (more)

Subjects/Keywords: Code::Blocks; wxWidgets; ladící nástroj; GDB; DDD; datové struktury; vizualizace struktur; Code::Blocks; wxWidgets; debugger; GDB; DDD; data structures; visualization of structures

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Belica, M. (2011). Zásuvný modul pro Code::Blocks realizující grafické zobrazení datových struktur při ladění . (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/55737

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

Belica, Michal. “Zásuvný modul pro Code::Blocks realizující grafické zobrazení datových struktur při ladění .” 2011. Thesis, Brno University of Technology. Accessed April 18, 2019. http://hdl.handle.net/11012/55737.

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

MLA Handbook (7th Edition):

Belica, Michal. “Zásuvný modul pro Code::Blocks realizující grafické zobrazení datových struktur při ladění .” 2011. Web. 18 Apr 2019.

Vancouver:

Belica M. Zásuvný modul pro Code::Blocks realizující grafické zobrazení datových struktur při ladění . [Internet] [Thesis]. Brno University of Technology; 2011. [cited 2019 Apr 18]. Available from: http://hdl.handle.net/11012/55737.

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

Council of Science Editors:

Belica M. Zásuvný modul pro Code::Blocks realizující grafické zobrazení datových struktur při ladění . [Thesis]. Brno University of Technology; 2011. Available from: http://hdl.handle.net/11012/55737

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


Universiteit Utrecht

5. Bredemeijer, E.B.W. Is een goede relatie de sleutel tot succes?!.

Degree: 2013, Universiteit Utrecht

 Het effect van de Gezinsdagbehandeling (GDB) van Yulius is onderzocht onder 22 multi-probleemgezinnen. Er bleek een afname te zijn van psychische problematiek bij de kinderen.… (more)

Subjects/Keywords: Sociale Wetenschappen; GDB, Behandeleffecten, Multi-probleemgezinnen, Oplossingsgericht werken, therapeutische werkrelatie, Positieve Focus.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bredemeijer, E. B. W. (2013). Is een goede relatie de sleutel tot succes?!. (Masters Thesis). Universiteit Utrecht. Retrieved from http://dspace.library.uu.nl:8080/handle/1874/278927

Chicago Manual of Style (16th Edition):

Bredemeijer, E B W. “Is een goede relatie de sleutel tot succes?!.” 2013. Masters Thesis, Universiteit Utrecht. Accessed April 18, 2019. http://dspace.library.uu.nl:8080/handle/1874/278927.

MLA Handbook (7th Edition):

Bredemeijer, E B W. “Is een goede relatie de sleutel tot succes?!.” 2013. Web. 18 Apr 2019.

Vancouver:

Bredemeijer EBW. Is een goede relatie de sleutel tot succes?!. [Internet] [Masters thesis]. Universiteit Utrecht; 2013. [cited 2019 Apr 18]. Available from: http://dspace.library.uu.nl:8080/handle/1874/278927.

Council of Science Editors:

Bredemeijer EBW. Is een goede relatie de sleutel tot succes?!. [Masters Thesis]. Universiteit Utrecht; 2013. Available from: http://dspace.library.uu.nl:8080/handle/1874/278927


Northeastern University

6. Vişan, Ana-Maria. Temporal meta-programming: treating time as a spatial dimension.

Degree: PhD, College of Computer and Information Science, 2012, Northeastern University

 Reversible debuggers have existed since the early 1970s. However, they are not widely used, with the possible exception of GDB. GDB's target record is useful… (more)

Subjects/Keywords: checkpoint; debugger; deterministic replay; GDB; reversible debugger; watchpoint; Computer Sciences; Software Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Vişan, A. (2012). Temporal meta-programming: treating time as a spatial dimension. (Doctoral Dissertation). Northeastern University. Retrieved from http://hdl.handle.net/2047/d20002935

Chicago Manual of Style (16th Edition):

Vişan, Ana-Maria. “Temporal meta-programming: treating time as a spatial dimension.” 2012. Doctoral Dissertation, Northeastern University. Accessed April 18, 2019. http://hdl.handle.net/2047/d20002935.

MLA Handbook (7th Edition):

Vişan, Ana-Maria. “Temporal meta-programming: treating time as a spatial dimension.” 2012. Web. 18 Apr 2019.

Vancouver:

Vişan A. Temporal meta-programming: treating time as a spatial dimension. [Internet] [Doctoral dissertation]. Northeastern University; 2012. [cited 2019 Apr 18]. Available from: http://hdl.handle.net/2047/d20002935.

Council of Science Editors:

Vişan A. Temporal meta-programming: treating time as a spatial dimension. [Doctoral Dissertation]. Northeastern University; 2012. Available from: http://hdl.handle.net/2047/d20002935


University of Illinois – Chicago

7. Visca, Fernando. EDB: a GDB-Based Debugger for Ethos.

Degree: 2014, University of Illinois – Chicago

 The objective of this work is that of reporting how I developed a user-space debugger, based on GDB, for the Ethos OS—EDB. I am going… (more)

Subjects/Keywords: Security; Ethos; Debugging; Debugger; GDB; Remote Serial Protocol; RSP; Secure application debugger; Operating Systems; OS

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Visca, F. (2014). EDB: a GDB-Based Debugger for Ethos. (Thesis). University of Illinois – Chicago. Retrieved from http://hdl.handle.net/10027/19049

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

Visca, Fernando. “EDB: a GDB-Based Debugger for Ethos.” 2014. Thesis, University of Illinois – Chicago. Accessed April 18, 2019. http://hdl.handle.net/10027/19049.

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

MLA Handbook (7th Edition):

Visca, Fernando. “EDB: a GDB-Based Debugger for Ethos.” 2014. Web. 18 Apr 2019.

Vancouver:

Visca F. EDB: a GDB-Based Debugger for Ethos. [Internet] [Thesis]. University of Illinois – Chicago; 2014. [cited 2019 Apr 18]. Available from: http://hdl.handle.net/10027/19049.

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

Council of Science Editors:

Visca F. EDB: a GDB-Based Debugger for Ethos. [Thesis]. University of Illinois – Chicago; 2014. Available from: http://hdl.handle.net/10027/19049

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


Kent State University

8. Liu, Yufan. A Survey Of Persistent Graph Databases.

Degree: MS, College of Arts and Sciences / Department of Computer Science, 2014, Kent State University

 Graph database has attracted increasing attention from both of the database and data mining/machine learning communities. Enormous kinds of data with complex and dynamic relationships… (more)

Subjects/Keywords: Computer Engineering; Computer Science; graph database; graph mining; transactional database; benchmark; graph algorithm; GDB; distribute graph processing framework; NOSQL

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Liu, Y. (2014). A Survey Of Persistent Graph Databases. (Masters Thesis). Kent State University. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=kent1395166105

Chicago Manual of Style (16th Edition):

Liu, Yufan. “A Survey Of Persistent Graph Databases.” 2014. Masters Thesis, Kent State University. Accessed April 18, 2019. http://rave.ohiolink.edu/etdc/view?acc_num=kent1395166105.

MLA Handbook (7th Edition):

Liu, Yufan. “A Survey Of Persistent Graph Databases.” 2014. Web. 18 Apr 2019.

Vancouver:

Liu Y. A Survey Of Persistent Graph Databases. [Internet] [Masters thesis]. Kent State University; 2014. [cited 2019 Apr 18]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=kent1395166105.

Council of Science Editors:

Liu Y. A Survey Of Persistent Graph Databases. [Masters Thesis]. Kent State University; 2014. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=kent1395166105


Linköping University

9. Markusson, Christoffer. Implementation of an application debugger for software in embedded systems.

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

  Debugging applications that are running in embedded systems is becoming harder and harder due to the growing complexity of the systems. This is especially… (more)

Subjects/Keywords: Remote debugging; debugging embedded systems; monitor-based debugger; software based debugger; GNU Debugger; GDB; Computer Engineering; Datorteknik

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Markusson, C. (2008). Implementation of an application debugger for software in embedded systems. (Thesis). Linköping University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-15539

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

Markusson, Christoffer. “Implementation of an application debugger for software in embedded systems.” 2008. Thesis, Linköping University. Accessed April 18, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-15539.

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

MLA Handbook (7th Edition):

Markusson, Christoffer. “Implementation of an application debugger for software in embedded systems.” 2008. Web. 18 Apr 2019.

Vancouver:

Markusson C. Implementation of an application debugger for software in embedded systems. [Internet] [Thesis]. Linköping University; 2008. [cited 2019 Apr 18]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-15539.

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

Council of Science Editors:

Markusson C. Implementation of an application debugger for software in embedded systems. [Thesis]. Linköping University; 2008. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-15539

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

10. Hoozemans, J.J. Porting Linux to the rVEX reconfigurable VLIW softcore:.

Degree: 2014, Delft University of Technology

 This thesis describes the design and implementation of an FPGA-based hardware platform based on the rVEX VLIW softcore and the adaption of a Linux 2.0… (more)

Subjects/Keywords: Operating Systems; Linux; reconfigurable; VLIW; Computer Architecture; Interrupts; GCC; binutils; GDB

…5.3 Porting GDB . . . . . . . . . . . . . . . . . . . . . . . . 5.4 Communicating with the… …register . . . . . . . . . . . . . . . . . . . . GDB register number with corresponding actual… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hoozemans, J. J. (2014). Porting Linux to the rVEX reconfigurable VLIW softcore:. (Masters Thesis). Delft University of Technology. Retrieved from http://resolver.tudelft.nl/uuid:329eba52-453e-4339-9bd4-8230952446fc

Chicago Manual of Style (16th Edition):

Hoozemans, J J. “Porting Linux to the rVEX reconfigurable VLIW softcore:.” 2014. Masters Thesis, Delft University of Technology. Accessed April 18, 2019. http://resolver.tudelft.nl/uuid:329eba52-453e-4339-9bd4-8230952446fc.

MLA Handbook (7th Edition):

Hoozemans, J J. “Porting Linux to the rVEX reconfigurable VLIW softcore:.” 2014. Web. 18 Apr 2019.

Vancouver:

Hoozemans JJ. Porting Linux to the rVEX reconfigurable VLIW softcore:. [Internet] [Masters thesis]. Delft University of Technology; 2014. [cited 2019 Apr 18]. Available from: http://resolver.tudelft.nl/uuid:329eba52-453e-4339-9bd4-8230952446fc.

Council of Science Editors:

Hoozemans JJ. Porting Linux to the rVEX reconfigurable VLIW softcore:. [Masters Thesis]. Delft University of Technology; 2014. Available from: http://resolver.tudelft.nl/uuid:329eba52-453e-4339-9bd4-8230952446fc


Universidade do Rio Grande do Sul

11. Matté, Lia Cláudia. Conjunto de procedimentos de engenharia reversa para projeto de banco de dados espaciais.

Degree: 2002, Universidade do Rio Grande do Sul

Projetos de SIG (Sistemas de Informação Geográfica), em geral, ainda não apresentam modelo conceitual de banco de dados geográficos. Os implementadores de SIG se preocupam… (more)

Subjects/Keywords: Geographic Information Systems (GIS); Banco : Dados; Geographic Database (GDB); Sistemas : Informacao geografica; Reverse engineering; Banco : Dados espaciais; Engenharia reversa; conceptual framework GeoFrame; Conceptual design

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Matté, L. C. (2002). Conjunto de procedimentos de engenharia reversa para projeto de banco de dados espaciais. (Thesis). Universidade do Rio Grande do Sul. Retrieved from http://hdl.handle.net/10183/10544

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

Matté, Lia Cláudia. “Conjunto de procedimentos de engenharia reversa para projeto de banco de dados espaciais.” 2002. Thesis, Universidade do Rio Grande do Sul. Accessed April 18, 2019. http://hdl.handle.net/10183/10544.

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

MLA Handbook (7th Edition):

Matté, Lia Cláudia. “Conjunto de procedimentos de engenharia reversa para projeto de banco de dados espaciais.” 2002. Web. 18 Apr 2019.

Vancouver:

Matté LC. Conjunto de procedimentos de engenharia reversa para projeto de banco de dados espaciais. [Internet] [Thesis]. Universidade do Rio Grande do Sul; 2002. [cited 2019 Apr 18]. Available from: http://hdl.handle.net/10183/10544.

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

Council of Science Editors:

Matté LC. Conjunto de procedimentos de engenharia reversa para projeto de banco de dados espaciais. [Thesis]. Universidade do Rio Grande do Sul; 2002. Available from: http://hdl.handle.net/10183/10544

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


Brigham Young University

12. 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 April 18, 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. 18 Apr 2019.

Vancouver:

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

.