Automatic Device Driver Synthesis with Termite Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur, Gernot Heiser UNSW, NICTA, Open Kernel Labs (Australia), John Keys, Intel Conventional driver development

First Page		Document Content
Date: 2009-10-12 16:19:00 Standard Performance Evaluation Corporation Control key Gernot Heiser Electronics Device driver synthesis and verification Computing General Purpose Input/Output Device driver		Automatic Device Driver Synthesis with Termite Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur, Gernot Heiser UNSW, NICTA, Open Kernel Labs (Australia), John Keys, Intel Conventional driver development Add to Reading List Source URL: www.sigops.org Download Document from Source Website File Size: 883,03 KB Share Document on Facebook

	1 ELLEN MACARTHUR FOUNDATION • CIRCULAR CONSUMER ELECTRONICS: AN INITIAL EXPLORATION CIRCULAR CONSUMER DocID: 1xVXt - View Document
	IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, VOL. 64, NO. 12, DECEMBERAdaSharing: Adaptive Data Sharing in Collaborative Robots DocID: 1xVjO - View Document
	IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, VOL. 64, NO. 8, AUGUSTReliability and Temporality Optimization for Multiple Coexisting WirelessHART Networks DocID: 1xUDa - View Document
	Reverse Logistics for Consumer Electronics: Forecasting Failures, Managing Inventory, and Matching Warranties by Andre du Pin Calmon Submitted to the Sloan School of Management DocID: 1xTwd - View Document
	PDF Document DocID: 1xRlh - View Document