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 “"safety violations"”.
-
Impact of Increased Cache Misses on Runtime Performance of MPX-enabled Programs
… But these languages are prone to memory safety violations. Intel introduced a new ISA extension-Memory Protection Extension(MPX), a hardware-assisted full-stack solution, to protect against the memory safety violations. While MPX efficiently prevents memory errors like buffer overflows …
-
Automatically Improving The Code Quality Of Rust Via LLM
… Rust’s strict type system, detecting subtle safety violations that escape traditional analysis, and creating comprehensive test suites that achieve meaningful code coverage. These challenges necessitate novel approaches that combine LLMs with program analysis techniques specifically designed …
-
Color reclamation for heap memory coloring scheme in PIPE tagged-memory architecture
Memory safety violations remain a significant hurdle as people try to secure computer software. The PIPE project proposed an approach to securing software by tagging memory and registers with color tags and defining policies in terms of the tags to disallow instructions violating memory safety. …
-
The Upper Big Branch Mine Explosion: Occupational Hazard or Preventable Tragedy; A Look at State-Corporate Crime
… how Massey Energy corporate officials violated safety regulations and permitted the continuous operation of a mine that have been previously cited for numerous safety violations. Ultimately, a position is presented that the injurious and harmful actions of Massey Energy Corporation officials was …
-
Detecting food safety risks and human tracking using interpretable machine learning methods/
… end, this thesis is divided into two parts: food safety risk analysis and human trafficking detection. The first half analyzes the characteristics of supermarket suppliers in China that indicate a high risk of food safety violations. Contrary to expectations, supply chain dispersion, internal …
-
Intelligent robotics with digital-twin alignment : semantic navigation, manipulation, planning, and human-to-robot action transformation
… on unseen-scene tasks, and eliminates safety violations in both simulated and multi-robot execution. ActionFormer attains state-of-the-art performance in human-activity recognition and high execution accuracy across more than 20 activities, generating realistic human-motion traces and …
-
Safe and adaptive reinforcement learning for robotics applications
… However, they often suffer from the lack of safety and robustness guarantees, which makes it challenging to apply them to safety-critical systems in dynamical environments involving various uncertainties and disturbances. This Ph.D. thesis aims to integrate control-theoretical methods to …
-
Development And Implementation Of A Proactive Safety Performance Evaluation System For General Contractors
<p>Construction safety is an essential aspect of the construction industry and measuring safety performance has been of continuing concern. Most of the preceding studies concentrated on two widely used metrics in industry to evaluate and improve safety performance, EMR and incidence rates. However, …
-
Safe and secure autonomous vehicles
… limitations of machine learning make its use for safety-critical tasks perilous. This is evident in the plethora of safety challenges facing autonomous vehicles. Autonomous vehicles have the potential to save and improve lives, however, their widespread usage and adoption have been severely …
-
Complete spatial safety for C and C++ using CHERI capabilities
Lack of memory safety in commonly used systems-level languages such as C and C++ results in a constant stream of new exploitable software vulnerabilities and exploit techniques. Many exploit mitigations have been proposed and deployed over the years, yet none address the root issue: lack of memory …