2,229 results on '"device driver"'
Search Results
102. Application Development
103. Starting Your Project
104. Booting the Board
105. Remotely Drive a (Toy) Sports Car
106. Fixing Problems from A to Ctrl+Z
107. Attacking Large Industrial Code with Bi-abductive Inference
108. Region Analysis for Race Detection
109. Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers
110. Intra-module Inference
111. MDE for Device Driver Development
112. The Yogi Project: Software Property Checking via Static Analysis and Testing
113. A Scalable Memory Model for Low-Level Code
114. A Software Architecture for Model-Based Programming of Robot Systems
115. Layered Volumes
116. Exploring VxVM
117. Disk and Storage System Basics
118. Encapsulation and Root Mirroring
119. Maintaining Privacy and Security in a Pervasively Connected World
120. Innovative OpenSolaris Features
121. Malware Analysis
122. A Simple Model of Separation Logic for Higher-Order Store
123. Scalable Shape Analysis for Systems Code
124. View-OS: A New Unifying Approach Against the Global View Assumption
125. An Operating System Architecture for Organic Computing in Embedded Real-Time Systems
126. The Verified Software Challenge: A Call for a Holistic Approach to Reliability
127. Execution Path Profiling for OS Device Drivers: Viability and Methodology
128. Environment-Independent VR Development
129. A Verification Approach for System-Level Concurrent Programs
130. Formal Functional Verification of Device Drivers
131. An Operating System Architecture for Future Information Appliances
132. Analysis of a Session-Layer Protocol in mCRL2 : Verification of a Real-Life Industrial Implementation
133. RWset: Attacking Path Explosion in Constraint-Based Test Generation
134. Analyzing Stripped Device-Driver Executables
135. Improved Memory-Access Analysis for x86 Executables
136. Ranking Abstractions
137. The Wearable User Interface Toolkit
138. Screen Readers and Screen Magnifiers
139. Operating System Support for SOPC Design
140. Shape Analysis for Composite Data Structures
141. Integrated Static Analysis for Linux Device Driver Verification
142. Blasting Linux Code
143. Optimal Allocation of I/O Device Parameters in Hardware and Software Codesign Methodology
144. A Software Architecture for Virtual Device Composition and Its Applications
145. Introduction
146. Windows Home Server Post-Installation Configuration
147. Power Gating Overview
148. Integration Infrastructures for Agile Manufacturing Systems
149. Using Platform-Specific Performance Counters for Dynamic Compilation
150. Improving Robustness Testing of COTS OS Extensions
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.