Device drivers - PDFSEARCH.IO - Document Search Engine

Device drivers
Results: 779

#	Item
1	Technical Reference - Q&A TSD-QAQ: There still have two unknown devices “IKBMON_01” and “IMSMON_01” in device manager on H61 series motherboards, after install all drivers from support CD, what dri Add to Reading List Source URL: www.asrock.com - Date: 2014-03-25 05:25:44
2	I/O system. It was written with an eye toward providing guidance to writers of device driver routines, and is oriented more toward describing the environment and nature of device drivers than the implementation of that p Add to Reading List Source URL: wolfram.schneider.org Language: English - Date: 2012-01-08 15:19:27
3	Automatic Synthesis of High-Assurance Device Drivers G ERNOT H EISER, NICTA, Australia L EONID RYZHYK , M ICHAEL S TUMM, University of Toronto, Canada PAVOL C ERNY, University of Colorado Boulder, USA A LASTAIR F. D ONAL Add to Reading List Source URL: ts.data61.csiro.au - Date: 2013-10-20 22:09:39
4	Fast and Precise Retrieval of Forward and Back Porting Information for Linux Device Drivers Julia Lawall, Derek Palinski, Lukas Gnirke, Gilles Muller Sorbonne Universit´es/UPMC/Inria/LIP6 Abstract Add to Reading List Source URL: pages.lip6.fr - Date: 2017-08-28 11:27:03
5	Software Model Checking of Linux Device Drivers (Invited Talk) Alexey Khoroshilov Linux Verification Center, ISPRAS, Moscow, Russia Add to Reading List Source URL: refal.botik.ru - Date: 2017-03-12 03:19:31
6	Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers Pantazis Deligiannis Alastair F. Donaldson Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2015-08-24 18:36:19
7	Automatic Verification of Data Race Freedom in Device Drivers∗ (Extended Abstract) Pantazis Deligiannis and Alastair F. Donaldson Imperial College London {p.deligiannis, alastair.donaldson}@imperial.ac.uk Abstract Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2015-07-01 17:41:47
8	Static Analysis of Device Drivers: We Can Do Better! Sidney Amani‡§ Leonid Ryzhyk‡§ Alastair F. Donaldson¶ Gernot Heiser‡§ Alexander Legg‡k Yanjin Zhu‡§ ‡ NICTA∗ Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2012-08-31 08:16:46
9	Automatic Verification of Message-Based Device Drivers Sidney Amani‡§ Peter Chubb‡§ Alastair F. Donaldson¶ Alexander Legg‡ Leonid Ryzhyk‡§ Yanjin Zhu‡§ ‡NICTA §University of New South Wales ¶ Imperial Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2013-01-20 10:47:24
10	Automatic Veriﬁcation of Active Device Drivers Sidney Amani‡§ Peter Chubb‡§ Alastair F. Donaldson¶ Alexander Legg‡§ Keng Chai Ong‡ Leonid Ryzhyk‡§ Yanjin Zhu‡§ ‡NICTA §University of New South Wales Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2016-05-05 16:39:22