SIGADA
2007
Springer
13 years 10 months ago
2007
Springer
A system based on a hierarchical scheduler is a system in which the processor is shared between several collaborative schedulers. Such schedulers exist since 1960 and they are bec...
SIGADA
2007
Springer
13 years 10 months ago
2007
Springer
Teaching beginners predicate transformer semantics for imperative languages is not a trivial task. For Computer Science majors, the teaching of the theoretical material must be su...
SIGADA
2007
Springer
13 years 10 months ago
2007
Springer
In this paper we look at the opportunity provided by the