9110 search results - page 502 / 1822 » Formally-Based Design Evaluation |
167
click to vote
CODES
2000
IEEE
15 years 11 months ago
2000
IEEE
During design exploration, many implementations of the same system specification may need to be evaluated. In this paper, we present an approach to construct sufficient and nece...
131
click to vote
RIAO
2004
15 years 8 months ago
2004
Educational websites and electronic encyclopaedias employ many of the same design elements, such as hyperlinks, frames and search mechanisms. This paper asks to what extent recomm...
153
click to vote
SERP
2003
15 years 8 months ago
2003
It is not an overstatement to say that the gap between software design and performance evaluation techniques has caused the misuse of the last ones by software engineers. The UML ...
174
click to vote
TIT
2002
15 years 6 months ago
2002
We consider the design of asymmetric multiple description lattice quantizers that cover the entire spectrum of the distortion profile, ranging from symmetric or balanced to success...
172
click to vote
VLSID
2002
IEEE
16 years 7 months ago
2002
IEEE
We present a methodology and algorithms for automatic refinement from a given design specification to an architecture model based on decisions in architecture exploration. An arch...