678 search results - page 56 / 136 » The Theory of Weak Stabilization |
97
Voted
SIAMCO
2002
15 years 5 days ago
2002
The paper introduces a new detectability concept for continuous-time Markov jump linear systems with finite Markov space that generalizes previous concepts found in the literature....
86
Voted
MOR
2010
14 years 11 months ago
2010
We consider a communication network where each pair of users requests a connection guaranteeing a certain capacity. The cost of building capacity is identical across pairs. E cien...
103
Voted
MOC
2010
14 years 7 months ago
2010
Abstract. We propose a convergent implicit stabilized finite element discretization of the nonstationary incompressible magnetohydrodynamics equations with variable density, viscos...
118
Voted
ESOP
2011
Springer
14 years 4 months ago
2011
Springer
We present a static analysis by Abstract Interpretation to check for run-time errors in parallel C programs. Following our work on Astr´ee, we focus on embedded critical programs ...
88
Voted
CORR
2010
Springer
15 years 19 days ago
2010
Springer
This article studies the expressive power of finite automata recognizing sets of real numbers encoded in positional notation. We consider Muller automata as well as the restricted ...