13489 search results - page 24 / 2698 » Self-migration of operating systems |
155
click to vote
SIGOPS
2008
15 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...
116
click to vote
PPL
2008
15 years 4 months ago
2008
This discussion paper explores the problems of operating systems support when implementing concurrency controls at the level of the instruction set in processors designed for mult...
123
click to vote
SIGMETRICS
1998
ACM
15 years 3 months ago
1998
ACM
Widely-used operating systems provide inadequate support for large-scale Internet server applications. Their algorithms and interfaces fail to e ciently support either event-drive...
140
click to vote
COMPCON
1994
IEEE
15 years 8 months ago
1994
IEEE
The Newton MessagePad Personal Digital Assistant (PDA) is the first in a class of devices distinguished by their pen-based user interface, communications capability, small size, a...
158
click to vote
SIGCSE
2012
ACM
13 years 11 months 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...