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 10 of 10 for “"Detection coverage"”.
-
Inline and Sideline Approaches for Low-cost Memory Safety in C
… attempt to strike a balance between performance, detection coverage, interoperability, precision, and detection timing. Some properties are much more desirable, e.g. the interoperability with pre-compiled libraries. Comparatively less critical properties are sacrificed for performance, for …
-
Automated Derivation of Application-Aware Error and Attack Detectors
… performance improvements while achieving high detection coverage. The technique derives error and attack detectors to detect corruptions of critical data at runtime using a combination of static and dynamic approaches. The derived detectors are validated using both experimental approaches and …
-
Improved software verification through program path-based analysis
… shown through experiments. The high control-flow coverage of generated invariants is demonstrated for the Siemens benchmark suite, and higher quality is indicated when compared with Daikon, a prior technique. Fault injection experiments show high error detection coverage for several types of …
-
Towards Accurate and Reliable Industrial Intrusion Detection Systems Using Shadow Replicas
… protect SCADA systems against attacks that evade detection because of the lack of a comprehensive view of both application and network-layer responses. Specifically, we leverage multiple open-source Network Intrusion Detection Systems (NIDSs) paired with a SCADA shadow replica to provide both …
-
Development of an Obstacle Detection System for Human Supervisory Control of a UAV in Urban Environments
… arenas such as urban environments, an obstacle detection system is a requirement to achieve safe navigation. The development of a system capable of meeting these requirements is presented. The first stage of development was sensor selection and initial testing. After this, the sensor was …
-
Intelligently Leveraging Multi-Channel Image Processing Neural Networks for Multi-View Co-Channel Signal Detection
… thesis, we focus on two key issues in RF signal detection using deep learning. Firstly, we tackle the problem of increasing signal detection coverage by utilizing multiple resolution eigengram images derived from a bank of channelizers. These channelizers, varying in size, are adept at sensing …
-
Asynchronous hardware-enforced memory safety
… approaches suffer from either (1) incomplete coverage of memory errors, (2) prohibitively high runtime overhead, (3) weak protection for metadata used by the approach, (4) low source compatibility to legacy code, (5) low binary compatibility to compiled binaries, (6) limited modularity …
-
Detecting And Mitigating Concurrency Bugs
… is presented for efficient concurrency bug detection and mitigation. As data races are widely used as a way to identify potential concurrency bugs, this research presents an efficient hardware architecture, named RaceSMM, that enables run-time data race detection with high coverage (99%) and …
-
Low-cost error detection through high-level synthesis
… netlist-level error injection. We observe coverages of 99.1% for stuck-at faults, 99.5% for soft errors, and 99.6% for timing errors with a 25.7% area cost and negligible performance impact. Leveraging a mean error detection latency of 12.75 cycles (4150x faster than end result check) for …
-
Robust and reliable hardware accelerator design through high-level synthesis
… validation, and post-deployment error detection. Our solution for rapid pre-silicon debugging of accelerator designs is hybrid tracing: comparing a datapath-level trace of hardware execution with a reference software implementation at a fine temporal and spatial granularity to detect …