Hiroyuki Higuchi

11 papers A* 3A 1B 1C 1Journal 2Unranked 3
YearRankTypeTitle / Venue / Authors
2018 C conf
Simultaneous Optimization of Statistical Model and Control Input Plan.
ACC
Yoshinobu Iimura, Masashi Wakaiki, Katsumi Homma, Yuhei Umeda, Junji Kaneko, Hiroyuki Higuchi, Kazumi Kubota, Naoya Asami, Kazuto Ikeda
2015 A* conf
Population Synthesis via k-Nearest Neighbor Crossover Kernel.
ICDM
Naoki Hamada, Katsumi Homma, Hiroyuki Higuchi, Hideyuki Kikuchi
2015 J jnl
Population Synthesis via k-Nearest Neighbor Crossover Kernel.
CoRR
Naoki Hamada, Katsumi Homma, Hiroyuki Higuchi, Hideyuki Kikuchi
2013 B conf
An Effective Implementation of a Special Quantifier Elimination for a Sign Definite Condition by Logical Formula Simplification.
CASC
Hidenao Iwane, Hiroyuki Higuchi, Hirokazu Anai
2010 — conf
An accurate modeling method utilizing application-specific statistical information and its application to SRAM yield estimation.
ISQED
Hidetoshi Matsuoka, Hiroshi Ikeda, Hiroyuki Higuchi, Yoshinori Tomita
2004 — conf
Enhancing the performance of multi-cycle path analysis in an industrial setting.
ASP-DAC
Hiroyuki Higuchi, Yusuke Matsunaga
2003 J jnl
Multi-Cycle Path Detection for Sequential Circuits and Its Application to Real Designs.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Hiroyuki Higuchi
2002 A* conf
An implication-based method to detect multi-cycle paths in large sequential circuits.
DAC
Hiroyuki Higuchi
1999 A conf
Lazy group sifting for efficient symbolic state traversal of FSMs.
ICCAD
Hiroyuki Higuchi, Fabio Somenzi
1996 A* conf
A Fast State Reduction Algorithm for Incompletely Specified Finite State Machines.
DAC
Hiroyuki Higuchi, Yusuke Matsunaga
1995 — conf
Implicit prime compatible generation for minimizing incompletely specified finite state machines.
ASP-DAC
Hiroyuki Higuchi, Yusuke Matsunaga