Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 20 of 269 for “"debugging"”.

  1. An All-in-One Debugging Approach: Java Debugging, Execution Visualization and Verification

    <p>We devise a widely applicable debugging approach to deal with the prevailing issue that bugs cannot be precisely reproduced in nondeterministic complex concurrent programs. A distinct efficient record-and-playback mechanism is designed to record all the internal states of execution including …

    syracuse-diss Repository record for An All-in-One Debugging Approach: Java Debugging, Execution Visualization and Verification (opens in a new tab)

  2. An approach to debugging

    Digitized by Kansas Correctional Industries

    ksu-retro Repository record for An approach to debugging (opens in a new tab)

  3. An approach to debugging

    Digitized by Kansas Correctional Industries

    ksu Repository record for An approach to debugging (opens in a new tab)

  4. Architectural Support for Software Debugging

    We also present an incremental checking framework, called iChecker, that leverages iWatcher to provide an iChecker library for efficient, incremental, run-time consistency checks of mutable data structures in C programs. The basic idea of iChecker is to perform a consistency check with a local …

    uiuc Repository record for Architectural Support for Software Debugging (opens in a new tab)

  5. Debugging Large Scale Applications With Virtualization

    … This integration facilitates the scaling of the debugging techniques to very large machines, and helps the user to focus on the processors where a problem manifests. Furthermore, the parallel runtime system is in a unique position to enable powerful techniques that can help reduce the need for …

    uiuc Repository record for Debugging Large Scale Applications With Virtualization (opens in a new tab)

  6. Debugging Logic Programs Using Executable Specifications

    … the use of executable specifications in debugging logic programs which are renowned for their clean syntax and well-understood semantics, and for the feature that one can use a single language for both specification and computation. We have formulated a computer model that encodes …

    uiuc Repository record for Debugging Logic Programs Using Executable Specifications (opens in a new tab)

  7. Debugging Large Scale Applications with Virtualization

    Debugging is a fundamental part of software development, and one of the largest in terms of time spent. When developing parallel applications, debugging becomes much harder due to a whole new set of problems not present in sequential applications. One famously difficult example is a race condition. …

    uiuc Repository record for Debugging Large Scale Applications with Virtualization (opens in a new tab)

  8. Displaying data structures for interactive debugging

    Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1980.

    mit Repository record for Displaying data structures for interactive debugging (opens in a new tab)

  9. Debugging support for dynamically generated code

    Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1997.

    mit Repository record for Debugging support for dynamically generated code (opens in a new tab)

  10. A simulator for ladder logic debugging

    … by the ladders. Thus, an off-line ladder logic debugging environment is created.

    vt Repository record for A simulator for ladder logic debugging (opens in a new tab)

  11. Holistic Abstraction for Distributed Network Debugging

    … they fail. It is during such time of crisis that debugging and troubleshooting come to the forefront, however, the focus on performance results in design tradeoffs that make it challenging to troubleshoot them. This dissertation hypothesizes that a view of the network as a single entity solves the …

    vt Repository record for Holistic Abstraction for Distributed Network Debugging (opens in a new tab)

  12. A virtual machine approach to parallel debugging

    Debugging is generally considered to be difficult. The increased complexity and non determinism of parallel programs makes it even more difficult. It is one of the reasons that parallel machines are not widely used for computationally intensive applications even though recent progress on VLSI …

    ubc Repository record for A virtual machine approach to parallel debugging (opens in a new tab)

  13. Interactive Source -Level Debugging of Optimized Code

    The debugging framework has been prototyped in both the IMPACT compiler and an experimental debugger. Experiments conducted on several integer benchmark programs have yielded encouraging results. The overhead in executable file size and compile time incurred by this framework is reasonable. …

    uiuc Repository record for Interactive Source -Level Debugging of Optimized Code (opens in a new tab)

  14. Statistical Debugging and Automated Program Failure Triage

    Made available in DSpace on 2015-09-25T20:20:27Z (GMT). No. of bitstreams: 2 license.txt: 4848 bytes, checksum: 96035ab3f5e1c23cc7138a224ce498bd (MD5) 3290299.pdf: 4564099 bytes, checksum: af466473d491a80d6252ebffbd3c4de9 (MD5) Previous issue date: 2007

    uiuc Repository record for Statistical Debugging and Automated Program Failure Triage (opens in a new tab)

  15. Compiler-assisted debugging and multiple instruction retry

    … the computation above mispredicted branches. Debugging is another field that can benefit from backward execution. Allowing the user to undo several instructions at specific positions may facilitate program debugging.

    uiuc Repository record for Compiler-assisted debugging and multiple instruction retry (opens in a new tab)

  16. Analytical techniques for debugging pervasive computing environments

    User level debugging of pervasive environments is important as it provides the ability to observe changes that occur in a pervasive environment and fix problems that result from these changes, especially since pervasive environments may from time to time exhibit unexpected behavior. Simple …

    mit Repository record for Analytical techniques for debugging pervasive computing environments (opens in a new tab)

  17. Runtime Verification and Debugging of Concurrent Software

    … and fully automated methods for verifying and debugging concurrent software. They cover the detection, prevention, classification, and repair of some important types of bugs in the implementation of concurrent data structures and client-side web applications. These methods can be adopted at …

    vt Repository record for Runtime Verification and Debugging of Concurrent Software (opens in a new tab)

  18. System based ladder logic simulation and debugging

    … of non-intelligent shop-floor devices. The debugging phase of ladder logic development for PLCs is very cumbersome and difficult. Most often on-line debugging which is expensive and time consuming is used for debugging. Computer simulation techniques applied to this problem, leaves much to …

    vt Repository record for System based ladder logic simulation and debugging (opens in a new tab)

  19. Applying Information Visualization Techniques to Visual Debugging

    … rarely done right the first time. Consequently, debugging one's own (or someone else's) software is inevitable, and tools that assist in this often-arduous task become very important with respect to reducing the cost of debugging as well as the cost of the software life cycle as a whole. Many …

    vt Repository record for Applying Information Visualization Techniques to Visual Debugging (opens in a new tab)

  20. ParaView: Performance debugging through visualization of shared data

    Performance debugging is the process of isolating and correcting performance problems in an otherwise correct parallel program. Problems not immediately visible to the parallel programmer often lead to poor application performance. This thesis describes the design, implementation, and use of …

    rice Repository record for ParaView: Performance debugging through visualization of shared data (opens in a new tab)

Page 1 of 14