181 search results - page 26 / 37 » Code Compaction of an Operating System Kernel |
109
click to vote
CCS
2003
ACM
15 years 5 months ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
119
Voted
FAST
2009
14 years 10 months ago
2009
Most application provenance systems are hard coded for a particular type of system or data, while current provenance file systems maintain in-memory provenance graphs and reside i...
113
click to vote
CIMAGING
2009
15 years 1 months ago
2009
Space-varying convolution often arises in the modeling or restoration of images captured by optical imaging systems. For example, in applications such as microscopy or photography...
IJCNN
2006
IEEE
15 years 6 months ago
2006
IEEE
—The AURA k-Nearest Neighbour classifier associates binary input and output vectors, forming a compact binary Correlation Matrix Memory (CMM). For a new input vector, matching ve...
117
Voted
USENIX
2001
15 years 1 months ago
2001
While the virtual memory management in Linux 2.2 has decent performance for many workloads, it suffers from a number of problems. The first part of this paper contains a descripti...