2018年 情報科学技術フォーラム(FIT)

講演番号 題目/著者
B-007モジュール構造を考慮した形式的細粒度部品の提案

横山　仁,  織田　健,  

B-008形式手法B Methodの細粒度部品の結合による高信頼ソフトウェアの合成

高橋宏夢,  織田　健,  

B-009異なるチャットシステム間でメッセージ送信可能なシステムの構築

宮崎　光,  玉田春昭,  

B-010オブジェクトストレージ向けSQLアクセス方式の提案と評価

大越淳平,  近藤伸和,  渡辺　聡,  馬場恒彦,  

B-011リソース制御を用いたメモリ枯渇時での公平な継続動作方式の提案

小野優也,  茂田井寛隆,  水口武尚,  

B-012KVMを利用した機密情報の拡散追跡機能におけるファイルアクセス性能の評価

森山英明,  山内利宏,  佐藤将也,  谷口秀夫,  

B-013OFF2Fプログラムのページ例外処理におけるCoW機能を考慮した評価

谷口秀夫,