1299 search results - page 163 / 260 » On the Correctness of Operating System Kernels |
182
click to vote
CLUSTER
2001
IEEE
15 years 10 months ago
2001
IEEE
The Virtual Interface Architecture (VIA) is an industry standard user-level communication architecture for system area networks. The VIA provides a protected, directlyaccessible i...
208
click to vote
SGP
2004
15 years 9 months ago
2004
Providing a thorough mathematical foundation, multiresolution modeling is the standard approach for global surface deformations that preserve fine surface details in an intuitive ...
150
click to vote
COMPSEC
2006
15 years 6 months ago
2006
Operating System fingerprinting is a reconnaissance method which can be used by attackers or forensic investigators. It identifies a system's identity by observing its respon...
159
click to vote
SIGOPS
2008
15 years 6 months ago
2008
Virtual private servers and application checkpoint and restart are two advanced operating system features which place different but related requirements on the way kernel-provided...
154
click to vote
PPOPP
2010
ACM
16 years 3 months ago
2010
ACM
We present a core calculus with two of X10's key constructs for parallelism, namely async and finish. Our calculus forms a convenient basis for type systems and static analys...