Home
Browse
Ask Us
Chat
Harmful Language Statement
Log in
Theses & Dissertations
Advanced Search
Year
2013
TO
2013
School Or College
College of Engineering
2
Department
Computing
2
Publication Type
dissertation
2
Subject
Interrupt
2
Architecture
1
Computer science
1
Device
1
Driver
1
Formal
1
Message-passing
1
Notification
1
User-level
1
Verification
1
More
Filters:
Format:
"application/pdf"
Collection:
ir_etd
Subject:
"Interrupt"
1
-
25
of
2
Gallery view
Number of results to display per page
10
25
50
100
200
Sort by Relevance
Sort by Title A-Z
Sort by Title Z-A
Sort by Date Ascending
Sort by Date Descending
Sort by Last Modified Ascending
Sort by Last Modified Descending
Title
Setname
Type
1
Efficient user-level event notification
ir_etd
Text
2
Formal verification of device drivers in embedded systems
ir_etd
Text
1
-
25
of
2