Sciweavers

887 search results - page 37 / 178
» A pattern-based approach to model software performance
Sort
View
110
Voted
IEE
2010
136views more  IEE 2010»
14 years 11 months ago
Assume-guarantee verification of software components in SOFA 2 framework
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...
Pavel Parizek, Frantisek Plasil
96
Voted
AICCSA
2006
IEEE
121views Hardware» more  AICCSA 2006»
15 years 2 months ago
Software Defect Prediction Using Regression via Classification
In this paper we apply a machine learning approach to the problem of estimating the number of defects called Regression via Classification (RvC). RvC initially automatically discr...
Stamatia Bibi, Grigorios Tsoumakas, Ioannis Stamel...
107
Voted
EUROMICRO
2005
IEEE
15 years 6 months ago
Visual Assessment Techniques for Component-Based Framework Evolution
Many component models have been proposed to address the challenge of reducing software development time and costs. Such models often offer similar functionality. We study how deve...
Lucian Voinea, Alexandru Telea
RE
2007
Springer
15 years 6 months ago
Improving Performance Requirements Specifications from Field Failure Reports
Customer-reported field failures provide valuable information for the requirements of the next release. Without a systematic approach, the requirements of the next release may not...
Chih-Wei Ho, Laurie Williams, Annie I. Antó...
120
Voted
ICCS
2007
Springer
15 years 6 months ago
Middleware in Modern High Performance Computing System Architectures
A recent trend in modern high performance computing (HPC) system architectures employs “lean” compute nodes running a lightweight operating system (OS). Certain parts of the OS...
Christian Engelmann, Hong Ong, Stephen L. Scott