10106 search results - page 1563 / 2022 » Algorithm Selection and Scheduling |
221
click to vote
SIGMETRICS
2008
ACM
15 years 6 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
172
click to vote
SIGPRO
2008
15 years 6 months ago
2008
In this paper, an improved approach to blind deconvolution of LTI systems incorporating phase unwrapping is presented. The method can recover a noise-free estimate of the logarith...
166
click to vote
JDA
2007
15 years 6 months ago
2007
In this paper, we address an optimization problem that arises in the context of cache placement in sensor networks. In particular, we consider the cache placement problem where th...
128
click to vote
TSP
2008
15 years 6 months ago
2008
Abstract--In this paper we present a GLRT-based adaptive detection algorithm for extended targets with improved rejection capabilities of mismatched signals. We assume that a set o...
174
click to vote
JSS
2007
15 years 6 months ago
2007
This paper reports security problems with improper implementations of an improved version of FEA-M (fast encryption algorithm for multimedia). It is found that an implementation-d...