11 search results - page 2 / 3 » Reliable Software Systems Design: Defect Prevention, Detecti... |
ERLANG
2007
ACM
13 years 9 months ago
2007
ACM
We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...
DSN
2007
IEEE
14 years 2 days ago
2007
IEEE
Studies have shown that device drivers and extensions contain 3–7 times more bugs than other operating system code and thus are more likely to fail. Therefore, we present a fail...
SOSP
2005
ACM
14 years 2 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...
DAC
2007
ACM
14 years 6 months ago
2007
ACM
Many embedded systems contain resource constrained microcontrollers where applications, operating system components and device drivers reside within a single address space with no...
IWIA
2005
IEEE
13 years 11 months ago
2005
IEEE
Malware defenses have primarily relied upon intrusion fingerprints to detect suspicious network behavior. While effective for discovering computers that are already compromised,...