Sciweavers

235 search results - page 2 / 47
» A Short Introduction to Operating System
Sort
View
SIGOPS
1998
378views more  SIGOPS 1998»
13 years 4 months ago
Introducing Empirical Investigation in Undergraduate Operating Systems
Abstract: The undergraduate operating systems course can provide students with a valuable introduction to empirical testing and experimentation. This paper announces the availabili...
Steven Robbins
DFG
2004
Springer
13 years 10 months ago
Introduction to Subject Area 'Charts'
Werner Damm, Bernd Westphal
ENTCS
2006
339views more  ENTCS 2006»
13 years 4 months ago
A Short Visit to the STS Hierarchy
The hierarchy of Symbolic Transition Systems, introduced by Henzinger, Majumdar and Raskin, is an elegant classification tool for some families of infinite-state operational model...
Nathalie Bertrand, Ph. Schnoebelen
ISCAS
2008
IEEE
343views Hardware» more  ISCAS 2008»
13 years 11 months ago
Rigorous study of short periodic orbits for the Lorenz system
— The existence of short periodic orbits for the Lorenz system is studied rigorously. We describe a method for finding all short cycles embedded in a chaotic singular attractor ...
Zbigniew Galias, Warwick Tucker