4343 search results - page 166 / 869 » Replication Techniques for Availability |
147
click to vote
IJWMC
2006
15 years 6 months ago
2006
: We present a new distributed mechanism for tracking moving objects with a network of sensors. To track such objects efficiently and accurately, we need techniques that allow the ...
142
click to vote
JAR
2006
15 years 6 months ago
2006
We use some recent techniques from process algebra to draw several conclusions about the well studied class of ping-pong protocols introduced by Dolev and Yao. In particular we sho...
171
click to vote
ENTCS
2002
15 years 6 months ago
2002
We present a novel technique called comparison checking that helps optimizer writers debug optimizers by testing, for given inputs, that the semantics of a program are not changed...
142
click to vote
PVLDB
2008
15 years 6 months ago
2008
Beyond already existing huge data volumes, e-science communities face major challenges in managing the anticipated data deluge of forthcoming projects. Community-driven data grids...
290
click to vote
ALIFE
2011
14 years 10 months ago
2011
This project focuses on developing a flapping-wing hovering insect using 3D printed wings and mechanical parts. The use of 3D printing technology has greatly expanded the possibi...