368 search results - page 33 / 74 » Compositional performance modelling with the TIPPtool |
FDL
2005
IEEE
15 years 3 months ago
2005
IEEE
Abstract. With this paper we intend to present a brief overview of the current means to describe architecture in different standards. We cover AADL as an example of Architecture De...
109
click to vote
WSC
1997
14 years 11 months ago
1997
In this paper we compare the average performance of Monte Carlo methods for global optimization with non-adaptive deterministic alternatives. We analyze the behavior of the algori...
128
click to vote
CC
2008
Springer
14 years 11 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...
ICCAD
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract— This paper addresses the problem of solving finite word-length (bit-vector) arithmetic with applications to equivalence verification of arithmetic datapaths. Arithmet...
CAISE
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Specification of systems in a software product line (product-line members) is often supported by domain-specific languages (DSLs) that provide pownguage abstractions for ...