314 search results - page 15 / 63 » The Nachos Instructional Operating System |
TSE
2011
13 years 4 months ago
2011
— We present Bristlecone, a programming language for robust software systems. Bristlecone applications have two components: a high-level organization specification that describe...
SAMOS
2004
Springer
14 years 3 months ago
2004
Springer
— In this paper we present the Molen programming paradigm, which is a sequential consistency paradigm for programming Custom Computing Machines (CCM). The programming paradigm al...
ASM
2000
ASM
14 years 2 months ago
2000
ASM
Abstract. The Abstract State Machines (ASM) methodology is a methodology for formally specifying computing systems. We use the ASM methodology to give the dynamic semantics of the ...
ACSAC
2010
IEEE
13 years 8 months ago
2010
IEEE
Despite the numerous prevention and protection mechanisms that have been introduced into modern operating systems, the exploitation of memory corruption vulnerabilities still repr...
USENIX
2008
14 years 8 days ago
2008
Code sandboxing is useful for many purposes, but most sandboxing techniques require kernel modifications, do not completely isolate guest code, or incur substantial performance co...