985 search results - page 21 / 197 » A Caching Model of Operating System Kernel Functionality |
79
Voted
DATE
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper presents a task scheduling method for reliable cache architectures (RCAs) of multiprocessor systems. The RCAs dynamically switch their operation modes for reducing the ...
108
Voted
JMLR
2010
14 years 8 months ago
2010
Virtually all methods of learning dynamic systems from data start from the same basic assumption: the learning algorithm will be given a sequence of data generated from the dynami...
119
click to vote
ASPLOS
2006
ACM
15 years 7 months ago
2006
ACM
Virtualization is increasingly being used to address server management and administration issues like flexible resource allocation, service isolation and workload migration. In a...
111
Voted
WISA
2007
Springer
15 years 8 months ago
2007
Springer
Multilevel security policies aim at only confidentiality assurance, with less consideration on integrity assurance and weakness in expressing channel control policies. Besides, the...
86
Voted
CADE
2008
Springer
16 years 2 months ago
2008
Springer
Abstract. Operating-system verification gains increasing research interest. The complexity of such systems is, however, challenging and many endeavors are limited in some respect: ...