Tsuchiya Tatsuhiro | Department Of Informatics And Mathematical Science Graduate School Of Engineering Science Osaka Univ
スポンサーリンク
概要
- 同名の論文著者
- Department Of Informatics And Mathematical Science Graduate School Of Engineering Science Osaka Univの論文著者
関連著者
-
Tsuchiya Tatsuhiro
Graduate School Of Information Science And Technology Osaka University
-
Tsuchiya Tatsuhiro
Department Of Informatics And Mathematical Science Graduate School Of Engineering Science Osaka Univ
-
Tsuchiya Tatsuhiro
The Department Of Informatics And Mathematical Science Osaka University
-
KIKUNO Tohru
Graduate School of Information Science and Technology, Osaka University
-
Kikuno Tohru
The Department Of Informatics And Mathematical Science Graduate School Of Engineering Science Osaka
-
Kikuno Tohru
The Authors Are With The Department Of Informatics And Mathematical Science Graduate School Of Engin
-
Tsuchiya Tatsuhiro
The Department Of Informatics And Mathematical Science Graduate School Of Engineering Science Osaka
-
Kikuno Tohru
Osaka Univ. Osaka
-
Kikuno T
Graduate School Of Information Science And Technology Osaka University
-
Tsuchiya Tatsuhiro
Department Of Informatics And Mathematical Science Graduate School Of Engineering Science Osaka Univ
-
KIKUNO Tohru
Department of Informatics and Mathematical Science, Graduate School of Engineering Science, Osaka Un
-
Kikuno Tohru
Department Of Informatics And Mathematical Science Graduate School Of Engineering Science Osaka Univ
-
TSUCHIYA Tatsuhiro
Graduate School of Information Science and Technology, Osaka University
-
Choi Eun
The Department Of Informatics And Mathematical Science Graduate School Of Engineering Science Osaka
-
YOKOGAWA Tomoyuki
Graduate School of Engineering Science, Osaka University
-
Choi E
Toshiba Corp.
-
Kikuno Tohru
Graduate School Of Engineering Science Osaka University
-
Hashimoto Koji
Hitachi Laboratory Hitachi Ltd.
-
中村 匡秀
神戸大学大学院工学研究科情報知能学専攻
-
Kikuno Tohru
Graduate School Of Information Science And Technology Osaka University
-
Tsuchiya Tatsuhiro
The Authors Are With The Department Of Informatics And Mathematical Science Osaka University
-
中村 匡秀
Faculty Of Computer Science And Systems Engineering Kobe University
-
NAKAMURA Masahide
Graduate School of Information Science, Nara Institute of Science and Technology
-
Kakuda Yoshiaki
Department Of Informatics And Mathematical Science Graduate School Of Engineering Science Osaka Univ
-
YOKOGAWA Tomoyuki
the Graduate School of Engineering Science, Osaka University
-
TSUCHIYA Tatsuhiro
the Graduate School of Engineering Science, Osaka University
-
KIKUNO Tohru
the Graduate School of Engineering Science, Osaka University
-
TOKUDA Yusuke
the Department of Informatics and Mathematical Science, Osaka University
-
Kikuno Tohru
The Authors Are With The Department Of Informatics And Mathematical Science Osaka University
-
Tokuda Yusuke
The Department Of Informatics And Mathematical Science Osaka University
-
KAJIKAWA Tomoya
The author is with CASIO Computer Co., Ltd.
-
HASIMOTO Koji
Hitachi Laboratory, Hitachi Ltd
-
HASHIMOTO Koji
Hitachi Laboratory, Hitachi Ltd.
-
KOBAYASHI Noritaka
Graduate School of Information Science and Technology, Osaka University
-
Kajikawa Tomoya
The Author Is With Casio Computer Co. Ltd.
-
Hasimoto Koji
Hitachi Laboratory Hitachi Ltd
-
Tsuchiya Tatsuhiro
Department Of Informatics And Mathematical Science Graduate School Of Engineering Science Osaka Univ
-
Kikuno Tohru
The Graduate School Of Engineering Science Osaka University
-
Kikuno Tohru
Department Of Informatics And Mathematical Science Graduate School Of Engineering Science Osaka Univ
-
Kikuno Tohru
Department Of Informatics And Mathematical Science Graduate School Of Engineering Science Osaka Univ
-
Kikuno Tohru
The Department Of Informatics And Mathematical Science Osaka University
-
Yokogawa Tomoyuki
Graduate School Of Engineering Science Osaka University
-
Kobayashi Noritaka
Graduate School Of Information Science And Technology Osaka University:(present Address)nomura Resea
著作論文
- Feature Interaction Detection by Bounded Model Checking(Dependable Communication)(Dependable Computing)
- Three-Mode Failure Model for Reliability Analysis of Distributed Programs (Special Issue on Fault-Tolerant Computing)
- Verifying Fault Tolerance of Concurrent Systems by Model Checking(Special Section on Concurrent System Technology and Its Application to Multiple Agent Systems)
- A Hierarchical Approach to Dependability Evaluation of Distributed Systems with Replicated Resources
- Computing the Stabilization Times of SElf-Stabilizing Systems (Special Section on Concurrent Systems Technology)
- New Constructions for Nondominated k-Coteries
- New 2-Factor Covering Designs for Software Testing(Regular Section)
- Parallelizing SDP(Sum of Disjoint Products)Algorithms for Fast Reliability Analysis
- Effective Scheduling of Duplicated Tasks for Fault Tolerance in Multiprocessor Systems
- Error Models and Fault-Secure Scheduling in Multiprocessor Systems