4276 search results - page 604 / 856 » Computability of Probability Distributions and Distribution ... |
141
Voted
ICDCS
1995
IEEE
15 years 8 months ago
1995
IEEE
: A general purpose group communication protocol suite called Newtop is described. It is assumed that processes can simultaneously belong to many groups, group size could be large,...
144
click to vote
IRREGULAR
1995
Springer
15 years 8 months ago
1995
Springer
Dependencies between iterations of loop structures cannot always be determined at compile-time because they may depend on input data which is known only at run-time. A prime examp...
150
click to vote
REX
1991
15 years 8 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
144
click to vote
ICPR
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract--This paper proposes a method for estimating extrinsic camera parameters using video images and position data acquired by GPS. In conventional methods, the accuracy of the...
169
click to vote
CNHPCA
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Branch Prediction is a common function in nowadays microprocessor. Branch predictor is duplicated into multiple copies in each core of a multicore and many-core processor...