1299 search results - page 9 / 260 » On the Correctness of Operating System Kernels |
USS
2004
15 years 6 months ago
2004
126
click to vote
CDC
2008
IEEE
15 years 7 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...
186
click to vote
COMPGEOM
2011
ACM
14 years 8 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...
151
click to vote
FPL
2007
Springer
15 years 11 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 ...