2508 search results - page 226 / 502 » An analytic approach to stability |
98
Voted
ICASSP
2011
IEEE
14 years 5 months ago
2011
IEEE
In our previous work we have proposed a dynamic version of the consensus propagation (CP) algorithm introduced by Moallemi and Van Roy. Here, we pursue a system theoretic approach...
132
click to vote
ESOP
2011
Springer
14 years 5 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 ...
105
click to vote
ICCV
2011
IEEE
14 years 1 months ago
2011
IEEE
In recent years polynomial solvers based on algebraic geometry techniques, and specifically the action matrix method, have become popular for solving minimal problems in computer...
132
click to vote
CMSB
2011
Springer
14 years 1 months ago
2011
Springer
Abstract. This paper tackles theoretically the question of the structural stability of biological regulation networks subjected to the influence of their environment. The model of...
203
click to vote
CAV
2012
Springer
13 years 4 months ago
2012
Springer
Abstract. BioModel Analyzer (bma) is a tool for modeling and analyzing biological networks. Designed with a lightweight graphical user interface, the tool facilitates usage for bio...