<--- Back to Details
First PageDocument Content
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
Date: 2012-06-06 02:50:11
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

Add to Reading List

Source URL: www.x.org

Download Document from Source Website

File Size: 326,55 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