講演番号 | 題目/著者 |
---|---|
C-006 | 高水準ペトリネットを記述可能な援用ツールHiPS2と非同期回路検証への適用 堀内 維作, 和崎 克己, |
C-007 | 大規模反復型数値計算の高速化支援のための可視化ツールの開発 花房 秀光, 小寺 晋, 木内 俊介, 山崎 勇輔, 福間 慎治, 森 眞一郎, |
C-008 | P2Pシステムの耐故障性に関する検討 小澤 一平, 寺田 夢人, 新井 雅之, 福本 聡, |
RC-003 | Dependable Dual Edge Triggered Flip-Flops for Bloking Noise Signal Yukiya Miura, |
RC-004 | ビットパターンドメディアレコーディングのための二重削除/挿入/反転誤り訂正符号 井上 雅斗, 金子 晴彦, |