Nobuaki Kawato

Publication Activity (10 Years)

Years Active: 1979-1996
Publications (10 Years): 0

Publications

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