2661 search results - page 149 / 533 » Model Checking Performability Properties |
165
click to vote
ICPP
2006
IEEE
16 years 14 days 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...
177
click to vote
ICC
1997
IEEE
15 years 10 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...
286
click to vote
POPL
2007
ACM
16 years 6 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 ...
167
click to vote
WCNC
2008
IEEE
16 years 24 days 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...
171
click to vote
WOSP
2004
ACM
15 years 12 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...