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 5 of 5 for “"error diagnosis"”.

  1. Logical error diagnosis

    … by his code. These differences are logical errors. The process of locating the cause of these differences is the logical error diagnosis process.

    uiuc Repository record for Logical error diagnosis (opens in a new tab)

  2. Multiple Design Error Diagnosis and Correction in Digital VLSI Circuits

    … results show that our algorithms have good error resolution and run-time performance as they are able to rectify designs with one, two and three errors within minutes of CPU time. In addition, our experiments suggest that diagnosis and correction of multiple design errors with input …

    uiuc Repository record for Multiple Design Error Diagnosis and Correction in Digital VLSI Circuits (opens in a new tab)

  3. Dynamic Invariant Generation for Concurrent Programs

    … to infer atomic regions and diagnose concurrency errors in the software code. Although existing methods for dynamic invariant generation perform reasonably well on sequential programs, for multithreaded programs, their effectiveness often reduces dramatically in terms of both the number of …

    vt Repository record for Dynamic Invariant Generation for Concurrent Programs (opens in a new tab)

  4. Efficient system auditing for real-time systems

    … and explain suspicious activity, from fault/error diagnosis to intrusion detection and forensics after security incidents. While such mechanisms would be beneficial for Real-Time Systems (RTS), existing audit frameworks are rarely designed for this domain. If audit mechanisms are not …

    uiuc Repository record for Efficient system auditing for real-time systems (opens in a new tab)

  5. Dependence-Based Source Level Tracing and Replay for Networked Embedded Systems

    <p>Error detection and diagnosis for networked embedded systems remain challenging and tedious due to issues such as a large number of computing entities, hardware resource constraints, and non-deterministic behaviors. The run-time checking is often necessitated by the fact that the static …

    purdue-thes Repository record for Dependence-Based Source Level Tracing and Replay for Networked Embedded Systems (opens in a new tab)