1299 search results - page 169 / 260 » On the Correctness of Operating System Kernels |
186
click to vote
USENIX
2007
15 years 8 months ago
2007
Current disk prefetch policies in major operating systems track access patterns at the level of the file abstraction. While this is useful for exploiting application-level access...
296
click to vote
OSDI
2008
ACM
16 years 6 months ago
2008
ACM
Efficiently managing storage is important for virtualized computing environments. Its importance is magnified by developments such as cloud computing which consolidate many thousa...
172
click to vote
HASKELL
2006
ACM
16 years 10 days ago
2006
ACM
Modern functional languages offer several attractive features to support development of reliable and secure software. However, in our efforts to use Haskell for systems programmin...
177
click to vote
ASPLOS
1987
ACM
15 years 9 months ago
1987
ACM
This paper describes the design and implementation of virtual memory management within the CMU Mach Operating System and the experiences gained by the Mach kernel group in porting...
190
click to vote
CAISE
2007
Springer
16 years 16 days ago
2007
Springer
Data cleaning is the process of correcting anomalies in a data source, that may for instance be due to typographical errors, or duplicate representations of an entity. It is a cruc...