Hiromasa Haneda

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
This report covers the seminar no. 01101 on Deduction, held at Dagstuhl, Germany during March 4–March 9, 2001. This seminar was organized by U. Furbach (Koblenz, Germany), H. Ganzinger (Saarbrücken, Germany) and D. Kapur (Albuquerque, USA). It brought together about 50 researchers from various countries. Dagstuhl, a place being developed exclusively for(More)
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)
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 types of(More)
  • 1