1299 search results - page 162 / 260 » On the Correctness of Operating System Kernels |
170
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
Abstract. The Navy needs to use Multi Level Security (MLS) techniques in an environment with increasing amount of real time computation brought about by increased automation requir...
128
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
For a number of years, dataflow concepts have provided designers of digital signal processing systems with environments capable of expressing high-level software architectures as ...
169
click to vote
IEEEARES
2009
IEEE
16 years 1 months ago
2009
IEEE
— Researchers and practitioners in computer forensics currently must base their analysis on information that is either incomplete or produced by tools that may themselves be comp...
139
click to vote
ISCA
2005
IEEE
16 years 2 days ago
2005
IEEE
Performance asymmetry in multicore architectures arises when individual cores have different performance. Building such multicore processors is desirable because many simple cores...
181
click to vote
CCGRID
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents Cluster-Aware Remote Disks (CARDs), a Single System I/O architecture for cluster computing. CARDs virtualize accesses to remote cluster disks over a System Are...