2025 search results - page 180 / 405 » Software performance modelling using PEPA nets |
193
Voted
CC
2008
Springer
15 years 5 months ago
2008
Springer
The performance of heap analysis techniques has a significant impact on their utility in an optimizing compiler. Most shape analysis techniques perform interprocedural dataflow ana...
120
Voted
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
Statistical testing of software based on a usage model is a cost-effective and efficient means to make inferences about software quality. In order to apply this method, a usage m...
155
Voted
SQJ
2008
15 years 3 months ago
2008
- We present a comprehensive UML statechart diagram analysis framework. This framework allows one to progressively perform different analysis operations to analyze UML statechart d...
128
click to vote
VLSID
2003
IEEE
16 years 3 months ago
2003
IEEE
In this paper we present statistical timing driven hMetisbased partitioning. We approach timing driven partitioning from a different perspective: we use the statistical timing cri...
132
click to vote
DAC
1997
ACM
15 years 7 months ago
1997
ACM
A methodology for architecture exploration of look-up table based decoders is presented. For the degree of parallel processing a trade-off can be made by exploring system level an...