571 search results - page 40 / 115 » A principled approach to operating system construction in Ha... |
108
click to vote
TASE
2009
IEEE
15 years 8 months ago
2009
IEEE
—Formal verification of low-level programs often requires explicit reasoning and specification of runtime stacks. Treating stacks naively as parts of ordinary heaps can lead to...
132
click to vote
ER
2009
Springer
14 years 11 months ago
2009
Springer
: Conceptual modelling is a widely applied practice and has led to a large body of knowledge on constructs that might be used for modelling and on methods that might be useful for ...
DAGSTUHL
2003
15 years 2 months ago
2003
How an internal observer, that is not given any a priori knowledge or interpretation of what its sensors receives, learn to imitate seems a formidable issue from a viewpoint of a c...
122
click to vote
HOTOS
1999
IEEE
15 years 5 months ago
1999
IEEE
Wide-area distributed applications are frequently limited by the performance of Internet data transfer. We argue that the principle cause of this effect is the poor interaction be...
FSS
2006
15 years 1 months ago
2006
An implication operator A is said to be tied if there is a binary operation T that ties A; that is, the identity A(a, A(b, z)) = A(T (a, b), z) holds for all a, b, z. We aim at th...