<--- Back to Details
First PageDocument Content
Device driver / Interrupt storm / Kernel / Ioctl / Firmware / Device drivers / Device driver synthesis and verification / Computer architecture / Computing / System software
Date: 2009-10-12 16:19:00
Device driver
Interrupt storm
Kernel
Ioctl
Firmware
Device drivers
Device driver synthesis and verification
Computer architecture
Computing
System software

Tolerating Hardware Device Failures in Software

Add to Reading List

Source URL: www.sigops.org

Download Document from Source Website

File Size: 719,77 KB

Share Document on Facebook

Similar Documents

Formal methods / Theoretical computer science / Logic in computer science / Systems engineering / Formal verification / Specification / Formal specification / Verification / Simulink / Device driver synthesis and verification

Formal Technical Process Specification and Verification for Automated Production Systems Georg Hackenberg, Alarico Campetelli, Christoph Legat, Jakob Mund, Sabine Teufl and Birgit Vogel-Heuser

DocID: 1ptUJ - View Document

Smartphones / Alphabet Inc. / Android / Humancomputer interaction / Device driver synthesis and verification / Smart device

Automatic device connection Users want the devices to pair automatically and do not want to fiddle around with the setup. I 001

DocID: 1ptiU - View Document

Software testing / Formal methods / Logic in computer science / Theoretical computer science / Program analysis / Software verification / Formal verification / Static program analysis / Model checking / Requirement / Device driver synthesis and verification / Runtime verification

Microsoft Word - f1488_1.doc

DocID: 1pjVg - View Document

Formal methods / Logic in computer science / Model checking / Theoretical computer science / Formal verification / Safety / Liveness / Device driver synthesis and verification

SimGrid MC 101 Getting Started with the SimGrid Model-Checker Da SimGrid Team September 1, 2015

DocID: 1pdyT - View Document

Application programming interfaces / X Window System core protocol / X Window System / Input device / Input / Pointer / Network protocols / Device driver synthesis and verification / Features new to Windows XP / Software / Computing / System software

X Input Device Extension Library

DocID: 18f6R - View Document