1299 search results - page 34 / 260 » On the Correctness of Operating System Kernels |
156
click to vote
COLT
1999
Springer
15 years 8 months ago
1999
Springer
—Support vector (SV) machines are linear classifiers that use the maximum margin hyperplane in a feature space defined by a kernel function. Until recently, the only bounds on th...
149
click to vote
AFRIGRAPH
2007
ACM
15 years 8 months ago
2007
ACM
Nowadays, many commercial CAD systems are built on proprietary geometric kernels which provide an API containing a set of high level geometric operations (boolean operations, slot...
231
click to vote
VTS
2011
IEEE
14 years 7 months ago
2011
IEEE
This paper proposes an adaptive multi-bit error correcting code for phase change memories that provides a manifold increase in the lifetime of phase change memories thereby making...
126
click to vote
USENIX
1994
15 years 5 months ago
1994
This paper presents a comprehensive design overview of the SunOS 5.4 kernel memory allocator. This allocator is based on a set of object-caching primitives that reduce the cost of...
129
click to vote
ICIP
2005
IEEE
16 years 5 months ago
2005
IEEE
Shift-invariant linear algorithms can be described completely by the algorithm's response to an impulse input. The so called impulse response can be used as filter kernels wh...