6014 search results - page 102 / 1203 » Parametric Analysis of Computer Systems |
129
click to vote
CDC
2009
IEEE
15 years 7 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...
114
Voted
CONPAR
1992
15 years 6 months ago
1992
A major feature of Computer Algebra, and more generally of non-numerical computations, is the dynamical and non-predictable behaviour of the executions. We then understand that st...
79
Voted
ISCAS
2006
IEEE
15 years 8 months ago
2006
IEEE
— In this paper a methodology to the analysis of bifurcations of variable structure systems is proposed. This methodology, based on the use of symbolic computation packages, is d...
115
click to vote
GI
2009
Springer
15 years 7 months ago
2009
Springer
Abstract: Free theorems establish interesting properties of parametrically polymorphic functions, solely from their types, and serve as a nice proof tool. For pure and lazy functio...
111
Voted
BIRTHDAY
2000
Springer
15 years 7 months ago
2000
Springer
The axiom system ACP of [10] was extended to discrete time in [6]. Here, we proceed to define the silent step in this theory in branching bisimulation semantics [7, 15] rather th...