825 search results - page 88 / 165 » Internal Iteration Externalized |
PODC
2011
ACM
12 years 10 months ago
2011
ACM
: Analyzing Consistency Properties for Fun and Profit Wojciech Golab, Xiaozhou Li, Mehul A. Shah HP Laboratories HPL-2011-6 data consistency, algorightms, key-value stores Moti...
CORR
2012
Springer
12 years 3 months ago
2012
Springer
The paper describes the refinement algorithm for the Calculus of (Co)Inductive Constructions (CIC) implemented in the interactive theorem prover Matita. The refinement algorithm ...
ICPR
2000
IEEE
14 years 9 days ago
2000
IEEE
This paper presents a new technique for approximating range images by means of adaptive triangular meshes with a bounded approximation error and without applying optimization. Thi...
TSP
2012
12 years 3 months ago
2012
—Despite that underwater acoustic channels are well known to contain various interferences, research on interference mitigation in underwater acoustic communications has been ver...
IPSN
2010
Springer
14 years 2 months ago
2010
Springer
Troubleshooting unresponsive sensor nodes is a significant challenge in remote sensor network deployments. This paper introduces the tele-diagnostic powertracer, an in-situ troub...