* 研究業績 [#x6c08d01]

** 論文誌論文 [#f62df7df]

-  Toru Nanba, Tatsuhiro Tsuchiya, and Tohru Kikuno, Using Satisfiability Solving for Pairwise Testing in  the Presence of Constraints, IEICE Transactions on Information and Systems, Vol.E95-D, No.9, Sep. 2012.

** 国際会議論文 [#f62df7df]

- Hirofumi Terada, Tsukasa Onishi, and Tatsuhiro Tsuchiya, Proposal of Environmental Adaptation Middleware for the Next-generation Distribution SCADA System, 5th China International Conference on Electricity Distribution (CICED 2012) (accepted).

- Tatsuhiro Tsuchiya, Achieving High Availability of Consistent Data in the Presence of Network Partitions, 3rd International Symposium on Multidisciplinary Emerging Networks and Systems (MENS 2012), September 4-7, 2012, Fukuoka, Japan (accepted).

- Tatsuya Noguchi, Tatsuhiro Tsuchiya and Tohru Kikuno, Safety Verification of Asynchronous Consensus Algorithms with Model Checking, 18th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012), November 18-19, 2012, Niigata, Japan (accepted).

- Tatsuhiro Tsuchiya, A BDD-Based Approach to Reliability Optimal Module Allocation in Networks, 18th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012), November 18-19, 2012, Niigata, Japan (accepted).

- Yuki Matsui, Hideharu Kojima and Tatsuhiro Tsuchiya, Maximizing Availability of Consistent Data in Unreliable Networks, 18th IEEE International Conference on Parallel and Distributed Systems (ICPADS 2012), December 17-19, 2012, Singapore (accepted).


** 研究会,大会等 [#iefed6b3]

- 松井佑記,小島英春,土屋達弘,Voting を用いた分散システムの可用性の最大化, 平成24年度情報処理学会関西支部大会, September 21, 2012.


トップ   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSS