3579 search results - page 194 / 716 » Transformations of software models into performance models |
127
click to vote
ICFEM
2007
Springer
15 years 11 months ago
2007
Springer
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
179
click to vote
SEKE
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents a state-based approach to testing aspect-oriented programs. Aspectual state models, as an extension to the testable FREE state model of classes, are exploited ...
148
click to vote
ECMDAFA
2006
Springer
15 years 7 months ago
2006
Springer
In this paper we present a methodology supporting the definition of data models on basis of a limited set of well-known UML features, thereby allowing these models to be created an...
159
click to vote
CASES
2010
ACM
15 years 1 months ago
2010
ACM
Approximate arithmetic is a promising, new approach to lowenergy designs while tackling reliability issues. We present a method to optimally distribute a given energy budget among...
147
click to vote
QOSA
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In enterprise application development and other software construction projects, a critical success factor is to make sound architectural decisions. Text templates and too...