4520 search results - page 27 / 904 » Algebraic Techniques for Timed Systems |
101
click to vote
SIGMETRICS
2000
ACM
15 years 1 months ago
2000
ACM
Motivated by experience gained during the validation of a recent Approximate Mean Value Analysis (AMVA) model of modern shared memory architectures, this paper re-examines the &qu...
119
click to vote
DICTA
2003
15 years 3 months ago
2003
This paper describes a new technique for free-form object segmentation from a single arbitrary-viewed range image. The aim is to derive a surface description of objects that may va...
100
click to vote
RTSS
1999
IEEE
15 years 6 months ago
1999
IEEE
The e ective design of composite dependable and real-time protocols entails demonstrating their proof of correctness and, in practice, the e cient delivery of services. We focus o...
102
click to vote
SIAMSC
2010
15 years 3 days ago
2010
Abstract. Several innovative random-sampling and random-mixing techniques for solving problems in linear algebra have been proposed in the last decade, but they have not yet made a...
108
click to vote
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
In this paper we analyze the problem of estimating a function from different noisy data sets collected by spatially distributed sensors and subject to unknown temporal shifts. We p...