285 search results - page 45 / 57 » Improving the reliability of commodity operating systems |
HASKELL
2006
ACM
15 years 3 months 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...
EUROSYS
2007
ACM
15 years 6 months ago
2007
ACM
The major chip manufacturers have all introduced chip multiprocessing (CMP) and simultaneous multithreading (SMT) technology into their processing units. As a result, even low-end...
ASPLOS
2010
ACM
15 years 4 months ago
2010
ACM
A large number of user requests execute (often concurrently) within a server system. A single request may exhibit fluctuating hardware characteristics (such as instruction comple...
SYSTOR
2009
ACM
15 years 4 months ago
2009
ACM
A typical storage hierarchy comprises of components with varying performance and cost characteristics, providing multiple options for data placement. We propose and evaluate a hie...
SRDS
2007
IEEE
15 years 4 months ago
2007
IEEE
Constructing logical machines out of collections of physical machines is a well-known technique for improving the robustness and fault tolerance of distributed systems. We present...