Fri, Jul 29 PM 13:10 - 16:40 |
(1) |
13:10-13:35 |
Discrete-Time Software Reliability Models Based on Queueing Theory |
Shinji Inoue, Shigeru Yamada (Tottori Univ.) |
(2) |
13:35-14:00 |
A Note on Operational Software Reliability Modeling with Systemability |
Koichi Tokuno, Shigeru Yamada (Tottori Univ.) |
(3) |
14:00-14:25 |
A Consistency Analysis for Probabilistic Dual Quorum |
Satoshi Fukumoto, Masayuki Arai (Tokyo Metropolitan Univ.) |
(4) |
14:25-14:50 |
Statistical Estimation Modeling for Critical Stress Level of Explosive Materials Based on Percolation Theory |
Mitsuhiro Kimura (Hosei Univ.), Satoshi Fukumoto (Tokyo Metropolitan Univ.) |
|
14:50-15:00 |
Break ( 10 min. ) |
(5) |
15:00-15:25 |
A Study on Reliability and Availability of the Basic Service Systems |
Akihiko Masuda (TUS) |
(6) |
15:25-15:50 |
Simulated Annealing Algorithm for Optimal Arrangement Problems in a Multi-State Consecutive-k-out-of-n:F System |
Koji Shingyochi (Jumonji Univ.), Hisashi Yamamoto (Tokyo Metropolitan Univ.), Hidemi Yamachi (N.I.T.) |
(7) |
15:50-16:15 |
Dynamic Fault Tree Analysis using Bayesian Networks |
Tetsushi Yuge, Nobuyuki Tamura, Shigeru Yanagi (NDA) |
(8) |
16:15-16:40 |
Optimal major garbage collection interval time with incremental garbage collection |
Syouji Nakamura (Kinjo Gakuin Univ), Xufeng Zhao, Toshio Nakagawa (AIT) |