5376 search results - page 48 / 1076 » Scalable Kernel Systems |
119
Voted
MST
2007
15 years 1 days ago
2007
In this paper we consider the computation of reachable, viable and invariant sets for discrete-time systems. We use the framework of type-two effectivity, in which computations a...
EUROSYS
2010
ACM
15 years 9 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...
109
click to vote
EUROSYS
2010
ACM
15 years 5 months ago
2010
ACM
In this paper, we present a mechanism that allows applications to survive operating system kernel crashes and continue functioning with no application data loss after a system reb...
127
Voted
IADIS
2008
15 years 2 months ago
2008
Building semantics concepts into the learning tools and utilities will open the road for the next generation of the Learning Content Management System (LCMS). We propose here to n...
57
Voted
EUROSYS
2009
ACM
15 years 9 months ago
2009
ACM