Sciweavers

2025 search results - page 65 / 405
» Software performance modelling using PEPA nets
Sort
View
92
Voted
PDSE
2000
71views more  PDSE 2000»
15 years 1 months ago
Early Evaluation of Design Options for Distributed Systems
In order to obtain efficiency, current practice in distributed software systems design often suffers from a lack of ion. An object-oriented design technique based on UML notations...
Holger Giese, Guido Wirtz
106
Voted
SAC
2010
ACM
15 years 7 months ago
Extraction of component-environment interaction model using state space traversal
Scalability of software engineering methods can be improved by application of the methods to individual components instead of complete systems. This is, however, possible only if ...
Pavel Parizek, Nodir Yuldashev
AMOST
2007
ACM
15 years 4 months ago
Using LTL rewriting to improve the performance of model-checker based test-case generation
Model-checkers have recently been suggested for automated software test-case generation. Several works have presented methods that create efficient test-suites using model-checker...
Gordon Fraser, Franz Wotawa
104
Voted
CISIS
2008
IEEE
15 years 7 months ago
Hybrid Performance Modeling and Prediction of Large-Scale Computing Systems
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...
Sabri Pllana, Siegfried Benkner, Fatos Xhafa, Leon...
113
Voted
ARCS
2009
Springer
15 years 7 months ago
Improving Memory Subsystem Performance Using ViVA: Virtual Vector Architecture
The disparity between microprocessor clock frequencies and memory latency is a primary reason why many demanding applications run well below peak achievable performance. Software c...
Joseph Gebis, Leonid Oliker, John Shalf, Samuel Wi...