1299 search results - page 28 / 260 » On the Correctness of Operating System Kernels |
ER
2007
Springer
15 years 8 months ago
2007
Springer
Ensuring the semantic and topological correctness of spatial data is an important requirement in geographical information systems and spatial database systems in order to preserve ...
102
click to vote
IPPS
1993
IEEE
15 years 6 months ago
1993
IEEE
The performance of threads is limited primarily by the overhead of two kinds of switching: vertical switching (user/kernel domain switching) and horizontal switching (context swit...
207
click to vote
ASPLOS
2009
ACM
16 years 2 months ago
2009
ACM
A minimal, bounded hardware transactional memory implementation significantly improves synchronization performance when used in an operating system kernel. We add HTM to Linux 2.4...
122
click to vote
NOSSDAV
2001
Springer
15 years 6 months ago
2001
Springer
Operating system enhancements to support real-time and multimedia applications often include specializations and extensions of kernel functionality, as with the kernel HTTP daemon...
110
click to vote
USENIX
2003
15 years 3 months ago
2003
Read-copy update (RCU) allows lock-free read-only access to data structures that are concurrently modified on SMP systems. Despite the concurrent modifications, read-only access...