Sciweavers

3579 search results - page 136 / 716
» Transformations of software models into performance models
Sort
View
CC
2006
Springer
124views System Software» more  CC 2006»
15 years 8 months ago
Polyhedral Code Generation in the Real World
The polyhedral model is known to be a powerful framework to reason about high level loop transformations. Recent developments in optimizing compilers broke some generally accepted ...
Nicolas Vasilache, Cédric Bastoul, Albert C...
ICASSP
2010
IEEE
15 years 4 months ago
On the robustness of the multidimensional state coherence transform for solving the permutation problem of frequency-domain ICA
A common problem in frequency domain independent component analysis (ICA) is the so called permutation problem which arises due to the independent demixing in each frequency bin. ...
Benedikt Loesch, Francesco Nesta, Bin Yang
STTT
2010
132views more  STTT 2010»
15 years 2 months ago
Evaluation of Kermeta for solving graph-based problems
Kermeta is a meta-language for specifying the structure and behavior of graphs of interconnected objects called models. In this paper, we show that Kermeta is relatively suitable f...
Naouel Moha, Sagar Sen, Cyril Faucher, Olivier Bar...
151
Voted
PRDC
2000
IEEE
15 years 8 months ago
Effects of failure correlation on software in operation
Since the early 1970's a number of models have been proposed for estimating software reliability. However, the realism of many of the underlying assumptions and the applicabi...
Katerina Goseva-Popstojanova, Kishor S. Trivedi
HICSS
2005
IEEE
127views Biometrics» more  HICSS 2005»
15 years 10 months ago
Enterprise Architecture Analysis with XML
This paper shows how XML can be used for static and dynamic analysis of architectures. Our analysis is based on the distinction between symbolic and semantic models of architectur...
Frank S. de Boer, Marcello M. Bonsangue, Joost Jac...