情報・システム-ディペンダブルコンピューティング(開催日：2014/04/18)

タイトル/著者/発表日/資料番号
表紙

,  

[発表日]2014/4/18
[資料番号]
目次

,  

[発表日]2014/4/18
[資料番号]
同期式設計vs.非同期式設計 : さまざまな視点からの比較を試みる(フェロー記念講演,ディペンダブルコンピューティングシステム及び一般)

米田 友洋,  

[発表日]2014/4/18
[資料番号]CPSY2014-1,DC2014-1
DDLセルライブラリを用いた非同期式回路設計支援環境の構築(ディペンダブルコンピューティングシステム及び一般)

今井 雅,  五十嵐 大将,  工藤 三四郎,  

[発表日]2014/4/18
[資料番号]CPSY2014-2,DC2014-2
投機的シミュレーション実行基盤を用いた実時間経路予測の高速化(ディペンダブルコンピューティングシステム及び一般)

渡部 修介,  尾崎 敦夫,  澤田 めぐみ,  

[発表日]2014/4/18
[資料番号]CPSY2014-3,DC2014-3
Tightly Coupled Acceleratorを用いた幅優先探索の高速化(ディペンダブルコンピューティングシステム及び一般)

勝田 裕貴,  宮島 敬明,  野村 鎮平,  久原 拓也,  塙 敏博,  天野 英晴,  朴 泰祐,  

[発表日]2014/4/18
[資料番号]CPSY2014-4,DC2014-4
カラム指向型データベース向けハードウェアキャッシュ機構の検討(ディペンダブルコンピューティングシステム及び一般)

濱田 耀彦,  松谷 宏紀,  

[発表日]2014/4/18
[資料番号]CPSY2014-5,DC2014-5
ストカスティック演算に基づく高信頼論理集積回路の構成に関する一検討(ディペンダブルコンピューティングシステム及び一般)

片桐 大作,  鬼沢 直哉,  羽生 貴弘,  

[発表日]2014/4/18
[資料番号]CPSY2014-6,DC2014-6
車載制御ソフトウェア向けデータ保護機構(ディペンダブルコンピューティングシステム及び一般)

武安 政明,  徳永 雄一,  

[発表日]2014/4/18
[資料番号]CPSY2014-7,DC2014-7
証明支援系Coqを使ったCCNのモデル化と検証について(ディペンダブルコンピューティングシステム及び一般)

森嶋 崇,  後藤 瑞貴,  高橋 和子,  

[発表日]2014/4/18
[資料番号]CPSY2014-8,DC2014-8
ビザンチン故障的に振舞うノードを考慮した構造化P2Pネットワークの探索プロトコル(ディペンダブルコンピューティングシステム及び一般)

福本 聡,  遠藤 知輝,  大原 衛,  新井 雅之,  

[発表日]2014/4/18
[資料番号]CPSY2014-9,DC2014-9
複写される方へ

,  

[発表日]2014/4/18
[資料番号]
Notice for photocopying

,  

[発表日]2014/4/18
[資料番号]
奥付

,  

[発表日]2014/4/18
[資料番号]
裏表紙

,  

[発表日]2014/4/18
[資料番号]