329 search results - page 32 / 66 » Metrology, Measurement and Metrics in Software Engineering |
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
We investigate relationships among software quality measures commonly used to assess the value of a technology, and several aspects of customer perceived quality measured by Inter...
ISESE
2006
IEEE
14 years 3 months ago
2006
IEEE
We consider empirical evaluation of the availability of the deployed software. Evaluation of real systems is more realistic, more accurate, and provides higher level of confidenc...
EMSOFT
2011
Springer
12 years 8 months ago
2011
Springer
Motivated by improvements in constraint-solving technology and by the increase of routinely available computational power, partial-program synthesis is emerging as an effective a...
ACMMSP
2004
ACM
14 years 2 months ago
2004
ACM
Irregular applications frequently exhibit poor performance on contemporary computer architectures, in large part because of their inefficient use of the memory hierarchy. Runtime ...
PASTE
2005
ACM
14 years 2 months ago
2005
ACM
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...