1299 search results - page 118 / 260 » On the Correctness of Operating System Kernels |
141
click to vote
ERSA
2008
15 years 6 months ago
2008
This paper presents an accelerator for k-th nearest neighbor thinning, a run time intensive algorithmic kernel used in recent multi-objective optimizers. We discuss the thinning al...
154
Voted
PDPTA
2004
15 years 6 months ago
2004
This paper presents the design and performance of remote disk drivers for clusters of Commodity-Off-The-Shelf PCs that fetch disk blocks over System Area Networks. The driver offe...
185
click to vote
CIDR
2011
14 years 8 months ago
2011
The Deuteronomy system supports efficient and scalable ACID transactions in the cloud by decomposing functions of a database storage engine kernel into: (a) a transactional compon...
126
click to vote
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
The Distributed Virtual Communication Machine (DVCM) is a software communication architecture for clusters of workstations equipped with programmable network interfaces (NIs) for ...
146
click to vote
VL
1998
IEEE
15 years 8 months ago
1998
IEEE
We report on the development of a visual programming environment for building applications for execution on a range of parallel computing platforms. This work exploits the dataflo...