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 20 for “"Device Driver"”.
-
Verification of DMAC Device Driver Operations in HOL4
… a case study to model as well as verify DMA device driver code in HOL4, which is an interactive theorem prover (ITP) used for machine-checked verification. This thesis verifies parts of Intel's IXGBE X550 device driver, which is a complex, 10 Gbit Network Interface Card (NIC). This …
-
Device driver development and implementation for work cell control
Industry's move towards automated manufacturing has been rapid during this decade. In a typical flexible manufacturing environment, a variety of automated manufacturing equipment is linked together with a communication network and a part transportation system. Since vendors of automation equipment …
-
Dynamic Reconfigurable Machine Tool Controller
… architecture to configure a mechanism into a device driver for direct control by an application like CAD/CAM. The RMAC paradigm is one of a mechanism device driver assigned to each mechanism class or model, and uses only the master model to control the mechanism. The traditional M&G code …
-
A measurement study of 802.11n links on commodity hardware
… networks. We modify an open-source wireless card device driver and conduct a performance analysis study. We find by measurements that the currently implemented algorithm in the open source device driver fails to successfully converge to the best physical layer rate under the given channel …
-
A lightweight DSP framework for OMAP3530-driven embedded devices
… handler. The set of programs includes a DSP device driver, a host program and two utility programs. Through the device driver, the ARM core can send commands to the DSP and control it to execute compute-intensive applications. The host program performs task o -loading and general ARM-DSP …
-
Performance Optimizations for Isolated Driver Domains
… most of today's operating system architectures, device drivers are tightly coupled with other kernel components. In such systems, a fault caused by a malicious or faulty device driver often leads to complete system failure, thereby reducing the overall reliability of the system. Even though a …
-
A high performance micro channel interface for image processing applications
… collection method, and camera control. A DOS device driver is developed for the collection of camera images. The final design is constructed to collect images intended for real-time image processing by Micro Channel resident processor(s).
-
THINC: A Virtual and Remote Display Architecture for Desktop Computing and Mobile Devices
… around the notion of a virtual display device driver, a software-only component that behaves like a traditional device driver, but instead of managing specific hardware, enables desktop input and output to be intercepted, manipulated, and redirected at will. On top of this architecture, …
-
Improving disk read performance through block-level replication into free space
… We implemented a prototype as a stacked device driver for Linux and evaluated its performance on a number of workloads.
-
PCI Express multi-root switch reconfiguration during system operation
… due to the physical constraints of I/O devices in a clustered system. One solution lies with the recently developed PCI Express multi-root partitionable switch. The partitionable switch is highly configurable and provides a means of altering the allocation of I/O devices amongst multiple …
-
Providing application-aware reliability through OS/hypervisor-level techniques
… In a native system, the RMK is installed as a device driver, while in a virtualized system, the RMK is both installed as a device driver in VMs and deployed as a hypercall (which is like a system call) in a hypervisor. Our approach is transparent to applications and VMs, i.e., it is not …
-
NOHOST : a new storage architecture for distributed storage systems
… service frontend, key-value store engine, device driver, hardware flash translation layer, flash controller and NAND flash chips. To prove the concept of this idea, a prototype of two NOHOST nodes has been implemented on Xilinx Zynq ZC706 boards and custom flash boards in this work. NOHOST …
-
Developing an Automated Explosives Detection Prototype Based on the AS&E 101ZZ System
… to serve as a general purpose data collection device in a variety of applications. Software was also developed for the prototype system. A Windows NT device driver was written for the DPIB and a custom bus master DMA collection device. These drivers are portable and can be used as a basis for …
-
An intelligent magnetic tape controller
… describes a system to allow a mass storage device to be installed in a position remote from the computer system which controls it. This system is intended to allow undergraduate students in the Electrical Engineering department at UCT to make use of two nine channel tape drives installed in …
-
High precision timing in passive measurements of data networks
… requires accurate models of protocols, network devices, and link properties. Accurate models of the component parts comprising complex networks allows the plausible simulation of networks in other configurations, or under different loads. These models must be constructed on a solid foundation of …
-
An Open Architecture for Versatile Machine and Actuator Control
… to that of a desktop PC. When using a peripheral device, such as a printer or scanner, the PC executes device driver software to calculate control values for the devices. These values are communicated to the device over a shared bus. The automation methodology described here seeks to emulate this …
-
Modeling and Synthesis of Linux DMA Device Drivers using HOL4
… peripherals (such as network interfaces and USB devices) can access memory independently of the CPU, improving transfer speeds. However, this bypass also introduces security vulnerabilities if the DMA controller is not configured correctly, as DMA devices may be used to overwrite critical data or …
-
Přenosy rastrových dat v FPGA
Tato práce se zabývá návrhem a realizací vysokorychlostních komunikačních rozhraní na čipu FPGA a jejich využítím pro zpracování a přenos rastrových dat. V implementační části bylo vytvořeno koncové zařízení PCI Express, které zajišťuje přenos dat mezi čipem PFGA a RAM pamětí počítače. Jako zdroj …