53390 search results - page 70 / 10678 » Computer Systems Analysis |
115
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
— We give necessary and sufficient conditions, based on the existence of a Lyapunov functional, for the asymptotic stability of a square autonomous 2-D behavior in the sense of ...
119
click to vote
CONCUR
2000
Springer
15 years 6 months ago
2000
Springer
We introduce some new models of infinite-state transition systems. The basic model, called a (reversal-bounded) counter machine (CM), is a nondeterministic finite automaton augment...
116
Voted
SPIN
2004
Springer
15 years 7 months ago
2004
Springer
Hard real-time systems need methods to determine upper bounds for their execution times, usually called worst-case execution
112
click to vote
BMCBI
2004
15 years 2 months ago
2004
Background: Metabolic pathway analysis has been recognized as a central approach to the structural analysis of metabolic networks. The concept of elementary (flux) modes provides ...
232
click to vote
JUCS
2002
15 years 2 months ago
2002
: The research belonging to the Abstract State Machines approach to system design and analysis is surveyed and documented in an annotated ASM bibliography. The survey covers the pe...