5376 search results - page 114 / 1076 » Scalable Kernel Systems |
82
Voted
ICPP
2009
IEEE
15 years 7 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...
99
Voted
KI
2001
Springer
15 years 5 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...
106
click to vote
SOSP
1989
ACM
15 years 1 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...
119
Voted
AFRIGRAPH
2007
ACM
15 years 4 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...
HOTOS
2003
IEEE
15 years 6 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...