Device Driver Synthesis and Verification的封面
书籍主题:

Device Driver Synthesis and Verification

Device driver, Computer software, Computer program

Chrono Press (2011-06-18 )

Books loader

Omni badge 有获得代金券的资格
ISBN-13:

978-613-6-70457-9

ISBN-10:
6136704579
EAN:
9786136704579
书籍语言:
英文
作品简介:
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. The device driver is a program which allows the software or higher-level computer programs to interact with a hardware device. These software components act as a link between the devices and the operating systems, communicating with each of these systems and executing commands. They provide an abstraction layer for the software above and also mediate the communication between the operating system kernel and the devices below. Usually the operating systems comes with a support for the common device drivers and usually the hardware vendors provide the device driver for their hardware devices for most platforms. The aggressive scaling of the hardware devices and the complex software components has made the device driver development process cumbersome and complex. When the size and functionality of the drivers started increasing the device drivers became a key role in defining the reliability of the system. This has developed an incentive towards automatic synthesis and verification of device drivers.
出版社 :
Chrono Press
网址:
http://www.alphascript-publishing.com
出版发行由:
Pollux Évariste Kjeld
页码 :
84
发表日期:
2011-06-18
现货:
备有现货
类别:
硬件
价格:
34.00 €
关键词:
Software, Computer, Device, driver, program, Softwareentwicklung, computer, Driver, Programmplanung

Books loader

时事通讯

Adyen::amex Adyen::mc Adyen::visa Adyen::cup Adyen::unionpay Paypal 银行转帐

LOGIN
  0产品在购物车内
编辑购物车
Loading frontend
LOADING