Sciweavers

235 search results - page 2 / 47
» A Short Introduction to Operating System
Sort
View
SIGOPS
1998
378views more  SIGOPS 1998»
13 years 6 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
ENTCS
2006
339views more  ENTCS 2006»
13 years 7 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»
14 years 1 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