853 search results - page 33 / 171 » Delimited Continuations in Operating Systems |
TSMC
2008
13 years 9 months ago
2008
Stochastic hybrid system (SHS) models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reacha...
ESOP
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. In this article, we present a model and a denotational semantics for hybrid systems. Our model is designed to be used for the verification of large, existing embedded app...
AIPS
2008
14 years 19 hour ago
2008
When controlling an autonomous system, it is inefficient or sometimes impossible for the human operator to specify detailed commands. Instead, the field of AI autonomy has develop...
USS
2008
14 years 18 hour ago
2008
As the Internet grows and network bandwidth continues to increase, administrators are faced with the task of keeping confidential information from leaving their networks. Today�...
EUROSYS
2010
ACM
14 years 6 months ago
2010
ACM
We propose a mechanism that allows applications to survive operating system kernel crashes and continue functioning with no application data loss after a system reboot. This mecha...