Atsufumi Shibayama

Publication Activity (10 Years)

Years Active: 1993-1997
Publications (10 Years): 0

Publications

Masayuki Mizuno, Yasushi Ooi, Naoya Hayashi, Junichi Goto, Masatoshi Hozumi, Koichiro Furuta, Atsufumi Shibayama, Yoetsu Nakazawa, Osamu Ohnishi, Shu-Yu Zhu, Yutaka Yokoyama, Yoichi Katayama, Hideto Takano, Noriyuki Miki, Yuzo Senda, Ichiro Tamitani, Masakazu Yamashina
A 1.5-W single-chip MPEG-2 MP@ML video encoder with low power motion estimation and clocking. IEEE J. Solid State Circuits 32 (11) (1997)
Tomohiro Yoneda, Atsufumi Shibayama, Takashi Nanya
Verification of asynchronous logic circuit design using process algebra. Systems and Computers in Japan 28 (8-9) (1997)
Tomohiro Yoneda, Atsufumi Shibayama, Bernd-Holger Schlingloff, Edmund M. Clarke
Efficient Verification of Parallel Real-Time Systems. CAV (1993)