Automatic Verification of Message-Based Device Drivers by Sidney Amani, Alexander Legg, Alastair F. Donaldson, Peter Chubb, Yanjin Zhu, Leonid Ryzhyk

“…We develop a practical solution to the problem of automatic verification of the interface between device drivers and the OS. Our solution relies on a combination of improved driver architecture and verification tools. …”
Get full text

Device driver development of an external human interaction device for the Android by Naoto Ogawa, Shuichi Oikawa

Subjects: “…device driver; Android; Linux; Bluetooth; Wii Remote…”
Get full text

A New NVM Device Driver for IoT Time Series Database by Tao Cai, Yueming Ma, Peiyao Liu, Dejiao Niu, Lei Li

Subjects: Get full text

System-level FPGA device driver with high-level synthesis support by Vipin, Kizheppatt, Shreejith, Shanker, Gunasekera, Dulitha, Fahmy, Suhaib A., Kapre, Nachiket

Get full text
Get full text

Generating driver prioritization for Jabatan Perkhidmatan Awam (JPA) – Malaysia Foresight Institute (MFI) collaboration scenario building workshop using Bayesian technique / Wan Nu... by Wan Rahmat Asmadi, Wan Nur Zhulianna

Subjects: Get full text

Kernel Level Anti-Spyware Using Device Stack Lock Strategy by Mohammed Gheni Alwan

Subjects: “…device driver stack…”
Get full text

Improving I/O Performance via Address Remapping in NVMe Interface by Dong Kyu Sung, Yongseok Son, Hyeonsang Eom, Sunggon Kim

Subjects: Get full text

Ambient-Aware smart monitor / Aiman Azhar by Azhar, Aiman

Subjects: Get full text

Robotic development environment for autonomous robotic systems by Shanbhag Raghavendra Nagaraj.

“…The project explores the Robotic Development Environment (RDE) studies; utilization of RDE for autonomous robot platform and developing the software device driver used in robotic research and embedded Systems. …”
Get full text

A Hybrid Measurement Approach to Medium Occupied Time for Radio Resource Management in IEEE 802.11 Networks by Seung-Chur Yang, Jong-Deok Kim

“…We implement our approach by modifying a Linux device driver of an off-the-shelf 802.11n NIC. In addition, an indoor test bed is built to verify the approach's support for various traffic patterns, quantitative measurement of wireless interference, and backoff time estimation. …”
Get full text

Predicate Abstraction via Symbolic Decision Procedures by Shuvendu K. Lahiri, Thomas Ball, Byron Cook

“…We present preliminary evaluation of our Procedure on predicate abstraction benchmarks from device driver verification in SLAM.…”
Get full text

Car braking effectiveness after adaptation for drivers with motor dysfunctions by Sowiński Adam, Szczepański Tomasz, Koralewski Grzegorz

“…As a part of the analysis of the test results, a mathematical function was proposed that allows a parametric description of the braking efficiency index on the basis of data on the braking system, adaptation device, driver’s motor limitations, and the position of the driver’s seat. …”
Get full text

Gen-Z memory pool system implementation and performance measurement by Won-ok Kwon, Song-Woo Sok, Chan-ho Park, Myeong-Hoon Oh, Seokbin Hong

“…A hardware prototype of a DDR4 Gen-Z memory pool with an optimized character, a block device driver, and a file system for the Gen-Z hardware was designed. …”
Get full text

An Automated Testing Approach For Pxi Chassis Software Driver by Ng , Wai Shyan

“…PXI chassis is a multi-vendor interoperable device, it can interconnect with many chassis, module and computer type. To make sure the device driver is able to function in specific configuration it must go through a series of testing. …”
Get full text

Safer Linux Kernel Modules Using the D Programming Language by Constantin Eduard Staniloiu, Alexandru Militaru, Razvan Nitu, Razvan Deaconescu

“…In this paper, we show that it is possible to incrementally transition the kernel code from C to a memory safe programming language, D, by porting and integrating a device driver. In addition, we propose a series of code transformations that allow the D compiler to reason about the safety of certain memory operations. …”
Get full text

Openembedded based embedded linux development by Loh, Khai Ping.

“…Upon getting the kernel and file system, we will be exploring on various software application and device driver building on Openembedded. To demonstrate that the objective of the project, a web server based application is developed and tested on the board. …”
Get full text

NetAP: Adaptive Polling Technique for Network Packet Processing in Virtualized Environments by Hyunchan Park, Juyong Seong, Munkyu Lee, Kyungwoon Lee, Cheol-Ho Hong

“…For example, VirtIO, which is a network device driver for KVM-based virtualization, adopts an interrupt-based packet-delivery mechanism, and incurs frequent switch overheads between the virtual machine and the host system. …”
Get full text

Gyro Drift Correction for An Indirect Kalman Filter Based Sensor Fusion Driver by Chan-Gun Lee, Nhu-Ngoc Dao, Seonmin Jang, Deokhwan Kim, Yonghun Kim, Sungrae Cho

“…Moreover, the mechanism is implemented in the device-driver layer, providing lower process latency and transparency capabilities for the upper applications. …”
Get full text

Bringing law and order to IEEE 802.11 networks - A case for DiscoSec. by Martinovic, I, Pichota, P, Wilhelm, M, Zdarsky, F, Schmitt, J

“…To demonstrate its effectiveness, DiscoSec is available as an open-source IEEE 802.11 device driver utilizing well-established cryptographic primitives provided by the Linux Crypto API and OpenSSL library. © 2009 Elsevier B.V. …”

Program analysis with interpolants by Weissenbacher, G, Georg Weissenbacher

“…Finally, we present an implementation of our techniques and evaluate them on a set of standardised device driver and buffer overflow benchmarks.…”