2278 search results - page 29 / 456 » Specification Techniques for Automatic Performance Analysis ... |
102
click to vote
WOSP
2004
ACM
2004
ACM
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering
15 years 3 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...
BCS
2008
14 years 11 months ago
2008
Dependable systems evolution has been identified by the UK Computing Research Committee (UKCRC) as one of the current grand challenges for computer science. We present work toward...
CGO
2005
IEEE
15 years 3 months ago
2005
IEEE
Program execution traces are frequently used in industry and academia. Yet, most trace-compression algorithms have to be re-implemented every time the trace format is changed, whi...
MASCOTS
1994
14 years 11 months ago
1994
Over the last two decades a considerable amount of effort has been put in the development and application of matrix geometric techniques for the analysis of queueing systems of wh...
ICPP
1993
IEEE
15 years 1 months ago
1993
IEEE
: This paper presents a Data-Distributed Execution approach that exploits interation-level parallelism in loops operating over arrays. It performs data-dependency analysis, based o...