2470 search results - page 315 / 494 » Liveness-Preserving Simulation Relations |
138
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— In this paper, we study the dynamics of a viral spreading process in random geometric graphs (RGG). The spreading of the viral process we consider in this paper is closely rela...
132
click to vote
HYBRID
2001
Springer
15 years 9 months ago
2001
Springer
An approach to estimation for a class of hybrid discrete-time linear systems using Luenberger observers is presented. The proposed Luenberger observer for such a kind of systems re...
131
click to vote
ICES
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. The exploitation of the physical characteristics has already been demonstrated in the intrinsic evolution of electronic circuits. This paper is an initial attempt at crea...
160
click to vote
IFIP
2001
Springer
15 years 9 months ago
2001
Springer
: One of the most important problems in SOC platforms design is that of defining strategies for tuning the parameters of a parameterized system so as to obtain the Pareto-optimal s...
148
click to vote
IWQOS
2001
Springer
15 years 9 months ago
2001
Springer
A novel algorithm for buffer management and packet scheduling is presented for providing loss and delay differentiation for traffic classes at a network router. The algorithm, cal...