Hiroyuki Higuchi

According to our database, Hiroyuki Higuchi authored at least 10 papers between 1995 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Simultaneous Optimization of Statistical Model and Control Input Plan.

Yoshinobu Iimura, Masashi Wakaiki, Katsumi Homma, Yuhei Umeda, Junji Kaneko, Hiroyuki Higuchi, Kazumi Kubota, Naoya Asami, Kazuto Ikeda

Proceedings of the 2018 Annual American Control Conference, 2018

2015

Population Synthesis via k-Nearest Neighbor Crossover Kernel.

Naoki Hamada, Katsumi Homma, Hiroyuki Higuchi, Hideyuki Kikuchi

Proceedings of the 2015 IEEE International Conference on Data Mining, 2015

2013

An Effective Implementation of a Special Quantifier Elimination for a Sign Definite Condition by Logical Formula Simplification.

Hidenao Iwane, Hiroyuki Higuchi, Hirokazu Anai

Proceedings of the Computer Algebra in Scientific Computing - 15th International Workshop, 2013

2010

An accurate modeling method utilizing application-specific statistical information and its application to SRAM yield estimation.

Hidetoshi Matsuoka, Hiroshi Ikeda, Hiroyuki Higuchi, Yoshinori Tomita

Proceedings of the 11th International Symposium on Quality of Electronic Design (ISQED 2010), 2010

2004

Enhancing the performance of multi-cycle path analysis in an industrial setting.

Hiroyuki Higuchi, Yusuke Matsunaga

Proceedings of the 2004 Conference on Asia South Pacific Design Automation: Electronic Design and Solution Fair 2004, 2004

2003

Multi-Cycle Path Detection for Sequential Circuits and Its Application to Real Designs.

Hiroyuki Higuchi

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2003

2002

An implication-based method to detect multi-cycle paths in large sequential circuits.

Hiroyuki Higuchi

Proceedings of the 39th Design Automation Conference, 2002

1999

Lazy group sifting for efficient symbolic state traversal of FSMs.

Hiroyuki Higuchi, Fabio Somenzi

Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999

1996

A Fast State Reduction Algorithm for Incompletely Specified Finite State Machines.

Hiroyuki Higuchi, Yusuke Matsunaga

Proceedings of the 33st Conference on Design Automation, 1996

1995

Implicit prime compatible generation for minimizing incompletely specified finite state machines.

Hiroyuki Higuchi, Yusuke Matsunaga

Proceedings of the 1995 Conference on Asia Pacific Design Automation, Makuhari, Massa, Chiba, Japan, August 29, 1995