121 search results - page 21 / 25 » Using adaptive distinguishing sequences in checking sequence... |
RTAS
2011
IEEE
13 years 9 days ago
2011
IEEE
—In this paper, we propose two adaptive scheduling approaches to support real-time control applications with highly varying computation times. The use of a resource reservation s...
IEE
2010
13 years 7 months ago
2010
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...
IMR
2003
Springer
14 years 1 months ago
2003
Springer
We present a method for isotropic remeshing of arbitrary genus surfaces. The method is based on a mesh adaptation process, namely, a sequence of local modifications performed on ...
ECAL
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Is it possible to create a simple physical system that is capable of replicating itself? Can such a system evolve interesting behaviors, thus allowing it to adapt to a wi...
TSP
2008
13 years 8 months ago
2008
In this paper we concentrate on the direct semi-blind spatial equalizer design for MIMO systems with Rayleigh fading channels. Our aim is to develop an algorithm which can outperf...