4476 search results - page 425 / 896 » Modeling software architectures in the Unified Modeling Lang... |
178
click to vote
EMSOFT
2009
Springer
16 years 2 months ago
2009
Springer
In this paper, we propose a formal analysis approach to estimate the expected (average) data cache access time of an application across all possible program inputs. Towards this g...
195
click to vote
ICSE
2001
IEEE-ACM
16 years 2 days ago
2001
IEEE-ACM
Mocha is a model checker based on the theme of exploiting design modularity: instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling fra...
235
click to vote
POPL
2009
ACM
16 years 2 months ago
2009
ACM
We develop a rigorous semantics for Power and ARM multiprocessor programs, including their relaxed memory model and the behaviour of reasonable fragments of their instruction sets...
202
click to vote
DAC
1994
ACM
15 years 11 months ago
1994
ACM
Abstract -- This paper describes a new memory estimation technique for DSP applications written in an applicative language. Since no concept of storage is present in an applicative...
253
click to vote
GPCE
2009
Springer
15 years 11 months ago
2009
Springer
Mapping problem-space features into solution-space features is a fundamental configuration problem in software product line engineering. A configuration problem is defined as g...