1299 search results - page 9 / 260 » On the Correctness of Operating System Kernels |
USS
2004
15 years 1 months ago
2004
USENIX
1996
15 years 1 months ago
1996
CDC
2008
IEEE
15 years 1 months ago
2008
IEEE
Abstract-- In this paper, we introduce the class of semiseparable kernel functions for use in constructing Lyapunov functions for distributed-parameter systems such as delaydiffere...
117
click to vote
COMPGEOM
2011
ACM
14 years 3 months ago
2011
ACM
We report on a generic uni- and bivariate algebraic kernel that is publicly available with Cgal 3.7. It comprises complete, correct, though efficient state-of-the-art implementati...
FPL
2007
Springer
15 years 5 months ago
2007
Springer
The effect of kernel operations on cache optimisations in a soft-core reconfigurable system is important for dynamic cache switching design. Considering kernel operations changes ...