Back to Results
First PageMeta Content
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

Document Date: 2009-10-12 16:19:00

Open Document

File Size: 883,03 KB

Share Result on Facebook

Company

Open Kernel Labs / Intel / /

Country

Australia / /

IndustryTerm

driver.c device / /

Person

Etienne Le Sueur / Leonid Ryzhyk / Peter Chubb / John Keys / /

Position

Formal OS interface spec GPIO controller / driver / driver development OS interface spec / Automatic Device Driver / Formal device spec Driver / Formal OS interface spec ctrl data GPIO controller / ctrl data Formal device spec GPIO controller / example Formal OS interface spec GPIO controller / driver development OS interface spec device spec Conventional / GPIO controller Formal device spec GPIO line Driver / device spec Driver / ctrl data GPIO controller / /

SocialTag