1878 search results - page 53 / 376 » Efficient Performance Models in Component-Based Software Eng... |
117
Voted
SEM
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. A challenging software engineering problem is the design and implementation of component-based (CB) applications that can meet specified performance requirements. Our PPC...
108
Voted
CC
2005
Springer
15 years 8 months ago
2005
Springer
Modern processors’ multimedia extensions (MME) provide SIMD ISAs to boost the performance of typical operations in multimedia applications. However, automatic vectorization suppo...
128
Voted
APSEC
2005
IEEE
15 years 4 months ago
2005
IEEE
Many software systems are developed in a number of consecutive releases. Each new release does not only add new code but also modifies already existing one. In this study we have ...
113
Voted
COMPGEOM
2001
ACM
15 years 6 months ago
2001
ACM
This paper addresses the problem of lossy compression of arrangements. Given an arrangement of n lines in the plane, we show how to construct another arrangement consisting of man...
130
Voted
ISSTA
1998
ACM
15 years 6 months ago
1998
ACM
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...