362 search results - page 56 / 73 » Mechanizing and Improving Dependency Pairs |
PDP
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—The increasing number of cores per node in highperformance computing requires an efficient intra-node MPI communication subsystem. Most existing MPI implementations rel...
DSN
2009
IEEE
14 years 2 months ago
2009
IEEE
This work explores the principles and practice of isolating low-level device drivers in order to improve OS dependability. In particular, we explore the operations drivers can per...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
— The quality of end-to-end services over wireless communication networks highly depends on the error characteristics of the wireless links. By utilizing the link error character...
MSS
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper presents the RAM Enhanced Disk Cache Project, REDCAP, a new cache of disk blocks which reduces the read I/O time by using a small portion of the main memory. The essent...
ECUMN
2007
Springer
14 years 1 months ago
2007
Springer
The Datagram Congestion Control Protocol (DCCP) has been proposed as a transport protocol which supports real-time traffic. In this paper, we focus on the use of DCCP/CCID3 (Cong...