8838 search results - page 1692 / 1768 » Generalizing Domain Theory |
SOSP
2003
ACM
14 years 6 months ago
2003
ACM
Diagnosing faults in the Internet is arduous and time-consuming, in part because the network is composed of diverse components spread across many administrative domains. We consid...
SOSP
2003
ACM
14 years 6 months ago
2003
ACM
Despite decades of research in extensible operating system technology, extensions such as device drivers remain a significant cause of system failures. In Windows XP, for example,...
SOSP
2005
ACM
14 years 6 months ago
2005
ACM
This paper presents the design and an evaluation of Mondrix, a version of the Linux kernel with Mondriaan Memory Protection (MMP). MMP is a combination of hardware and software th...
SOSP
2009
ACM
14 years 6 months ago
2009
ACM
Helios is an operating system designed to simplify the task of writing, deploying, and tuning applications for heterogeneous platforms. Helios introduces satellite kernels, which ...
CSCW
2010
ACM
14 years 5 months ago
2010
ACM
Online production groups have the potential to transform the way that knowledge is produced and disseminated. One of the most widely used forms of online production is the wiki, w...