1362 search results - page 64 / 273 » Means, Correlations and Bounds |
301
click to vote
ACTA
2011
14 years 8 months ago
2011
A simple mutual exclusion algorithm is presented that only uses nonatomic shared variables of bounded size, and that satisfies bounded overtaking. When the shared variables behave...
103
click to vote
CODES
2006
IEEE
15 years 7 months ago
2006
IEEE
Time-critical multi-processor systems require guaranteed services in terms of throughput, bandwidth etc. in order to comply to hard real-time constraints. However, guaranteedservi...
114
click to vote
ICPR
2000
IEEE
15 years 6 months 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...
116
click to vote
ASIACRYPT
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. The generic (aka. black-box) group model is a valuable methodology for analyzing the computational hardness of number-theoretic problems used in cryptography. Since the p...
110
click to vote
CORR
2008
Springer
15 years 1 months ago
2008
Springer
The methods used to establish PSPACE-bounds for modal logics can roughly be grouped into two classes: syntax driven methods establish that exhaustive proof search can be performed...