Search

Your search keyword '"device driver"' showing total 2,229 results

Search Constraints

Start Over You searched for: Descriptor "device driver" Remove constraint Descriptor: "device driver"
2,229 results on '"device driver"'

Search Results

101. Establishing Linux Driver Verification Process

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

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

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

149. Using Platform-Specific Performance Counters for Dynamic Compilation

150. Improving Robustness Testing of COTS OS Extensions

Catalog

Books, media, physical & digital resources