A multiprocessor system for multiple image recognition-application to automatic routing system. - Gotaro Odawara; Masahiro Tomita; Honghai Jiang; Yutaka Tamiya; Taisei Yoshino; Yoshihiro Hayashi; Satoru Maruyama; Guixin Cheng; Hidetoshi Sakaki (ICPR (2), 1990)

Verification of in-order execution in pipelined processors. - Hiroyuki Tomiyama; Taisei Yoshino; Nikil D. Dutt (HLDVT, 2000)