3638 search results - page 561 / 728 » HEP@Home - A distributed computing system based on BOINC |
71
Voted
CONCUR
2007
Springer
15 years 2 months ago
2007
Springer
We re-examine vacuity in temporal logic model checking. We note two disturbing phenomena in recent results in this area. The first indicates that not all vacuities detected in prac...
92
Voted
ICDCS
2010
IEEE
15 years 2 months ago
2010
IEEE
: This paper presents a Least Popularly Used buffer cache algorithm to exploit both temporal locality and content locality of I/O requests. Popular data blocks are selected as refe...
86
Voted
CW
2004
IEEE
15 years 2 months ago
2004
IEEE
This paper shows new algorithms and the implementations of image reorganization for EAN/QR barcodes in mobile phones. The mobile phone system used here consists of a camera, mobil...
78
Voted
ICDCS
1995
IEEE
15 years 1 months ago
1995
IEEE
Protocols that provide reliable communicationon top of a network that can lose packets rely on periodically retransmitting packets. The choice of retransmission timeout critically...
104
Voted
CCGRID
2005
IEEE
15 years 6 days ago
2005
IEEE
Given the heterogeneous nature of biological data and their intensive use in many tools, in this paper we propose a semantic data access and integration (DAI) service, based on th...