Showing 1 - 20 results of 101 for search '"Device driver"', query time: 0.17s Refine Results
  1. 1
    Essential linux device drivers /

    Essential linux device drivers / by Venkateswaran Sreekrishnan, 1972-

    Published 2008
    Subjects: “…Linux device drivers (Computer programs)…”
  2. 2
    Device driver of robotic arm /

    Device driver of robotic arm / by 366151 Lim, Kang Hai

    Published 2000
  3. 3
    Writing MS-DOS device drivers /

    Writing MS-DOS device drivers / by 212964 Lai, Robert

    Published 1987
  4. 4
    Writing Unix device drivers in C /

    Writing Unix device drivers in C / by 242770 Adams, Phillip M., Tondo, Clovis L.

    Published 1993
    Subjects: “…UNIX device drivers (Computer programs)…”
  5. 5
    Writing windows virtual device drivers /

    Writing windows virtual device drivers / by 340206 Thielen, David, Woodruff, Bryan

    Published 1994
  6. 6
    Power electronics : devices, drivers and applications /

    Power electronics : devices, drivers and applications / by 284656 Williams, B. W.

    Published 1987
  7. 7
    Writing a unix device driver /

    Writing a unix device driver / by 412324 Egan, Janet I., Teixeira, Thomas J.

    Published 1988
  8. 8
    Writing DOS device drivers in C /

    Writing DOS device drivers in C / by 242770 Adams, Phillip M., Tondo, Clovis L.

    Published 1990
    Subjects: “…DOS device drivers (Computer program)…”
  9. 9
    Writing MS-DOS device drivers /

    Writing MS-DOS device drivers / by 321184 Lai, Robert S., Waite Group

    Published 1992
    Subjects: “…DOS device drivers (Computer program)…”
  10. 10
    Tolerating Malicious Device Drivers in Linux

    Tolerating Malicious Device Drivers in Linux by Boyd-Wickizer, Silas, Zeldovich, Nickolai

    Published 2011
    Get full text
    Get full text
    Article
  11. 11
    Writing windows virtual device drivers [disket] /

    Writing windows virtual device drivers [disket] / by 340206 Thielen, David, Woodruff, Bryan

    Published 1994
  12. 12
    Writing Unix device drivers in C [disket] /

    Writing Unix device drivers in C [disket] / by 242770 Adams, Phillip M., Tondo, Clovis L.

    Published 1993
    Subjects: “…UNIX device drivers (Computer programs)…”
  13. 13
    Automatic Verification of Message-Based Device Drivers

    Automatic Verification of Message-Based Device Drivers by Sidney Amani, Alexander Legg, Alastair F. Donaldson, Peter Chubb, Yanjin Zhu, Leonid Ryzhyk

    Published 2012-11-01
    “…We develop a practical solution to the problem of automatic verification of the interface between device drivers and the OS. Our solution relies on a combination of improved driver architecture and verification tools. …”
    Get full text
    Article
  14. 14
    Model Checking Concurrent Linux Device Drivers

    Model Checking Concurrent Linux Device Drivers by Witkowski, T, Blanc, N, Weissenbacher, G, Kroening, D

    Published 2007
    Conference item
  15. 15
    Model checking concurrent linux device drivers

    Model checking concurrent linux device drivers by Witkowski, T, Blanc, N, Kroening, D, Weissenbacher, G

    Published 2007
    “…The SLAM toolkit demonstrates that predicate abstraction enables automated verification of real world Windows device drivers. Our predicate abstraction-based tool DDVERIFY enables the automated verification of Linux device drivers and provides an accurate model of the relevant parts of the kernel. …”
    Conference item
  16. 16
    Power electronics : devices, drivers, applications and passive components /

    Power electronics : devices, drivers, applications and passive components / by 341501 Williams, Barry W.

    Published 1992
  17. 17
    Device driver reference : UNIX SVR4.2 /

    Device driver reference : UNIX SVR4.2 / by Hines, Robert M., Wilcox, Spence

    Published 1992
    Subjects:
  18. 18
    Development of linux device driver for programmable peripheral interface /

    Development of linux device driver for programmable peripheral interface / by 391572 Sazrul Azri Zakariya

    Published 2000
    Subjects:
  19. 19
    Development of windows 98 device driver for serial communication /

    Development of windows 98 device driver for serial communication / by 296383 Ho, Yung It

    Published 2001
  20. 20
    Development of windows 98 device driver for serial communication [microfilm] /

    Development of windows 98 device driver for serial communication [microfilm] / by Ho, Yung It

    Published 2001

Search Tools: