Sciweavers

13618 search results - page 59 / 2724
» The Newton Operating System
Sort
View
SIGOPSE
2000
ACM
14 years 3 months ago
Position paper: the role of platforms and operating systems in supporting home networks
As researchers look beyond the PC there is increasing interest in developing and deploying sophisticated home networks. Such networks might allow the seamless integration of infor...
Nigel Davies, Pierre-Guillaume Raverdy
SIGOPS
2008
141views more  SIGOPS 2008»
13 years 11 months ago
Using model checkers in an introductory course on operating systems
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...
Roelof Hamberg, Frits W. Vaandrager
CASES
2009
ACM
14 years 5 months ago
Parallel, hardware-supported interrupt handling in an event-triggered real-time operating system
A common problem in event-triggered real-time systems is caused by low-priority tasks that are implemented as interrupt handlers interrupting and disturbing high-priority tasks th...
Fabian Scheler, Wanja Hofer, Benjamin Oechslein, R...
SIGCSE
1999
ACM
128views Education» more  SIGCSE 1999»
14 years 3 months ago
Discovery learning in introductory operating system courses
Practical experiencesare necessaryto balance the theory discussed in textbooks and in class meetings. Effective practicalexperiencesmust have a clear purpose and must motivate stu...
Uta Ziegler
PPL
2008
117views more  PPL 2008»
13 years 11 months ago
Operating Systems in silicon and the Dynamic Management of Resources in Many-Core Chips
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...
Chris R. Jesshope