Sciweavers

684 search results - page 22 / 137
» Improving software quality using statistical testing techniq...
Sort
View
ISSTA
1996
ACM
13 years 11 months ago
Predicting Dependability by Testing
In assessing the quality of software, we would like to make engineering judgements similar to those based on statistical quality control. Ideally, we want to support statements li...
Richard G. Hamlet
DAC
1998
ACM
14 years 8 months ago
Efficient Coloring of a Large Spectrum of Graphs
We have developed a new algorithm and software for graph coloring by systematically combining several algorithm and software development ideas that had crucial impact on the algor...
Darko Kirovski, Miodrag Potkonjak
QOSA
2010
Springer
13 years 5 months ago
A Hybrid Approach for Multi-attribute QoS Optimisation in Component Based Software Systems
Design decisions for complex, component-based systems impact multiple quality of service (QoS) properties. Often, means to improve one quality property deteriorate another one. In ...
Anne Martens, Danilo Ardagna, Heiko Koziolek, Raff...
ICIP
2005
IEEE
14 years 9 months ago
No-reference video quality metric based on artifact measurements
In this paper we present a no-reference video quality metric based on individual measurements of three artifacts: blockiness, blurriness, and noisiness. The set of artifact metric...
Mylene Christine Queiroz de Farias, Sanjit K. Mitr...
CASCON
2007
1035views Education» more  CASCON 2007»
13 years 9 months ago
An IDE for software development using tabular expressions
We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...
Dennis K. Peters, Mark Lawford, Baltasar Tranc&oac...