108 search results - page 13 / 22 » Enforcing structural regularities in software using IntensiV... |
100
click to vote
ACMICEC
2007
ACM
15 years 1 months ago
2007
ACM
Norms defined by institutions and enforced by organizations have been put forward as a mechanism to increase the efficiency and reliability of electronic transactions carried out ...
102
Voted
HIPC
2007
Springer
15 years 1 months ago
2007
Springer
First Come First Served (FCFS) is a policy that is accepted for implementing fairness in a number of application domains such as scheduling in Operating Systems, scheduling web req...
SOSP
2005
ACM
15 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
1997
ACM
14 years 10 months ago
1997
ACM
Implementing new operating systems is tedious, costly, and often impractical except for large projects. The Flux OSKit addresses this problem in a novel way by providing clean, we...
ICSE
2005
IEEE-ACM
15 years 9 months ago
2005
IEEE-ACM
We present Binary Refactoring: a software engineering technique for improving the implementation of programs without modifying their source code. While related to regular refactor...