887 search results - page 18 / 178 » A pattern-based approach to model software performance |
SPLC
2007
13 years 8 months ago
2007
Systems such as adaptative and context–aware ones must adapt themselves to changing requirements at runtime. Modeling and implementing this kind of systems is a difficult opera...
SPIN
1999
Springer
13 years 11 months ago
1999
Springer
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
CISIS
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract—Performance is a key feature of large-scale computing systems. However, the achieved performance when a certain program is executed is significantly lower than the maxi...
FTDCS
1999
IEEE
13 years 11 months ago
1999
IEEE
The process of component integrationfor distributed application sofrware development requires identifying the candidate components and performing compatibility checks based on the...
IEEEPACT
2007
IEEE
14 years 1 months ago
2007
IEEE
With the advent of chip-multiprocessors, we are faced with the challenge of parallelizing performance-critical software. Transactional memory (TM) has emerged as a promising progr...