9110 search results - page 348 / 1822 » Formally-Based Design Evaluation |
165
click to vote
CEC
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, the use of Simulated Evolution (SimE) Algorithm in the design of digital logic circuits is proposed. SimE algorithm consists of three steps: evaluation, selection an...
172
Voted
ICALT
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, we propose a framework for the design of learning activities, which follows the key idea of the “Learning-for-Use” model and adopts characteristics from the exp...
173
click to vote
IPPS
2003
IEEE
15 years 12 months ago
2003
IEEE
We present a method for the automatic generation of oligonucleotide probe sets for DNA microarrays. This approach is well suited particularly for specificity evaluation of design...
139
click to vote
LCN
2003
IEEE
15 years 12 months ago
2003
IEEE
The GigaNetIC project aims to develop high-speed components for networking applications based on massively parallel architectures. A central part of this project is the design, ev...
156
click to vote
EMO
2001
Springer
15 years 11 months ago
2001
Springer
This paper examines the road train concept as a new alternative in long-distance freight traffic. The design of such a system is a difficult task since many different and conflicti...