2144 search results - page 67 / 429 » Exact Flow Analysis |
142
Voted
CORR
2011
Springer
14 years 11 months ago
2011
Springer
This paper introduces a new method for proving global stability of fluid flows through the construction of Lyapunov functionals. For finite dimensional approximations of fluid...
INFOCOM
2011
IEEE
14 years 7 months ago
2011
IEEE
167
click to vote
QEST
2005
IEEE
15 years 9 months 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 ...
150
Voted
BPM
2000
Springer
15 years 7 months ago
2000
Springer
Workflow management systems facilitate the everyday operation of business processes by taking care of the logistic control of work. In contrast to traditional information systems, ...
118
Voted
SAS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Properties of programs can be formulated using various techdataflow analysis, abstract interpretation and type-like inference systems. This paper reconstructs strictness...