1299 search results - page 199 / 260 » On the Correctness of Operating System Kernels |
206
click to vote
FAST
2007
15 years 7 months ago
2007
Data ONTAP GX is a clustered Network Attached File server composed of a number of cooperating filers. Each filer manages its own local file system, which consists of a number of d...
236
click to vote
VEE
2012
ACM
14 years 1 months ago
2012
ACM
OS-level virtualization generates a minimal start-up and run-time overhead on the host OS and thus suits applications that require both good isolation and high efficiency. However...
132
click to vote
PERCOM
2005
ACM
16 years 5 months ago
2005
ACM
There is a recent trend toward rule-based authorization systems to achieve flexible security policies. Also, new sensing technologies in pervasive computing make it possible to de...
175
click to vote
ICCAD
2004
IEEE
16 years 3 months ago
2004
IEEE
New embedded systems offer rich power management features in the form of multiple operational and non-operational power modes. While they offer mechanisms for better energy effic...
173
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
Current trends in technology scaling foreshadow worsening transistor reliability as well as greater numbers of transistors in each system. The combination of these factors will so...