* 研究業績 [#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).
- 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), September 4-7, 2012, Shanghai, China.

- 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).
- 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), 
in Proc of 9th International Conference on Ubiquitous Intelligence and Computing and 9th International Conference on Autonomic and Trusted Computing, 
pp.618-620, September 4, 2012, Fukuoka, Japan.

- 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