42507 search results - page 161 / 8502 » On the analysis of |
181
click to vote
ICSM
2003
IEEE
15 years 12 months ago
2003
IEEE
Function point analysis is a well known established method to estimate the size of software systems and software projects. However, because it is based on functional documentation...
135
click to vote
ISCAS
2003
IEEE
2003
IEEE
Bifurcation analysis of a power-factor-correction boost converter: uncovering fast-scale instability
15 years 12 months ago
Bifurcation analysis is performed to a power-factor-correction (PFC) boost converter to examine the fast-scale instability problem. Computer simulations and analysis reveal the po...
149
click to vote
ESOP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. A goal-independent suspension analysis is presented that infers a class of goals for which a logic program with delays can be executed without suspension. The crucial poi...
205
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
We present a semantics for fault tree analysis, a technique used for the analysis of safety critical systems, in the real-time interval logic Duration Calculus with Liveness and sh...
187
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper proposes a novel stability analysis of linear systems with sampled-data inputs. Inspired by the inputdelay approach and the stability of impulsive systems, this meth...