1 - 25 of 2
Number of results to display per page
AuthorTitleSubjectDatePublication Type
1 Parker, Michael AllenEfficient user-level event notificationArchitecture; Interrupt; Message-passing; Notification; User-level; Computer science2013-08dissertation
2 Duan, JianjunFormal verification of device drivers in embedded systemsDevice; Driver; Formal; Interrupt; Verification2013-12dissertation
1 - 25 of 2