5376 search results - page 114 / 1076 » Scalable Kernel Systems |
136
click to vote
ICPP
2009
IEEE
16 years 1 months ago
2009
IEEE
—We present an inter-architectural comparison of single- and double-precision direct n-body implementations on modern multicore platforms, including those based on the Intel Neha...
154
click to vote
KI
2001
Springer
15 years 10 months ago
2001
Springer
This paper describes the DiKe model-based diagnosis framework, which incorporates multiple diagnosis engines, multiple user-level system description languages, a theorem prover, an...
159
click to vote
SOSP
1989
ACM
15 years 7 months ago
1989
ACM
This paper reports our experiences implementing remote procedure call (RPC) protocols in the x-kernel. This exercise is interesting because the RPC protocols exploit two novel des...
185
click to vote
AFRIGRAPH
2007
ACM
15 years 10 months ago
2007
ACM
Nowadays, many commercial CAD systems are built on proprietary geometric kernels which provide an API containing a set of high level geometric operations (boolean operations, slot...
132
click to vote
HOTOS
2003
IEEE
15 years 11 months ago
2003
IEEE
Cerium is a trusted computing architecture that protects a program’s execution from being tampered while the program is running. Cerium uses a physically tamperresistant CPU and...