93 search results - page 1 / 19 » Using model checkers in an introductory course on operating ... |
SIGOPS
2008
13 years 4 months ago
2008
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
SIGCSE
2008
ACM
13 years 4 months ago
2008
ACM
This paper describes a proof of concept for introducing iPods and iPodLinux into a one-semester introductory undergraduate operating systems course. iPodLinux is a version of the ...
SIGCSE
2002
ACM
13 years 4 months ago
2002
ACM
This paper presents a new instructional operating system, OS/161, and simulated execution environment, System/161, for use in teaching an introductory undergraduate operating syst...
SIGCSE
2012
ACM
12 years 13 days ago
2012
ACM
The computing landscape is shifting towards mobile devices. To learn about operating systems, it is increasingly important for students to gain hands-on kernel programming experie...
SIGCSE
2005
ACM
13 years 10 months ago
2005
ACM
Operating system courses teach students much more when they provide hands-on kernel-level project experience with a real operating system. However, enabling a large class of stude...