5 search results - page 1 / 1 » IDF Models for Trace Transformations: A Case Study in Comput... |
SAMOS
2004
Springer
13 years 10 months ago
2004
Springer
DAC
2003
ACM
14 years 5 months ago
2003
ACM
In the Artemis project [13], design space exploration of embedded systems is provided by modeling application behavior and architectural performance constraints separately. Mappin...
CSIE
2009
IEEE
13 years 11 months ago
2009
IEEE
The tendency for Non-Functional Requirements (NFRs) to have a wide-ranging impact on a software system, and the strong interdependencies and tradeoffs that exist between NFRs and ...
EDOC
2004
IEEE
13 years 8 months ago
2004
IEEE
To focus the comparison of languages for model checking and transformation on criteria that matter in practical development, there is an urgent need for more, and more realistic, ...
VLSID
2005
IEEE
14 years 4 months ago
2005
IEEE
This paper presents a highly efficient processor design methodology based on the LISA 2.0 language. Typically the architecture design phase is dominated by an iterative processor ...