2661 search results - page 149 / 533 » Model Checking Performability Properties |
136
Voted
ICPP
2006
IEEE
15 years 9 months ago
2006
IEEE
We present an analytic performance model of a largescale hydrodynamics code developed at Los Alamos National Laboratory. This modeling work is part of an ongoing effort to develop...
137
click to vote
ICC
1997
IEEE
15 years 8 months ago
1997
IEEE
: This paper performs issues relative to modeling of VBR MPEG coded video sources over ATM B-ISDN networks. Firstly, we analyse the statistical characteristics of the three types o...
235
Voted
POPL
2007
ACM
16 years 4 months ago
2007
ACM
In recent years we have seen great progress made in the area of automatic source-level static analysis tools. However, most of today's program verification tools are limited ...
127
Voted
WCNC
2008
IEEE
15 years 10 months ago
2008
IEEE
—Different types of power-saving techniques have been proposed in various fields to alleviate the limitation on the battery lifetime for the mobile stations (MSs). In order to p...
130
click to vote
WOSP
2004
ACM
15 years 9 months ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...