SUMMARY For sampling various solutions from the entire Pareto front of the multiobjective resource division problem, a new Genetic Algorithm (GA) based on an evolutionary theory advocated by Kinji Imanishi is proposed. First, two types of distance between two individuals, namely, structural and functional distances, are introduced and used to define four… (More)
(Albuquerque, USA). It brought together about 50 researchers from various countries. Dagstuhl, a place being developed exclusively for research activities in Computer Science, provides an excellent atmosphere for researchers to meet and exchange ideas. During this seminar we had 40 talks and a discussion session on an 'open source software repository'.
The paper proposes a co1nhined delay model to manipulate the variance of t,he delay time of logic elements and a new timing verification method based on the theory of regular expressions. We focused on the hazard detection problem and the verificat,ion of asyncl1ronous circuits, and show the effect,iveness of our method with medium sized circuits including… (More)