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:(debugging). Showing records 1 – 30 of 366 total matches.

[1] [2] [3] [4] [5] … [13]

Search Limiters

Last 2 Years | English Only

Department

Degrees

Levels

Languages

Country

▼ Search Limiters


Delft University of Technology

1. Khomeriki, Georgi (author). Scriptable Debugging - A Reactive Approach.

Degree: 2018, Delft University of Technology

 Debuggers are crucial tools for developers to support the process of developing software systems as they provide direct insights into the execution of their code.… (more)

Subjects/Keywords: debugging

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Khomeriki, G. (. (2018). Scriptable Debugging - A Reactive Approach. (Masters Thesis). Delft University of Technology. Retrieved from http://resolver.tudelft.nl/uuid:5c1d0bc1-9bae-4157-8094-f8d3b6aac5c0

Chicago Manual of Style (16th Edition):

Khomeriki, Georgi (author). “Scriptable Debugging - A Reactive Approach.” 2018. Masters Thesis, Delft University of Technology. Accessed January 24, 2021. http://resolver.tudelft.nl/uuid:5c1d0bc1-9bae-4157-8094-f8d3b6aac5c0.

MLA Handbook (7th Edition):

Khomeriki, Georgi (author). “Scriptable Debugging - A Reactive Approach.” 2018. Web. 24 Jan 2021.

Vancouver:

Khomeriki G(. Scriptable Debugging - A Reactive Approach. [Internet] [Masters thesis]. Delft University of Technology; 2018. [cited 2021 Jan 24]. Available from: http://resolver.tudelft.nl/uuid:5c1d0bc1-9bae-4157-8094-f8d3b6aac5c0.

Council of Science Editors:

Khomeriki G(. Scriptable Debugging - A Reactive Approach. [Masters Thesis]. Delft University of Technology; 2018. Available from: http://resolver.tudelft.nl/uuid:5c1d0bc1-9bae-4157-8094-f8d3b6aac5c0


University of Georgia

2. Zhao, Zhe. Solo programming vs pair programming.

Degree: 2015, University of Georgia

 Program debugging is a process to locate and fix the bugs or defects responsible for a symptom violation in a computer program, thus making it… (more)

Subjects/Keywords: pair programming; pair debugging; debugging strategy; testing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zhao, Z. (2015). Solo programming vs pair programming. (Thesis). University of Georgia. Retrieved from http://hdl.handle.net/10724/31356

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

Zhao, Zhe. “Solo programming vs pair programming.” 2015. Thesis, University of Georgia. Accessed January 24, 2021. http://hdl.handle.net/10724/31356.

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

MLA Handbook (7th Edition):

Zhao, Zhe. “Solo programming vs pair programming.” 2015. Web. 24 Jan 2021.

Vancouver:

Zhao Z. Solo programming vs pair programming. [Internet] [Thesis]. University of Georgia; 2015. [cited 2021 Jan 24]. Available from: http://hdl.handle.net/10724/31356.

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

Council of Science Editors:

Zhao Z. Solo programming vs pair programming. [Thesis]. University of Georgia; 2015. Available from: http://hdl.handle.net/10724/31356

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


University of Toronto

3. Berryhill, Ryan. Traceless Automated Design Debugging of Liveness Properties Using Property Directed Reachability.

Degree: 2016, University of Toronto

The growth in complexity of digital hardware drives an increase in the importance of automated computer-aided design (CAD) tools. Verification consumes most of the design… (more)

Subjects/Keywords: Debugging; Verification; 0464

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Berryhill, R. (2016). Traceless Automated Design Debugging of Liveness Properties Using Property Directed Reachability. (Masters Thesis). University of Toronto. Retrieved from http://hdl.handle.net/1807/72716

Chicago Manual of Style (16th Edition):

Berryhill, Ryan. “Traceless Automated Design Debugging of Liveness Properties Using Property Directed Reachability.” 2016. Masters Thesis, University of Toronto. Accessed January 24, 2021. http://hdl.handle.net/1807/72716.

MLA Handbook (7th Edition):

Berryhill, Ryan. “Traceless Automated Design Debugging of Liveness Properties Using Property Directed Reachability.” 2016. Web. 24 Jan 2021.

Vancouver:

Berryhill R. Traceless Automated Design Debugging of Liveness Properties Using Property Directed Reachability. [Internet] [Masters thesis]. University of Toronto; 2016. [cited 2021 Jan 24]. Available from: http://hdl.handle.net/1807/72716.

Council of Science Editors:

Berryhill R. Traceless Automated Design Debugging of Liveness Properties Using Property Directed Reachability. [Masters Thesis]. University of Toronto; 2016. Available from: http://hdl.handle.net/1807/72716


University of Minnesota

4. Kambam Sugavanam, Praveen. Debugging framework for attribute grammars.

Degree: MS, Computer science, 2013, University of Minnesota

University of Minnesota M.S. thesis. May 2013. Major: Computer science. Advisor: Eric Van Wyk. 1 computer file (PDF); vi, 56 pages.

Attribute grammars provide a… (more)

Subjects/Keywords: Algorithmic debugging; Attribute grammars; Debugging; Debugging attribute grammars; Silver attribute grammar system

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kambam Sugavanam, P. (2013). Debugging framework for attribute grammars. (Masters Thesis). University of Minnesota. Retrieved from http://purl.umn.edu/156848

Chicago Manual of Style (16th Edition):

Kambam Sugavanam, Praveen. “Debugging framework for attribute grammars.” 2013. Masters Thesis, University of Minnesota. Accessed January 24, 2021. http://purl.umn.edu/156848.

MLA Handbook (7th Edition):

Kambam Sugavanam, Praveen. “Debugging framework for attribute grammars.” 2013. Web. 24 Jan 2021.

Vancouver:

Kambam Sugavanam P. Debugging framework for attribute grammars. [Internet] [Masters thesis]. University of Minnesota; 2013. [cited 2021 Jan 24]. Available from: http://purl.umn.edu/156848.

Council of Science Editors:

Kambam Sugavanam P. Debugging framework for attribute grammars. [Masters Thesis]. University of Minnesota; 2013. Available from: http://purl.umn.edu/156848


University of Minnesota

5. Kambam Sugavanam, Praveen. Debugging framework for attribute grammars.

Degree: MS, Computer science, 2013, University of Minnesota

 Attribute grammars provide a formal means to specify the semantics of context free grammars. In this work, we propose a method to debug attribute grammars… (more)

Subjects/Keywords: Algorithmic debugging; Attribute grammars; Debugging; Debugging attribute grammars; Silver attribute grammar system

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kambam Sugavanam, P. (2013). Debugging framework for attribute grammars. (Masters Thesis). University of Minnesota. Retrieved from http://purl.umn.edu/156848

Chicago Manual of Style (16th Edition):

Kambam Sugavanam, Praveen. “Debugging framework for attribute grammars.” 2013. Masters Thesis, University of Minnesota. Accessed January 24, 2021. http://purl.umn.edu/156848.

MLA Handbook (7th Edition):

Kambam Sugavanam, Praveen. “Debugging framework for attribute grammars.” 2013. Web. 24 Jan 2021.

Vancouver:

Kambam Sugavanam P. Debugging framework for attribute grammars. [Internet] [Masters thesis]. University of Minnesota; 2013. [cited 2021 Jan 24]. Available from: http://purl.umn.edu/156848.

Council of Science Editors:

Kambam Sugavanam P. Debugging framework for attribute grammars. [Masters Thesis]. University of Minnesota; 2013. Available from: http://purl.umn.edu/156848


NSYSU

6. Hou, Shao-Chieh. Integration of C Source Level Debugging and HW Tracing and Monitoring.

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

 With the increasing of manufacture and software design technology, embedded system now become more and more complex, time-to-market also become more short. For integrated a… (more)

Subjects/Keywords: Debugger; JTAG; Co-Debugging

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hou, S. (2014). Integration of C Source Level Debugging and HW Tracing and Monitoring. (Thesis). NSYSU. Retrieved from http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0728114-115349

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

Hou, Shao-Chieh. “Integration of C Source Level Debugging and HW Tracing and Monitoring.” 2014. Thesis, NSYSU. Accessed January 24, 2021. http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0728114-115349.

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

MLA Handbook (7th Edition):

Hou, Shao-Chieh. “Integration of C Source Level Debugging and HW Tracing and Monitoring.” 2014. Web. 24 Jan 2021.

Vancouver:

Hou S. Integration of C Source Level Debugging and HW Tracing and Monitoring. [Internet] [Thesis]. NSYSU; 2014. [cited 2021 Jan 24]. Available from: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0728114-115349.

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

Council of Science Editors:

Hou S. Integration of C Source Level Debugging and HW Tracing and Monitoring. [Thesis]. NSYSU; 2014. Available from: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0728114-115349

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


Oregon State University

7. Kulesza, Todd. Toward end-user debugging of machine-learned programs.

Degree: MS, Computer Science, 2009, Oregon State University

 The results of a machine learning from user behavior can be thought of as a program, and like all programs, it may need to be… (more)

Subjects/Keywords: debugging; End-user computing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kulesza, T. (2009). Toward end-user debugging of machine-learned programs. (Masters Thesis). Oregon State University. Retrieved from http://hdl.handle.net/1957/13707

Chicago Manual of Style (16th Edition):

Kulesza, Todd. “Toward end-user debugging of machine-learned programs.” 2009. Masters Thesis, Oregon State University. Accessed January 24, 2021. http://hdl.handle.net/1957/13707.

MLA Handbook (7th Edition):

Kulesza, Todd. “Toward end-user debugging of machine-learned programs.” 2009. Web. 24 Jan 2021.

Vancouver:

Kulesza T. Toward end-user debugging of machine-learned programs. [Internet] [Masters thesis]. Oregon State University; 2009. [cited 2021 Jan 24]. Available from: http://hdl.handle.net/1957/13707.

Council of Science Editors:

Kulesza T. Toward end-user debugging of machine-learned programs. [Masters Thesis]. Oregon State University; 2009. Available from: http://hdl.handle.net/1957/13707


Oregon State University

8. Lawrance, Joseph A. Information foraging in debugging.

Degree: PhD, Computer Science, 2009, Oregon State University

 Programmers spend a substantial fraction of their debugging time by navigating through source code, yet little is known about how programmers navigate. With the continuing… (more)

Subjects/Keywords: Debugging in computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lawrance, J. A. (2009). Information foraging in debugging. (Doctoral Dissertation). Oregon State University. Retrieved from http://hdl.handle.net/1957/11994

Chicago Manual of Style (16th Edition):

Lawrance, Joseph A. “Information foraging in debugging.” 2009. Doctoral Dissertation, Oregon State University. Accessed January 24, 2021. http://hdl.handle.net/1957/11994.

MLA Handbook (7th Edition):

Lawrance, Joseph A. “Information foraging in debugging.” 2009. Web. 24 Jan 2021.

Vancouver:

Lawrance JA. Information foraging in debugging. [Internet] [Doctoral dissertation]. Oregon State University; 2009. [cited 2021 Jan 24]. Available from: http://hdl.handle.net/1957/11994.

Council of Science Editors:

Lawrance JA. Information foraging in debugging. [Doctoral Dissertation]. Oregon State University; 2009. Available from: http://hdl.handle.net/1957/11994


University of Utah

9. Burtsev, Anton. Deterministic systems analysis.

Degree: PhD, Computing (School of), 2013, University of Utah

 A modern software system is a composition of parts that are themselves highly complex:operating systems, middleware, libraries, servers, and so on. In principle, compositionalityof interfaces… (more)

Subjects/Keywords: Deterministic replay; Replay debugging; Xen

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Burtsev, A. (2013). Deterministic systems analysis. (Doctoral Dissertation). University of Utah. Retrieved from http://content.lib.utah.edu/cdm/singleitem/collection/etd3/id/2380/rec/674

Chicago Manual of Style (16th Edition):

Burtsev, Anton. “Deterministic systems analysis.” 2013. Doctoral Dissertation, University of Utah. Accessed January 24, 2021. http://content.lib.utah.edu/cdm/singleitem/collection/etd3/id/2380/rec/674.

MLA Handbook (7th Edition):

Burtsev, Anton. “Deterministic systems analysis.” 2013. Web. 24 Jan 2021.

Vancouver:

Burtsev A. Deterministic systems analysis. [Internet] [Doctoral dissertation]. University of Utah; 2013. [cited 2021 Jan 24]. Available from: http://content.lib.utah.edu/cdm/singleitem/collection/etd3/id/2380/rec/674.

Council of Science Editors:

Burtsev A. Deterministic systems analysis. [Doctoral Dissertation]. University of Utah; 2013. Available from: http://content.lib.utah.edu/cdm/singleitem/collection/etd3/id/2380/rec/674


University of Toronto

10. Adler, John. Novel Approaches to Automated Digital Design Debugging in a Modern Development Cycle.

Degree: 2017, University of Toronto

The ever-increasing complexity of modern digital designs has introduced significant challenges to ensuring designs meet specification. Verification alone consumes up to 70% of the cost… (more)

Subjects/Keywords: Debugging; Machine Learning; Verification; 0464

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Adler, J. (2017). Novel Approaches to Automated Digital Design Debugging in a Modern Development Cycle. (Masters Thesis). University of Toronto. Retrieved from http://hdl.handle.net/1807/79092

Chicago Manual of Style (16th Edition):

Adler, John. “Novel Approaches to Automated Digital Design Debugging in a Modern Development Cycle.” 2017. Masters Thesis, University of Toronto. Accessed January 24, 2021. http://hdl.handle.net/1807/79092.

MLA Handbook (7th Edition):

Adler, John. “Novel Approaches to Automated Digital Design Debugging in a Modern Development Cycle.” 2017. Web. 24 Jan 2021.

Vancouver:

Adler J. Novel Approaches to Automated Digital Design Debugging in a Modern Development Cycle. [Internet] [Masters thesis]. University of Toronto; 2017. [cited 2021 Jan 24]. Available from: http://hdl.handle.net/1807/79092.

Council of Science Editors:

Adler J. Novel Approaches to Automated Digital Design Debugging in a Modern Development Cycle. [Masters Thesis]. University of Toronto; 2017. Available from: http://hdl.handle.net/1807/79092


University of Toronto

11. Merlini, Marco Antonio. Practical Debug for Dataflow Computations on One or More FPGAs.

Degree: 2020, University of Toronto

Interest in multi-FPGA designs is higher than ever, but debugging support has not keptup. This is a problem because it increases the costs of developing… (more)

Subjects/Keywords: Dataflow; Debugging; Distributed; FPGA; 0464

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Merlini, M. A. (2020). Practical Debug for Dataflow Computations on One or More FPGAs. (Masters Thesis). University of Toronto. Retrieved from http://hdl.handle.net/1807/103714

Chicago Manual of Style (16th Edition):

Merlini, Marco Antonio. “Practical Debug for Dataflow Computations on One or More FPGAs.” 2020. Masters Thesis, University of Toronto. Accessed January 24, 2021. http://hdl.handle.net/1807/103714.

MLA Handbook (7th Edition):

Merlini, Marco Antonio. “Practical Debug for Dataflow Computations on One or More FPGAs.” 2020. Web. 24 Jan 2021.

Vancouver:

Merlini MA. Practical Debug for Dataflow Computations on One or More FPGAs. [Internet] [Masters thesis]. University of Toronto; 2020. [cited 2021 Jan 24]. Available from: http://hdl.handle.net/1807/103714.

Council of Science Editors:

Merlini MA. Practical Debug for Dataflow Computations on One or More FPGAs. [Masters Thesis]. University of Toronto; 2020. Available from: http://hdl.handle.net/1807/103714


University of Leicester

12. Whitington, John. Debugging functional programs by interpretation.

Degree: PhD, 2020, University of Leicester

 Motivated by experience in programming and in the teaching of programming, we make another assault on the longstanding problem of debugging. Having explored why debuggers… (more)

Subjects/Keywords: Debugging; Interpretation; functional programming environment

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Whitington, J. (2020). Debugging functional programs by interpretation. (Doctoral Dissertation). University of Leicester. Retrieved from https://doi.org/10.25392/leicester.data.12696617.v1 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.811487

Chicago Manual of Style (16th Edition):

Whitington, John. “Debugging functional programs by interpretation.” 2020. Doctoral Dissertation, University of Leicester. Accessed January 24, 2021. https://doi.org/10.25392/leicester.data.12696617.v1 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.811487.

MLA Handbook (7th Edition):

Whitington, John. “Debugging functional programs by interpretation.” 2020. Web. 24 Jan 2021.

Vancouver:

Whitington J. Debugging functional programs by interpretation. [Internet] [Doctoral dissertation]. University of Leicester; 2020. [cited 2021 Jan 24]. Available from: https://doi.org/10.25392/leicester.data.12696617.v1 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.811487.

Council of Science Editors:

Whitington J. Debugging functional programs by interpretation. [Doctoral Dissertation]. University of Leicester; 2020. Available from: https://doi.org/10.25392/leicester.data.12696617.v1 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.811487


University of Alabama

13. Corley, Jonathan Adam. Exploring efficient and scalable omniscient debugging for MDE.

Degree: 2016, University of Alabama

 Model-Driven Engineering (MDE) has emerged as a software development paradigm that can assist in separating the issues of the problem space of a software system… (more)

Subjects/Keywords: Electronic Thesis or Dissertation;  – thesis; Computer science; Debugging; MDE; Omniscient Debugging

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Corley, J. A. (2016). Exploring efficient and scalable omniscient debugging for MDE. (Thesis). University of Alabama. Retrieved from http://purl.lib.ua.edu/149916

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

Corley, Jonathan Adam. “Exploring efficient and scalable omniscient debugging for MDE.” 2016. Thesis, University of Alabama. Accessed January 24, 2021. http://purl.lib.ua.edu/149916.

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

MLA Handbook (7th Edition):

Corley, Jonathan Adam. “Exploring efficient and scalable omniscient debugging for MDE.” 2016. Web. 24 Jan 2021.

Vancouver:

Corley JA. Exploring efficient and scalable omniscient debugging for MDE. [Internet] [Thesis]. University of Alabama; 2016. [cited 2021 Jan 24]. Available from: http://purl.lib.ua.edu/149916.

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

Council of Science Editors:

Corley JA. Exploring efficient and scalable omniscient debugging for MDE. [Thesis]. University of Alabama; 2016. Available from: http://purl.lib.ua.edu/149916

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


Universidade do Minho

14. Liu, André Alexandre Wang. 3D application debugging .

Degree: 2014, Universidade do Minho

 It is rare for a bugless program to exist, this includes 3D applications with their respective shaders. In particular shaders are harder to debug than… (more)

Subjects/Keywords: 3D Modeling; Shader; OpenGL; Debugging; Curitiba

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Liu, A. A. W. (2014). 3D application debugging . (Masters Thesis). Universidade do Minho. Retrieved from http://hdl.handle.net/1822/37267

Chicago Manual of Style (16th Edition):

Liu, André Alexandre Wang. “3D application debugging .” 2014. Masters Thesis, Universidade do Minho. Accessed January 24, 2021. http://hdl.handle.net/1822/37267.

MLA Handbook (7th Edition):

Liu, André Alexandre Wang. “3D application debugging .” 2014. Web. 24 Jan 2021.

Vancouver:

Liu AAW. 3D application debugging . [Internet] [Masters thesis]. Universidade do Minho; 2014. [cited 2021 Jan 24]. Available from: http://hdl.handle.net/1822/37267.

Council of Science Editors:

Liu AAW. 3D application debugging . [Masters Thesis]. Universidade do Minho; 2014. Available from: http://hdl.handle.net/1822/37267


Oregon State University

15. Piorkowski, David. Information Foraging Theory as a Unifying Foundation for Software Engineering Research : Connecting the Dots.

Degree: PhD, Computer Science, 2016, Oregon State University

 Empirical studies have shown that programmers spend up to one-third of their time navigating through code during debugging. Although researchers have conducted empirical studies to… (more)

Subjects/Keywords: Information Foraging Theory; Debugging in computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Piorkowski, D. (2016). Information Foraging Theory as a Unifying Foundation for Software Engineering Research : Connecting the Dots. (Doctoral Dissertation). Oregon State University. Retrieved from http://hdl.handle.net/1957/59860

Chicago Manual of Style (16th Edition):

Piorkowski, David. “Information Foraging Theory as a Unifying Foundation for Software Engineering Research : Connecting the Dots.” 2016. Doctoral Dissertation, Oregon State University. Accessed January 24, 2021. http://hdl.handle.net/1957/59860.

MLA Handbook (7th Edition):

Piorkowski, David. “Information Foraging Theory as a Unifying Foundation for Software Engineering Research : Connecting the Dots.” 2016. Web. 24 Jan 2021.

Vancouver:

Piorkowski D. Information Foraging Theory as a Unifying Foundation for Software Engineering Research : Connecting the Dots. [Internet] [Doctoral dissertation]. Oregon State University; 2016. [cited 2021 Jan 24]. Available from: http://hdl.handle.net/1957/59860.

Council of Science Editors:

Piorkowski D. Information Foraging Theory as a Unifying Foundation for Software Engineering Research : Connecting the Dots. [Doctoral Dissertation]. Oregon State University; 2016. Available from: http://hdl.handle.net/1957/59860


University of Toronto

16. Darounkola, Nazanin Calagar. Source-level Debugging Framework Design for FPGA High-level Synthesis.

Degree: 2014, University of Toronto

HighLevel Synthesis tools have become more attractive in recent years. However, in order to be fully utilized for largescale applications, HLS tools need to address… (more)

Subjects/Keywords: Debugging; FPGA; High-level synthesis; 0464

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Darounkola, N. C. (2014). Source-level Debugging Framework Design for FPGA High-level Synthesis. (Masters Thesis). University of Toronto. Retrieved from http://hdl.handle.net/1807/68069

Chicago Manual of Style (16th Edition):

Darounkola, Nazanin Calagar. “Source-level Debugging Framework Design for FPGA High-level Synthesis.” 2014. Masters Thesis, University of Toronto. Accessed January 24, 2021. http://hdl.handle.net/1807/68069.

MLA Handbook (7th Edition):

Darounkola, Nazanin Calagar. “Source-level Debugging Framework Design for FPGA High-level Synthesis.” 2014. Web. 24 Jan 2021.

Vancouver:

Darounkola NC. Source-level Debugging Framework Design for FPGA High-level Synthesis. [Internet] [Masters thesis]. University of Toronto; 2014. [cited 2021 Jan 24]. Available from: http://hdl.handle.net/1807/68069.

Council of Science Editors:

Darounkola NC. Source-level Debugging Framework Design for FPGA High-level Synthesis. [Masters Thesis]. University of Toronto; 2014. Available from: http://hdl.handle.net/1807/68069


University of Toronto

17. Le, Bao. SAT-based Automated Design Debugging: Improvements and Application to Low-power Design.

Degree: 2012, University of Toronto

With the growing complexity of modern VLSI designs, design errors become increasingly common. Design debugging today emerges as a bottleneck in the design flow, consuming… (more)

Subjects/Keywords: Design Debugging; Boolean Satisfiability; CAD; 0544

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Le, B. (2012). SAT-based Automated Design Debugging: Improvements and Application to Low-power Design. (Masters Thesis). University of Toronto. Retrieved from http://hdl.handle.net/1807/33304

Chicago Manual of Style (16th Edition):

Le, Bao. “SAT-based Automated Design Debugging: Improvements and Application to Low-power Design.” 2012. Masters Thesis, University of Toronto. Accessed January 24, 2021. http://hdl.handle.net/1807/33304.

MLA Handbook (7th Edition):

Le, Bao. “SAT-based Automated Design Debugging: Improvements and Application to Low-power Design.” 2012. Web. 24 Jan 2021.

Vancouver:

Le B. SAT-based Automated Design Debugging: Improvements and Application to Low-power Design. [Internet] [Masters thesis]. University of Toronto; 2012. [cited 2021 Jan 24]. Available from: http://hdl.handle.net/1807/33304.

Council of Science Editors:

Le B. SAT-based Automated Design Debugging: Improvements and Application to Low-power Design. [Masters Thesis]. University of Toronto; 2012. Available from: http://hdl.handle.net/1807/33304


Syracuse University

18. Wang, Beinan. An All-in-One Debugging Approach: Java Debugging, Execution Visualization and Verification.

Degree: PhD, Electrical Engineering and Computer Science, 2016, Syracuse University

  We devise a widely applicable debugging approach to deal with the prevailing issue that bugs cannot be precisely reproduced in nondeterministic complex concurrent programs.… (more)

Subjects/Keywords: Data Processing; Debugging; Java Bytecode; Visualization; Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Wang, B. (2016). An All-in-One Debugging Approach: Java Debugging, Execution Visualization and Verification. (Doctoral Dissertation). Syracuse University. Retrieved from https://surface.syr.edu/etd/598

Chicago Manual of Style (16th Edition):

Wang, Beinan. “An All-in-One Debugging Approach: Java Debugging, Execution Visualization and Verification.” 2016. Doctoral Dissertation, Syracuse University. Accessed January 24, 2021. https://surface.syr.edu/etd/598.

MLA Handbook (7th Edition):

Wang, Beinan. “An All-in-One Debugging Approach: Java Debugging, Execution Visualization and Verification.” 2016. Web. 24 Jan 2021.

Vancouver:

Wang B. An All-in-One Debugging Approach: Java Debugging, Execution Visualization and Verification. [Internet] [Doctoral dissertation]. Syracuse University; 2016. [cited 2021 Jan 24]. Available from: https://surface.syr.edu/etd/598.

Council of Science Editors:

Wang B. An All-in-One Debugging Approach: Java Debugging, Execution Visualization and Verification. [Doctoral Dissertation]. Syracuse University; 2016. Available from: https://surface.syr.edu/etd/598


Luleå University of Technology

19. Engström, Anders. Interpreter for Timber Programs.

Degree: 2014, Luleå University of Technology

There are many ways that code can be debugged. It can done by analyzing code, but is often easier with help of a computer.… (more)

Subjects/Keywords: Technology; Timber; Interpreter; Interpreting; Debugger; Debugging; Teknik

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Engström, A. (2014). Interpreter for Timber Programs. (Thesis). Luleå University of Technology. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-49786

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

Engström, Anders. “Interpreter for Timber Programs.” 2014. Thesis, Luleå University of Technology. Accessed January 24, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-49786.

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

MLA Handbook (7th Edition):

Engström, Anders. “Interpreter for Timber Programs.” 2014. Web. 24 Jan 2021.

Vancouver:

Engström A. Interpreter for Timber Programs. [Internet] [Thesis]. Luleå University of Technology; 2014. [cited 2021 Jan 24]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-49786.

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

Council of Science Editors:

Engström A. Interpreter for Timber Programs. [Thesis]. Luleå University of Technology; 2014. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-49786

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


George Mason University

20. Zhang, Fengwei. Using Hardware Isolated Execution Environments for Securing Systems .

Degree: 2015, George Mason University

 With the rapid proliferation of malware attacks on the Internet, malware detection and analysis play a critical role in crafting effective defenses. Advanced malware detection… (more)

Subjects/Keywords: Computer science; Debugging; Detection; Malware; SMM; Transparency

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zhang, F. (2015). Using Hardware Isolated Execution Environments for Securing Systems . (Thesis). George Mason University. Retrieved from http://hdl.handle.net/1920/9700

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

Zhang, Fengwei. “Using Hardware Isolated Execution Environments for Securing Systems .” 2015. Thesis, George Mason University. Accessed January 24, 2021. http://hdl.handle.net/1920/9700.

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

MLA Handbook (7th Edition):

Zhang, Fengwei. “Using Hardware Isolated Execution Environments for Securing Systems .” 2015. Web. 24 Jan 2021.

Vancouver:

Zhang F. Using Hardware Isolated Execution Environments for Securing Systems . [Internet] [Thesis]. George Mason University; 2015. [cited 2021 Jan 24]. Available from: http://hdl.handle.net/1920/9700.

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

Council of Science Editors:

Zhang F. Using Hardware Isolated Execution Environments for Securing Systems . [Thesis]. George Mason University; 2015. Available from: http://hdl.handle.net/1920/9700

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


Hong Kong University of Science and Technology

21. Chen, Ning. STAR : stack trace based automatic crash reproduction.

Degree: 2013, Hong Kong University of Science and Technology

 Software crash reproduction is a necessary first step for debugging. Unfortunately, crash reproduction is often difficult and labor intensive. To automate crash reproduction, many approaches… (more)

Subjects/Keywords: Debugging in computer science ; Computer software ; Evaluation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chen, N. (2013). STAR : stack trace based automatic crash reproduction. (Thesis). Hong Kong University of Science and Technology. Retrieved from http://repository.ust.hk/ir/Record/1783.1-62761 ; https://doi.org/10.14711/thesis-b1274229 ; http://repository.ust.hk/ir/bitstream/1783.1-62761/1/th_redirect.html

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

Chen, Ning. “STAR : stack trace based automatic crash reproduction.” 2013. Thesis, Hong Kong University of Science and Technology. Accessed January 24, 2021. http://repository.ust.hk/ir/Record/1783.1-62761 ; https://doi.org/10.14711/thesis-b1274229 ; http://repository.ust.hk/ir/bitstream/1783.1-62761/1/th_redirect.html.

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

MLA Handbook (7th Edition):

Chen, Ning. “STAR : stack trace based automatic crash reproduction.” 2013. Web. 24 Jan 2021.

Vancouver:

Chen N. STAR : stack trace based automatic crash reproduction. [Internet] [Thesis]. Hong Kong University of Science and Technology; 2013. [cited 2021 Jan 24]. Available from: http://repository.ust.hk/ir/Record/1783.1-62761 ; https://doi.org/10.14711/thesis-b1274229 ; http://repository.ust.hk/ir/bitstream/1783.1-62761/1/th_redirect.html.

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

Council of Science Editors:

Chen N. STAR : stack trace based automatic crash reproduction. [Thesis]. Hong Kong University of Science and Technology; 2013. Available from: http://repository.ust.hk/ir/Record/1783.1-62761 ; https://doi.org/10.14711/thesis-b1274229 ; http://repository.ust.hk/ir/bitstream/1783.1-62761/1/th_redirect.html

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


Hong Kong University of Science and Technology

22. Song, Jaewoo. Bug-reproducing test cases : automatic extraction, analysis and application.

Degree: 2014, Hong Kong University of Science and Technology

 Bug-Reproducing Test cases (BRTs) are essential for developers to understand and fix bugs. BRTs are also necessary in various software engineering research areas such as… (more)

Subjects/Keywords: Debugging in computer science ; Computer programs ; Testing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Song, J. (2014). Bug-reproducing test cases : automatic extraction, analysis and application. (Thesis). Hong Kong University of Science and Technology. Retrieved from http://repository.ust.hk/ir/Record/1783.1-70943 ; https://doi.org/10.14711/thesis-b1333876 ; http://repository.ust.hk/ir/bitstream/1783.1-70943/1/th_redirect.html

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

Song, Jaewoo. “Bug-reproducing test cases : automatic extraction, analysis and application.” 2014. Thesis, Hong Kong University of Science and Technology. Accessed January 24, 2021. http://repository.ust.hk/ir/Record/1783.1-70943 ; https://doi.org/10.14711/thesis-b1333876 ; http://repository.ust.hk/ir/bitstream/1783.1-70943/1/th_redirect.html.

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

MLA Handbook (7th Edition):

Song, Jaewoo. “Bug-reproducing test cases : automatic extraction, analysis and application.” 2014. Web. 24 Jan 2021.

Vancouver:

Song J. Bug-reproducing test cases : automatic extraction, analysis and application. [Internet] [Thesis]. Hong Kong University of Science and Technology; 2014. [cited 2021 Jan 24]. Available from: http://repository.ust.hk/ir/Record/1783.1-70943 ; https://doi.org/10.14711/thesis-b1333876 ; http://repository.ust.hk/ir/bitstream/1783.1-70943/1/th_redirect.html.

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

Council of Science Editors:

Song J. Bug-reproducing test cases : automatic extraction, analysis and application. [Thesis]. Hong Kong University of Science and Technology; 2014. Available from: http://repository.ust.hk/ir/Record/1783.1-70943 ; https://doi.org/10.14711/thesis-b1333876 ; http://repository.ust.hk/ir/bitstream/1783.1-70943/1/th_redirect.html

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


Hong Kong University of Science and Technology

23. Huang, Shaoming. Effective and scalable methods for debugging concurrent software systems.

Degree: 2012, Hong Kong University of Science and Technology

 Multicore is here to stay. To keep up with the hardware innovation, software developers mustmove from sequential programming to concurrent programming. However, this move is… (more)

Subjects/Keywords: Debugging in computer science ; Computer programs ; Testing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Huang, S. (2012). Effective and scalable methods for debugging concurrent software systems. (Thesis). Hong Kong University of Science and Technology. Retrieved from http://repository.ust.hk/ir/Record/1783.1-8140 ; https://doi.org/10.14711/thesis-b1206076 ; http://repository.ust.hk/ir/bitstream/1783.1-8140/1/th_redirect.html

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

Huang, Shaoming. “Effective and scalable methods for debugging concurrent software systems.” 2012. Thesis, Hong Kong University of Science and Technology. Accessed January 24, 2021. http://repository.ust.hk/ir/Record/1783.1-8140 ; https://doi.org/10.14711/thesis-b1206076 ; http://repository.ust.hk/ir/bitstream/1783.1-8140/1/th_redirect.html.

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

MLA Handbook (7th Edition):

Huang, Shaoming. “Effective and scalable methods for debugging concurrent software systems.” 2012. Web. 24 Jan 2021.

Vancouver:

Huang S. Effective and scalable methods for debugging concurrent software systems. [Internet] [Thesis]. Hong Kong University of Science and Technology; 2012. [cited 2021 Jan 24]. Available from: http://repository.ust.hk/ir/Record/1783.1-8140 ; https://doi.org/10.14711/thesis-b1206076 ; http://repository.ust.hk/ir/bitstream/1783.1-8140/1/th_redirect.html.

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

Council of Science Editors:

Huang S. Effective and scalable methods for debugging concurrent software systems. [Thesis]. Hong Kong University of Science and Technology; 2012. Available from: http://repository.ust.hk/ir/Record/1783.1-8140 ; https://doi.org/10.14711/thesis-b1206076 ; http://repository.ust.hk/ir/bitstream/1783.1-8140/1/th_redirect.html

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


Hong Kong University of Science and Technology

24. Poon, Chi Yin. A study of eliminating irrelevant access patterns for fault localization in concurrent programs.

Degree: 2012, Hong Kong University of Science and Technology

 Fault localization is usually the most time-consuming step when debugging software bugs in general and concurrency bugs in particular. Automatic fault localization identifies faulty code… (more)

Subjects/Keywords: Debugging in computer science ; Computer software  – Verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Poon, C. Y. (2012). A study of eliminating irrelevant access patterns for fault localization in concurrent programs. (Thesis). Hong Kong University of Science and Technology. Retrieved from http://repository.ust.hk/ir/Record/1783.1-7765 ; https://doi.org/10.14711/thesis-b1198616 ; http://repository.ust.hk/ir/bitstream/1783.1-7765/1/th_redirect.html

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

Poon, Chi Yin. “A study of eliminating irrelevant access patterns for fault localization in concurrent programs.” 2012. Thesis, Hong Kong University of Science and Technology. Accessed January 24, 2021. http://repository.ust.hk/ir/Record/1783.1-7765 ; https://doi.org/10.14711/thesis-b1198616 ; http://repository.ust.hk/ir/bitstream/1783.1-7765/1/th_redirect.html.

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

MLA Handbook (7th Edition):

Poon, Chi Yin. “A study of eliminating irrelevant access patterns for fault localization in concurrent programs.” 2012. Web. 24 Jan 2021.

Vancouver:

Poon CY. A study of eliminating irrelevant access patterns for fault localization in concurrent programs. [Internet] [Thesis]. Hong Kong University of Science and Technology; 2012. [cited 2021 Jan 24]. Available from: http://repository.ust.hk/ir/Record/1783.1-7765 ; https://doi.org/10.14711/thesis-b1198616 ; http://repository.ust.hk/ir/bitstream/1783.1-7765/1/th_redirect.html.

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

Council of Science Editors:

Poon CY. A study of eliminating irrelevant access patterns for fault localization in concurrent programs. [Thesis]. Hong Kong University of Science and Technology; 2012. Available from: http://repository.ust.hk/ir/Record/1783.1-7765 ; https://doi.org/10.14711/thesis-b1198616 ; http://repository.ust.hk/ir/bitstream/1783.1-7765/1/th_redirect.html

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


Delft University of Technology

25. Banken, Herman (author). Debugging Data-Flows in Reactive Programs.

Degree: 2017, Delft University of Technology

Reactive Programming is a way of programming designed to provide developers with the right abstractions for creating systems that use streams of data. Traditional debug… (more)

Subjects/Keywords: reactive programming; debugging; Visualization; experiment; RxJS; Rx

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Banken, H. (. (2017). Debugging Data-Flows in Reactive Programs. (Masters Thesis). Delft University of Technology. Retrieved from http://resolver.tudelft.nl/uuid:d37cac08-195d-4dbd-a076-e3227a756717

Chicago Manual of Style (16th Edition):

Banken, Herman (author). “Debugging Data-Flows in Reactive Programs.” 2017. Masters Thesis, Delft University of Technology. Accessed January 24, 2021. http://resolver.tudelft.nl/uuid:d37cac08-195d-4dbd-a076-e3227a756717.

MLA Handbook (7th Edition):

Banken, Herman (author). “Debugging Data-Flows in Reactive Programs.” 2017. Web. 24 Jan 2021.

Vancouver:

Banken H(. Debugging Data-Flows in Reactive Programs. [Internet] [Masters thesis]. Delft University of Technology; 2017. [cited 2021 Jan 24]. Available from: http://resolver.tudelft.nl/uuid:d37cac08-195d-4dbd-a076-e3227a756717.

Council of Science Editors:

Banken H(. Debugging Data-Flows in Reactive Programs. [Masters Thesis]. Delft University of Technology; 2017. Available from: http://resolver.tudelft.nl/uuid:d37cac08-195d-4dbd-a076-e3227a756717


Delft University of Technology

26. Gupta, R.K. (author). An Incremental VON-Based Debug System for Commercial FPGA Architecture.

Degree: 2015, Delft University of Technology

Electronic companies are increasingly using field-programmable gate arrays in various domains such as application acceleration, complex digital designs or ASIC prototyping. The Verification phase holds… (more)

Subjects/Keywords: FPGA Verification; Debugging; Overlay Network; Trace-Based

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Gupta, R. K. (. (2015). An Incremental VON-Based Debug System for Commercial FPGA Architecture. (Masters Thesis). Delft University of Technology. Retrieved from http://resolver.tudelft.nl/uuid:c850437b-4f38-4d02-9ec7-a490e78766d6

Chicago Manual of Style (16th Edition):

Gupta, R K (author). “An Incremental VON-Based Debug System for Commercial FPGA Architecture.” 2015. Masters Thesis, Delft University of Technology. Accessed January 24, 2021. http://resolver.tudelft.nl/uuid:c850437b-4f38-4d02-9ec7-a490e78766d6.

MLA Handbook (7th Edition):

Gupta, R K (author). “An Incremental VON-Based Debug System for Commercial FPGA Architecture.” 2015. Web. 24 Jan 2021.

Vancouver:

Gupta RK(. An Incremental VON-Based Debug System for Commercial FPGA Architecture. [Internet] [Masters thesis]. Delft University of Technology; 2015. [cited 2021 Jan 24]. Available from: http://resolver.tudelft.nl/uuid:c850437b-4f38-4d02-9ec7-a490e78766d6.

Council of Science Editors:

Gupta RK(. An Incremental VON-Based Debug System for Commercial FPGA Architecture. [Masters Thesis]. Delft University of Technology; 2015. Available from: http://resolver.tudelft.nl/uuid:c850437b-4f38-4d02-9ec7-a490e78766d6

27. Jakse, Raphaël. Vérification interactive de propriétés à l'exécution : Interactive Runtime Verification.

Degree: Docteur es, Informatique, 2019, Université Grenoble Alpes (ComUE)

 Les ordinateurs sont partout.Nous leur faisons confiance pour un grand, et grandissant, nombre de tâches, parmi lesquelles certaines sont critiques.Les conséquences des bogues logiciels sont… (more)

Subjects/Keywords: Monitoring; Debugging; Property; Monitoring; Débogage; Propriété; 004

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Jakse, R. (2019). Vérification interactive de propriétés à l'exécution : Interactive Runtime Verification. (Doctoral Dissertation). Université Grenoble Alpes (ComUE). Retrieved from http://www.theses.fr/2019GREAM075

Chicago Manual of Style (16th Edition):

Jakse, Raphaël. “Vérification interactive de propriétés à l'exécution : Interactive Runtime Verification.” 2019. Doctoral Dissertation, Université Grenoble Alpes (ComUE). Accessed January 24, 2021. http://www.theses.fr/2019GREAM075.

MLA Handbook (7th Edition):

Jakse, Raphaël. “Vérification interactive de propriétés à l'exécution : Interactive Runtime Verification.” 2019. Web. 24 Jan 2021.

Vancouver:

Jakse R. Vérification interactive de propriétés à l'exécution : Interactive Runtime Verification. [Internet] [Doctoral dissertation]. Université Grenoble Alpes (ComUE); 2019. [cited 2021 Jan 24]. Available from: http://www.theses.fr/2019GREAM075.

Council of Science Editors:

Jakse R. Vérification interactive de propriétés à l'exécution : Interactive Runtime Verification. [Doctoral Dissertation]. Université Grenoble Alpes (ComUE); 2019. Available from: http://www.theses.fr/2019GREAM075


University of Toronto

28. Keng, Brian. Advances in Debug Automation for a Modern Verification Environment.

Degree: 2013, University of Toronto

Over the past three decades, the growing list of requirements for integrated circuits has continually presented new challenges to the electronic design community. One of… (more)

Subjects/Keywords: debugging; diagnosis; verification; debug; 0544; 0984

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Keng, B. (2013). Advances in Debug Automation for a Modern Verification Environment. (Doctoral Dissertation). University of Toronto. Retrieved from http://hdl.handle.net/1807/70092

Chicago Manual of Style (16th Edition):

Keng, Brian. “Advances in Debug Automation for a Modern Verification Environment.” 2013. Doctoral Dissertation, University of Toronto. Accessed January 24, 2021. http://hdl.handle.net/1807/70092.

MLA Handbook (7th Edition):

Keng, Brian. “Advances in Debug Automation for a Modern Verification Environment.” 2013. Web. 24 Jan 2021.

Vancouver:

Keng B. Advances in Debug Automation for a Modern Verification Environment. [Internet] [Doctoral dissertation]. University of Toronto; 2013. [cited 2021 Jan 24]. Available from: http://hdl.handle.net/1807/70092.

Council of Science Editors:

Keng B. Advances in Debug Automation for a Modern Verification Environment. [Doctoral Dissertation]. University of Toronto; 2013. Available from: http://hdl.handle.net/1807/70092


University of Illinois – Urbana-Champaign

29. Muzahid, Abdullah. Effective architectural support for detecting concurrency bugs.

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

 Multicore machines have become pervasive and, as a result, parallel programming has received renewed interest. Unfortunately, writing correct parallel programs is notoriously hard. Therefore, it… (more)

Subjects/Keywords: Debugging; Concurrency Bugs; Multithreaded Programs; Multicore

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Muzahid, A. (2012). Effective architectural support for detecting concurrency bugs. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/34513

Chicago Manual of Style (16th Edition):

Muzahid, Abdullah. “Effective architectural support for detecting concurrency bugs.” 2012. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed January 24, 2021. http://hdl.handle.net/2142/34513.

MLA Handbook (7th Edition):

Muzahid, Abdullah. “Effective architectural support for detecting concurrency bugs.” 2012. Web. 24 Jan 2021.

Vancouver:

Muzahid A. Effective architectural support for detecting concurrency bugs. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2012. [cited 2021 Jan 24]. Available from: http://hdl.handle.net/2142/34513.

Council of Science Editors:

Muzahid A. Effective architectural support for detecting concurrency bugs. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2012. Available from: http://hdl.handle.net/2142/34513


University of Illinois – Urbana-Champaign

30. Seo, Eun Soo. Failure diagnosis in distributed systems.

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

 Failures in computing systems are unavoidable. Therefore, it is important to detect and diagnose failures early to improve the reliability of systems. In this dissertation,… (more)

Subjects/Keywords: Debugging; Bug Diagnosis; Concurrency Bugs; Error Propagation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Seo, E. S. (2012). Failure diagnosis in distributed systems. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/34467

Chicago Manual of Style (16th Edition):

Seo, Eun Soo. “Failure diagnosis in distributed systems.” 2012. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed January 24, 2021. http://hdl.handle.net/2142/34467.

MLA Handbook (7th Edition):

Seo, Eun Soo. “Failure diagnosis in distributed systems.” 2012. Web. 24 Jan 2021.

Vancouver:

Seo ES. Failure diagnosis in distributed systems. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2012. [cited 2021 Jan 24]. Available from: http://hdl.handle.net/2142/34467.

Council of Science Editors:

Seo ES. Failure diagnosis in distributed systems. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2012. Available from: http://hdl.handle.net/2142/34467

[1] [2] [3] [4] [5] … [13]

.