3652 search results - page 2 / 731 » A performance engineering tool and method for distributing a... |
WOSP
2004
ACM
2004
ACM
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering
13 years 11 months ago
Over the last decade, the relevance of performance evaluation in the early stages of the software development life-cycle has been steadily rising. We honestly believe that the int...
KBSE
1997
IEEE
13 years 10 months ago
1997
IEEE
Partial evaluation is an optimization technique traditionally used in compilation. We have adapted this technique to the understanding of scientic application programs during t...
SIGADA
2005
Springer
13 years 11 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
IPPS
1997
IEEE
13 years 10 months ago
1997
IEEE
Tools for parallel systems today range from specification over debugging to performance analysis and more. Typically, they help the programmers of parallel algorithms from the ea...
EPEW
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. Component-based software performance engineering (CBSPE) methods shall enable software architects to assess the expected response times, throughputs, and resource utiliza...