3579 search results - page 41 / 716 » Transformations of software models into performance models |
CC
2010
Springer
15 years 6 months ago
2010
Springer
The problem of locally transforming or translating programs without altering their semantics is central to the construction of correct compilers. For concurrent shared-memory progr...
114
click to vote
CVPR
2011
IEEE
14 years 8 months ago
2011
IEEE
We describe a generative model of the relationship between two images. The model is defined as a factored threeway Boltzmann machine, in which hidden variables collaborate to de...
MODELS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
133
click to vote
DATE
2009
IEEE
15 years 6 months ago
2009
IEEE
—In this paper, a novel approach for integrating static non-preemptive software scheduling in formal bottom-up performance evaluation of embedded system models is described. The ...
128
click to vote
SOSYM
2010
14 years 10 months ago
2010
Model driven development (MDD) of software product lines (SPLs) merges two increasing important paradigms that synthesize programs by transformation. MDD creates programs by transf...