1357 search results - page 107 / 272 » Compositional analysis for linear systems |
CDC
2010
IEEE
13 years 5 months ago
2010
IEEE
It is shown that the queuing delay involved in the congestion control algorithm is state-dependent and does not depend on the current time. Then, using an accurate formulation for ...
CORR
2011
Springer
13 years 5 months ago
2011
Springer
This paper introduces a new method for proving global stability of fluid flows through the construction of Lyapunov functionals. For finite dimensional approximations of fluid...
CCECE
2009
IEEE
14 years 5 months ago
2009
IEEE
This paper presents an automata-based approach for analyzing traces generated by the kernel of an operating system. We identified a list of typical patterns of problematic behavi...
DATE
2008
IEEE
14 years 5 months ago
2008
IEEE
A new approach to analyze injection locking mode of oscillators under small external excitation is proposed. The proposed approach exploits existence conditions of the solution of...
IMCSIT
2010
13 years 8 months ago
2010
The authors consider the impact of the structure of the matrix on the convergence behavior for the GMRES projection method for solving large sparse linear equation systems resultin...