| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| IN, NV (併催) |
2013-07-18 15:40 |
北海道 | 北海道大学 工学部アカデミックラウンジ3 | ［招待講演］格子上の道順を数え上げる高速アルゴリズム ○岩下洋哲（JST）  IN2013-44 |
グラフにおいて同じ点を2回以上通らないパスはself-avoiding walk（SAW）と呼ばれ，その単純な定義にも関... [more] | IN2013-44 pp.49-54 |
| VLD, DC, IPSJ-SLDM (連催) ICD, CPM (共催) CPSY, RECONF (併催) [詳細] |
2012-11-26 10:55 |
福岡 | 九州大学百年講堂 | 再帰的仕様記述を用いた組合せ列挙ZDDの効率的な構築手法 ○岩下洋哲・川原 純（JST/北大）・湊 真一（北大/JST） VLD2012-63 DC2012-29 |
近年、グラフ上の2点間の全てのパスを表現したZero-suppressed Binary Decision Diagra... [more] | VLD2012-63 DC2012-29 pp.25-29 |
| VLD, IPSJ-SLDM (共催) |
2007-05-11 09:30 |
京都 | 京大会館 | ハードウエアユニット検証環境の自動生成 ～ バスブリッジ設計での実証 ～ ○Rafael Kazumiti Morizawa・岩下洋哲・高山浩一郎（富士通研） VLD2007-7 |
SoC の複雑化によって検証に要する工数は増大している。多くの場合、SoC とそれを構成するハードウエアユニットの検証は... [more] | VLD2007-7 pp.1-6 |
| VLD, DC, IPSJ-SLDM (共催) RECONF, CPSY, IPSJ-ARC (併催) [詳細] |
2006-11-28 09:00 |
福岡 | 北九州国際会議場 | 仕様書から検証シナリオを生成する手法 ○大石亮介・松田明男・岩下洋哲・高山浩一郎（富士通研） |
[more] | VLD2006-51 DC2006-38 pp.1-4 |
[研究会発表申込システムのトップページに戻る]