1403 search results - page 81 / 281 » Quantitative Interprocedural Analysis |
QEST
2008
IEEE
14 years 5 months ago
2008
IEEE
Performance Trees are a unifying framework for the specification of performance queries involving measures and requirements. This paper describes an evaluation environment for Pe...
QEST
2007
IEEE
14 years 5 months ago
2007
IEEE
Dataflow models are often used for analysing streaming applications. The recently introduced scenario-aware extension of the synchronous dataflow model can capture the dynamism ...
DAGM
2003
Springer
14 years 4 months ago
2003
Springer
The use of 3D-polar coordinate representations of the RGB colour space is widespread, although many of these representations, such as HLS and HSV, have deficiencies rendering them...
ATVA
2008
Springer
14 years 24 days ago
2008
Springer
We show how fault injection together with recent advances in stochastic model checking can be combined to form a crucial ingredient for improving quantitative safety analysis. Base...
MVA
1994
14 years 3 days ago
1994
Image processing technology plays an important part in the analysis and evaluation of pavement surface cracking. The pattern recognition method for crack geometry proposed in this...