2740 search results - page 80 / 548 » A Model-Based Approach To Requirements Analysis |
DATE
2005
IEEE
14 years 2 months ago
2005
IEEE
We present a hybrid BIST approach that extracts the most frequently occurring sequences from deterministic test patterns; these extracted sequences are stored on-chip. We use clus...
DATE
2006
IEEE
14 years 3 months ago
2006
IEEE
Recent research on performance analysis for embedded systems shows a trend to formal compositional models and methods. These compositional methods can be used to determine the per...
SAS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We specify an information flow analysis for a simple imperative language, using a Hoare-like logic. The logic facilitates static checking of a larger class of programs t...
IJHCI
2008
13 years 9 months ago
2008
senting them at different levels of abstraction. This can make the analysis complex and unwieldy, requiring teams of analysts to manage it. A new approach to managing the complexit...
ICASSP
2009
IEEE
14 years 4 months ago
2009
IEEE
In this paper, we propose two approaches for combining geometric information with ICA algorithm to solve permutation problem under the scenario where a rough information about the...