[13:15-14:45] セッション8A アルゴリズムデザインコンテスト
(ADC-1)
解集合プログラミングを用いた3次元ナンバーリンクソルバー
坡山直樹, 飯野有軌, 番原睦則, 田村直之 (神戸大学)
(ADC-2)
SAT型制約ソルバーを用いた3次元ナンバーリンクの解法
寸田智也, 南雄之, 宋剛秀, 田村直之 (神戸大学)
(ADC-3)
組込みデバイスとFPGAを用いたナンバーリンクソルバの設計と実装
長谷川健人, 石川遼太, 寺田晃太朗, 川村一志, 多和田雅師, 戸川望 (早稲田大学)
(ADC-4)
SATソルバを用いた3次元配線問題の解法
羽田健太郎, 丁静ブン, 浅井孝太, 梅田悠人 (立命館大学)
(ADC-5)
SATソルバを用いた３次元ナンバーリンクソルバ
松永裕介 (九州大学)
[13:15-14:45] セッション8C ポスターセッション
(P-1)
ストレージクラスメモリおよびNANDフラッシュを用いたハイブリッドストレージのアプリケーション依存性
松井千尋, 杉山佑輔, 竹内健 (中央大学)
(P-2)
容量配置最適化に向けた15nm世代LSI・パッケージ・ボード電源網解析モデルの構築
金本俊幾, 葛西孝己, 今井雅, 黒川敦 (弘前大学), 橋本昌宜, 陳俊 (大阪大学), 神藤始 (村田製作所)
(P-3)
ソフトエラー率を考慮したレジスタ割り当てについて
井上恵介 (金沢高専)
(P-4)
ビアスイッチFPGAにおけるスニークパス問題のSAT符号化を用いた検証
土井龍太郎 (大阪大学, JSPS), 橋本 昌宜 (大阪大学)
(P-5)
リアルタイム大腸内視鏡画像診断支援システムのためのCNN特徴とSVM分類を用いた識別手法
岡本拓巳, 小出哲士, 玉木徹, Bisser Raytchev, 金田和文 (広島大学), 吉田成人, 三重野寛 (JR広島病院), 田中信治 (広島大学病院)
(P-6)
CNN特徴とSVM分類を適用した大腸内視鏡画像がん診断支援システムのカスタマイザブルDSPコアへの実装
岡本拓巳, 小出哲士, 玉木徹, Bisser Raytchev, 金田和文 (広島大学), 吉田成人, 三重野寛 (JR広島病院), 田中信治 (広島大学病院), 戸石浩司, 菅原崇之, 辻雅之, 小田川真之, 丹場展雄 (日本ケイデンス)
(P-7)
高ポイント高速数論変換に対する高位合成のためのループ構造最適化
川村一志, 柳澤政生, 戸川望 (早稲田大学)
(P-8)
薄膜FDSOIトランジスタを用いた低電圧動作逆方向バイアス電圧生成回路
中鉢洸太, 西澤真一, 伊藤和人 (埼玉大学)
(P-9)
チャレンジヒステリシス特性を有するPUFの設計とシミュレーションに基づく性能評価
粟野皓光 (東京大学), 佐藤高史 (京都大学)
(P-10)
電流スターブ型発振器を用いた周波数変動のしきい値電圧変換手法
岸田亮, 古田潤, 小林和淑 (京都工芸繊維大学)