講演番号 | 題目/著者 |
---|---|
A-28 | k回読みblockwise分岐プログラムについて 小関 一弘, 武永 康彦, |
A-29 | Cluttered Orderings for two-dimensional Parity Codes Adachi Tomoko, Muller Meinard, Uehara Hiroaki, Jimbo Masakazu, |
A-30 | Property Verification for Arithmetic Logical Circuit by using Proof Checker Wasaki Katsumi, Yamaguchi Shin'nosuke, Bancerek Grzegorz, |
A-31 | 演算の対象となるデータに注目したアルゴリズム実行中の消費電力削減手法 暮町 尚俊, 上土井 陽子, 吉田 典可, |