Nobuaki Kawato

According to our database, Nobuaki Kawato authored at least 16 papers between 1979 and 1996.

Collaborative distances:

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

1996

An Object-Oriented Database System Jasmine: Implementation, Application, and Extension.

Hiroshi Ishikawa, Yasuo Yamane, Yoshio Izumida, Nobuaki Kawato

IEEE Trans. Knowl. Data Eng., 1996

1992

An Object-Oriented Database System and its View Mechanism for Schema Integration.

Hiroshi Ishikawa, Yoshio Izumida, Nobuaki Kawato, Tatsuya Hayashi

Proceedings of the Second Far-East Workshop on Future Database Systems 1992, 1992

A Cooperative Logic Design Expert System on a Multiprocessor.

Yoriko Minoda, Shuho Sawada, Yuka Takizawa, Fumihiro Maruyama, Nobuaki Kawato

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

1990

A high-speed test-generation method using a test generation circuit.

Fumiyasu Hirose, Koichiro Takayama, Nobuaki Kawato

Syst. Comput. Jpn., 1990

1988

A Method to Generate Tests for Combinational Logic Circuits Using an Ultra-High-Speed Logic Simulator.

Fumiyasu Hirose, Koichiro Takayama, Nobuaki Kawato

Proceedings of the Proceedings International Test Conference 1988, 1988

Evaluation and improvement of Boolean comparison method based on binary decision diagrams.

Masahiro Fujita, Hisanori Fujisawa, Nobuaki Kawato

Proceedings of the 1988 IEEE International Conference on Computer-Aided Design, 1988

co-LODEX: A Cooperative Expert System for Logic design.

Fumihiro Maruyama, Taeko Kakuda, Yusuke Matsunaga, Yoriko Minoda, Shuho Sawada, Nobuaki Kawato

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

Logic Simulation System Using Simulation Processor (SP).

Minoru Saitoh, Kenji Iwata, Akiko Nokamura, Makoto Kakegawa, Junichi Masuda, Hirofumi Hamamura, Fumiyasu Hirose, Nobuaki Kawato

Proceedings of the 25th ACM/IEEE Conference on Design Automation, 1988

1986

Knowledge-Based Expert System for Hardware Logic Design.

Tamio Mano, Fumihiro Maruyama, Kazushi Hayashi, Taeko Kakuda, Nobuaki Kawato, Takao Uehara

Proceedings of the Fall Joint Computer Conference, November 2-6, 1986, Dallas, Texas, USA, 1986

A rule-based logic circuit synthesis system for CMOS gate arrays.

Takao Saito, Hiroyuki Sugimoto, Masami Yamazaki, Nobuaki Kawato

Proceedings of the 23rd ACM/IEEE Design Automation Conference. Las Vegas, 1986

1984

Prolog-Based Expert System for Logic Design.

Fumihiro Maruyama, Tamio Mano, Kazushi Hayashi, Taeko Kakuda, Nobuaki Kawato, Takao Uehara

Proceedings of the International Conference on Fifth Generation Computer Systems, 1984

1983

Logic Circuit Synthesis Using Prolog.

Takao Uehara, Nobuaki Kawato

New Gener. Comput., 1983

1982

A verification technique for hardware designs.

Fumihiro Maruyama, Takao Uehara, Nobuaki Kawato, Takao Saito

Proceedings of the 19th Design Automation Conference, 1982

An interactive logic synthesis system based upon AI techniques.

Nobuaki Kawato, Takao Uehara, Sadaki Hirose, Takao Saito

Proceedings of the 19th Design Automation Conference, 1982

1981

A CAD system for logic design based on frames and demons.

Takao Saito, Takao Uehara, Nobuaki Kawato

Proceedings of the 18th Design Automation Conference, 1981

1979

Design and verification of large-scale computers by using DDL.

Nobuaki Kawato, Takao Saito, Fumihiro Maruyama, Takao Uehara

Proceedings of the 16th Design Automation Conference, 1979