22358 search results - page 17 / 4472 » Software Performance Engineering |
CAISE
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. This paper uses a framework drawn from work in the philosophy of science to characterize the concepts of program correctness that have been used in software engineering, ...
CODES
2008
IEEE
14 years 4 months ago
2008
IEEE
MSE
2002
IEEE
14 years 2 months ago
2002
IEEE
This paper presents the study of running several core multimedia applications on a simultaneous multithreading (SMT) architecture and derives design principles for multimedia soft...
WOSP
2004
ACM
14 years 3 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...
ICMS
2010
13 years 8 months ago
2010
Abstract. Most optimization software performs numerical computation, in the sense that the main interest is to find numerical values to assign to the decision variables, e.g. a so...