Nobuaki Kawato

16 papers A* 6A 2Journal 3Unranked 5
YearRankTypeTitle / Venue / Authors
1996 J jnl
An Object-Oriented Database System Jasmine: Implementation, Application, and Extension.
IEEE Trans. Knowl. Data Eng.
Hiroshi Ishikawa, Yasuo Yamane, Yoshio Izumida, Nobuaki Kawato
1992 — conf
A Cooperative Logic Design Expert System on a Multiprocessor.
FGCS
Yoriko Minoda, Shuho Sawada, Yuka Takizawa, Fumihiro Maruyama, Nobuaki Kawato
1992 — conf
An Object-Oriented Database System and its View Mechanism for Schema Integration.
Future Databases
Hiroshi Ishikawa, Yoshio Izumida, Nobuaki Kawato, Tatsuya Hayashi
1990 J jnl
A high-speed test-generation method using a test generation circuit.
Syst. Comput. Jpn.
Fumiyasu Hirose, Koichiro Takayama, Nobuaki Kawato
1988 A conf
A Method to Generate Tests for Combinational Logic Circuits Using an Ultra-High-Speed Logic Simulator.
ITC
Fumiyasu Hirose, Koichiro Takayama, Nobuaki Kawato
1988 A conf
Evaluation and improvement of Boolean comparison method based on binary decision diagrams.
ICCAD
Masahiro Fujita, Hisanori Fujisawa, Nobuaki Kawato
1988 A* conf
Logic Simulation System Using Simulation Processor (SP).
DAC
Minoru Saitoh, Kenji Iwata, Akiko Nokamura, Makoto Kakegawa, Junichi Masuda, Hirofumi Hamamura, Fumiyasu Hirose, Nobuaki Kawato
1988 — conf
co-LODEX: A Cooperative Expert System for Logic design.
FGCS
Fumihiro Maruyama, Taeko Kakuda, Yusuke Matsunaga, Yoriko Minoda, Shuho Sawada, Nobuaki Kawato
1986 A* conf
A rule-based logic circuit synthesis system for CMOS gate arrays.
DAC
Takao Saito, Hiroyuki Sugimoto, Masami Yamazaki, Nobuaki Kawato
1986 — conf
Knowledge-Based Expert System for Hardware Logic Design.
FJCC
Tamio Mano, Fumihiro Maruyama, Kazushi Hayashi, Taeko Kakuda, Nobuaki Kawato, Takao Uehara
1984 — conf
Prolog-Based Expert System for Logic Design.
FGCS
Fumihiro Maruyama, Tamio Mano, Kazushi Hayashi, Taeko Kakuda, Nobuaki Kawato, Takao Uehara
1983 J jnl
Logic Circuit Synthesis Using Prolog.
New Gener. Comput.
Takao Uehara, Nobuaki Kawato
1982 A* conf
A verification technique for hardware designs.
DAC
Fumihiro Maruyama, Takao Uehara, Nobuaki Kawato, Takao Saito
1982 A* conf
An interactive logic synthesis system based upon AI techniques.
DAC
Nobuaki Kawato, Takao Uehara, Sadaki Hirose, Takao Saito
1981 A* conf
A CAD system for logic design based on frames and demons.
DAC
Takao Saito, Takao Uehara, Nobuaki Kawato
1979 A* conf
Design and verification of large-scale computers by using DDL.
DAC
Nobuaki Kawato, Takao Saito, Fumihiro Maruyama, Takao Uehara