4666 search results - page 251 / 934 » Equations on Timed Languages |
157
click to vote
ISCAS
2006
IEEE
16 years 21 days ago
2006
IEEE
—We characterize the metastability measurement system [8] in which asynchronous data input and sampling clock frequencies trigger metastability. We develop the equation describin...
215
click to vote
QEST
2005
IEEE
16 years 7 days ago
2005
IEEE
In this paper we present a novel performance analysis technique for large-scale systems modelled in the stochastic process algebra PEPA. In contrast to the well-known approach of ...
147
click to vote
GECCO
2005
Springer
16 years 6 days ago
2005
Springer
In this paper, we describe the use of an evolutionary algorithm (EA) to solve dynamic control optimization problems in engineering. In this class of problems, a set of control var...
129
click to vote
ISSAC
2005
Springer
16 years 5 days ago
2005
Springer
In this article we propose a new symbolic-numeric algorithm to find positive equilibria of a n-dimensional dynamical system. This algorithm uses a symbolic manipulation of ODE in...
157
click to vote
VOSS
2004
Springer
16 years 12 hour ago
2004
Springer
Abstract. The paper presents a survey of out-of-core methods available for the analysis of large Markov chains on single workstations. First, we discuss the main sparse matrix stor...