10392 search results - page 1666 / 2079 » Introduction to Computer Science |
210
click to vote
ICALP
2003
Springer
16 years 10 hour ago
2003
Springer
Many protocols are designed to operate correctly even in the case where the underlying communication medium is faulty. To capture the behaviour of such protocols, lossy channel sy...
173
click to vote
ICMI
2003
Springer
16 years 7 hour ago
2003
Springer
We present methods for inferring the cost of interrupting users based on multiple streams of events including information generated by interactions with computing devices, visual ...
134
click to vote
ICS
2003
Tsinghua U.
16 years 6 hour ago
2003
Tsinghua U.
In this paper we study four approaches to conserving disk energy in high-performance network servers. The first approach is to leverage the extensive work on laptop disks and pow...
183
click to vote
ICS
2003
Tsinghua U.
16 years 6 hour ago
2003
Tsinghua U.
With the increasing popularity of small to large-scale symmetric multiprocessor (SMP) systems, there has been a dire need to have sophisticated, and flexible development and runt...
151
click to vote
ICS
2003
Tsinghua U.
16 years 6 hour ago
2003
Tsinghua U.
This paper performs a comprehensive investigation of dynamic selection for long atomic traces. It introduces a classification of trace selection methods and discusses existing and...