Device Driver Synthesis and Verification kitap kapağı
Kitap başlığı:

Device Driver Synthesis and Verification

Device driver, Computer software, Computer program

Chrono Press (2011-06-18 )

Books loader

Omni badge kupun için uygun
ISBN-13:

978-613-6-70457-9

ISBN-10:
6136704579
EAN:
9786136704579
Kitabın dili:
İngilizce
Özet:
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.
Yayınevi:
Chrono Press
Websitesi:
http://www.alphascript-publishing.com
Düzenleyen:
Pollux Évariste Kjeld
Sayfa sayısı:
84
Yayın tarihi:
2011-06-18
Hisse:
Mevcut
Kategori:
Donanım
Fiyat:
34.00 €
Anahtar kelimeler:
Software, Computer, Device, driver, program, Softwareentwicklung, computer, Driver, Programmplanung

Books loader

Bültenler

Adyen::amex Adyen::mc Adyen::visa Adyen::cup Adyen::unionpay Paypal Banka Havalesi

  Alışveriş sepetinde 0 ürün var
Sepeti yenile
Loading frontend
LOADING