Practical Unix Security/ by 418239 Garfinkel, Simson, Spafford, Gene

Subjects:

DOS/VS RPG II messages program number 5746-RG1 : licensed program

Subjects:

DOS/VS RPG II messages : technical newsletter

Subjects:

DOS/VS RPG II installation reference program number 5746-RG1 : licensed program

Subjects:

DOS/VS RPG 11 auto report program number 5746-RG1 : licensed program

Subjects:

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

Subjects: Get full text

Streams modules and drivers : UNIX SVR 4.2

Subjects:

Utilizing open source tools for online teaching and learning : applying Linux technologies / by Chao, Lee, 1951-

Subjects:

Utilizing Open Source Tools for Online Teaching and Learning : Applying Linux Technologies / by Chao, Lee, 1951-, author 238396, Gale Group (Online service) 651863

Subjects: Get full text

Practical Unix and internet security / by 418239 Garfinkel, Simson, Spafford, Gene, Schwartz, Alan

Subjects:

Feasibility of GNU/Linux as the OS for a PC-based medical product by Lustbader, Steven B. (Steven Benjamin), 1980-

Subjects: Get full text

Penyepaduan perisian kumpulan dengan internet; Sistem bantuan kemasukan maklumat secara terus ke web; Metodologi pembangunan rangkaian setempat bagi sesebuah organisasi; Pemacu peranti pacu pita (tape drive device driver); Pemperibadian pin kad pintar secara dinamik / [mikrofilem] by Abang Jamuri Abang Shokeran, Ahmad Ismail, Ang, Tiam King, Liow, Fui Lian, Yong Nyit Wah, Azman Kamarudin, Shafee Sajat, Chairul Mohd. Shamsuddin

Simulasi komputer bagi sistem penjana dedenyut voltan tinggi yang terdapat di makmal IVAT [microfilm] / by Azizah Abu Kasim

Pelakuan pemutus litar moulded case circuit breaker (MCCB) terhadap parameter sebenar kilat [microfilm] / by Amirullah Karim

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

BOOM: Taking Boolean program model checking one step further by Basler, G, Hague, M, Kroening, D, Ong, C, Wahl, T, Zhao, H

“…We present experimental results for the verification of Boolean device driver models.…”

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