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 124 for “"Hardware Systems"”.
-
Modular verification of hardware systems
As hardware systems are becoming bigger and more complex, it is becoming increasingly harder to design and reason about these systems in a monolithic fashion. While hardware is often designed in a modular manner, its verification is rarely performed modularly. Moreover, any modular refinement to an …
-
Enhancing Trust in Reconfigurable Hardware Systems
… and communication functions. Although these systems are complex, they are ubiquitous in the Internet of Things (IoT) era of autonomous vehicles/drones, smart homes, smart grids, etc. where everything is connected. These systems are vulnerable to unauthorized penetration due to the absence of …
-
Software-hardware systems for the Internet-of-Things
… (IoT). The main challenge in delivering IoT systems stems from a huge diversity in their demands and constraints. Some applications work with small sensors and operate using minimal energy and bandwidth. Others use high-data-rate multimedia and virtual reality systems, which require …
-
A service orientated architecture and wireless sensor network approach applied to the measurement and visualisation of a micro injection moulding process. Design, development and testing of an ESB based micro injection moulding platform using Google Gadgets and business processes for the integration of disparate hardware systems on the factory shop floor
… for integrating disparate industrial hardware based processes and business processes of an enterprise in particular the plastics machinery environment. The key benefits of the proposed architecture are the reduction of complexity when integrating disparate hardware platforms; managing …
-
Magnetic particle imaging for intraoperative breast cancer margin assessment and functional brain imaging
… thus reduce the need for future reexcision. Both hardware systems are validated using clinically relevant phantoms. For functional Magnetic Particle Imaging (fMPI) of the brain, a continuous time-series MPI imager is developed and validated for imaging of cerebral blood volume (CBV) changes during …
-
Encoding a Hidden Digital Signature Using Psychoacoustic Masking
… method was successfully developed, the hardware systems to realize the application were designed and built, and several full-scale field tests were conducted. The novel coding scheme satisfies all of the design constraints imposed by the project sponsors. By taking advantage of …
-
Accelerating Hardware Simulation on Multi-cores
… the productivity gap for designing complex hardware systems. However, with an increase in the size and complexity of today's design requirements, current methodologies and EDA tools are unable to effectively mitigate the further widening of productivity gap. It is estimated that testing and …
-
Detection of Coreferences in Automatic Specifications Analysis
Specifications on digital hardware systems typically contain descriptions and requirements expressed in natural language and diagrams of various types. The objective of the research reported here is the automatic detection of common references ("coreferences") to objects in natural language …
-
An inlining approach to formal hardware semantics
Hardware components are extremely complex due to concurrency. Modularity has been considered as an effective way to design and understand such complex hardware components. Among various hardware description languages (HDLs), Bluespec allows designers to develop hardware not only based on …
-
Large-scale neuromorphic computing hardware for analog AI enabled by epitaxial random access memory
… large-scale crossbar to implement neuromorphic hardware systems for deep neural networks, only limited approaches, such as inference task, were suggested due to spatial/temporal variations and nonlinear/step-limited weight update properties. In order to address those issues, this thesis presents …
-
Using Live Sequence Chart Specifications for Formal Verification
… as well as testing stages of software and hardware systems. A significant and often overlooked part of the process is the development of specifications and correctness requirements for the system under test. Traditionally, English has been used as the specification language, which has …
-
On Efficient Computer Vision Applications for Neural Networks
… of how they may be implemented on constrained hardware systems such as smartphones and Internet-of-Things (IoT) peripheral devices in a time- and power- efficient manner while also understanding the scenarios in which they fail is of increasing importance. This work investigates implementations …
-
A Graphical Approach to Testing Real-Time Embedded Devices
Software Testing is both a vital and expensive part of the software development lifecycle. Improving the testing process has the potential for large returns. Current testing methodologies used to test real-time embedded devices are examined and the weaknesses in them are exposed. This leads to the …
-
Hardware Implementation of a Complete Vision-Based Navigation Pipeline
… made great advances, but many of the successful hardware systems are reliant on LiDAR. LiDAR is known to be expensive and to have high computation cost, while vision, which is typically used in combination with LiDAR, has additional benefits without the same cost concerns. It would be ideal if …
-
Hardware support for unbounded transactional memory
In this thesis, I propose a design for hardware transactional memory where the transaction size is not bounded by a specialized hardware buffer such as a cache. I describe an unbounded transactional memory system called UTM (unbounded transactional memory) that exploits the perceived common case …
-
Improving particular components of the audio signal chain: optimising listening in the control room
… and books and can be experienced in the form of hardware systems such as acoustic modules or modified loudspeakers.
-
Architectural and compiler support for strongly atomic transactional memory
… trends make it clear that parallel systems are in our future. This thesis presents the design and implementation of four efficient and powerful transaction systems: ApeX, an object oriented software-only system; UTM and LTM, two scalable systems using custom processor extensions; and …
-
A Method to Improve the Sustainment of Systems Based on Probability and Consequences
… the efficiency of long-term sustainment of hardware systems. The FROST Method makes sustainment and scheduling decisions based on the minimization of the expected value of current and future costs. This differs from current methods which tend to base decisions not on the expected value of …
-
Phrasal Document Analysis for Modeling
Specifications of digital hardware systems are typically written in a natural language. The objective of this research is automatic information extraction from specifications to aid model generation for system level design automation. This is done by automatic extraction of the noun phrases and the …
-
Model-based monitoring and diagnosis of systems with software-extended behavior
… diagnosis of devices has largely operated on hardware systems. However, in most complex systems today, such as aerospace vehicles, automobiles and medical devices, hardware is augmented with software functions that influence the system's behavior. As these sophisticated systems are required to …
Page 1 of 7