10901 search results - page 1720 / 2181 » Approximations in Distributed Optimization |
210
click to vote
HOTOS
2003
IEEE
16 years 29 days ago
2003
IEEE
Peer-to-peer storage aims to build large-scale, reliable and available storage from many small-scale unreliable, low-availability distributed hosts. Data redundancy is the key to ...
196
click to vote
ISCC
2003
IEEE
16 years 28 days ago
2003
IEEE
The efficient use of network capacity strongly depends upon the path selection procedure. In this paper we propose and evaluate efficient path selection algorithms for survivable ...
233
click to vote
ISMAR
2003
IEEE
16 years 28 days ago
2003
IEEE
ARToolKit programmers are familiar with the kanji symbols supplied with the distribution. Most of them have do not know what these kanji symbols mean. We propose a piece of educat...
170
click to vote
KBSE
2003
IEEE
16 years 28 days ago
2003
IEEE
We propose a practical parallel on-the-fly algorithm for enumerative LTL model-checking. The algorithm is designed for a cluster of workstations communicating via MPI. The detect...
212
click to vote
ERLANG
2003
ACM
16 years 27 days ago
2003
ACM
VoDKA is a Video-on-Demand server developed using Erlang/OTP. In this paper, the evolution of the core architecture of the system, designed for improving resource modelling, is de...