2836 search results - page 189 / 568 » Model Checking for Software Architectures |
154
click to vote
DAC
2005
ACM
15 years 6 months ago
2005
ACM
We propose a normalization technique for verifying arithmetic circuits in a bounded model checking environment. Our technique operates on the arithmetic bit level (ABL) descriptio...
138
click to vote
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
Capturing and using design rationale is becoming a hot topic for software architects, as architectural design decisions are now considered first class entities that should be reco...
133
click to vote
EUROMICRO
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper considers whether the seemingly disparate fields of Computational Intelligence (CI) and computer architecture can profit from each others’ principles, results and e...
136
click to vote
EMSOFT
2010
Springer
15 years 1 months ago
2010
Springer
Model-driven architecture (MDA) is a model-based approach for engineering complex software systems. MDA is particularly attractive for designing embedded systems because models ca...
114
click to vote
EUROMICRO
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper describes a method for the "Analysis and Prediction of Performance for Evolving Architectures" (APPEAR). The method aims at performance estimation of adapted ...