1299 search results - page 74 / 260 » On the Correctness of Operating System Kernels |
121
click to vote
JCS
1998
15 years 3 months ago
1998
Multilevel transactions have been proposed for multilevel secure databases; in contrast to most proposals, such transactions allow users to read and write across multiple security...
118
click to vote
ICPP
2002
IEEE
15 years 9 months ago
2002
IEEE
As organizations begin to deploy large computational grids, it has become apparent that systems for observation and control of the resources, services, and applications that make ...
241
click to vote
LCTRTS
2005
Springer
15 years 9 months ago
2005
Springer
Short vector (SIMD) instructions are useful in signal processing, multimedia, and scientific applications. They offer higher performance, lower energy consumption, and better res...
131
click to vote
OTM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Protocols that govern the interactions between software components are a popular means to support the construction of correct component-based systems. Previous studies ha...
128
click to vote
HIPS
1998
IEEE
15 years 8 months ago
1998
IEEE
The NPAC kernel runtime, developed in the PCRC Parallel Compiler Runtime Consortium project, is a runtime library with special support for the High Performance Fortran data model....