Information and Systems-Dependable Computing(Date:2002/10/11)

Presentation
表紙

,  

[Date]2002/10/11
[Paper #]
目次

,  

[Date]2002/10/11
[Paper #]
Computational Availability and Cost Performance of Reliable Fat-Btrees

Jun MIYAZAKI,  Youhei ABE,  Haruo YOKOTA,  

[Date]2002/10/11
[Paper #]DC2002-26
Optimization of log storing for asynchronous backup

Youhei ABE,  Jun MIYAZAKI,  Yokota HARUO,  

[Date]2002/10/11
[Paper #]DC2002-27
Recovery Protocols for Risk Limited Installment Electronic Trades

Chihiro ITO,  Mizuho IWAIHARA,  Yahiko KAMBAYASHI,  

[Date]2002/10/11
[Paper #]DC2002-28
トランザクショナルワークフロの一貫性と隔離性

,  

[Date]2002/10/11
[Paper #]DC2002-29
A Note on Uncoordinated Checkpointing with Finite Checkpoints

Ryo SUZUKI,  Masayuki ARAI,  Satoshi FUKUMOTO,  Kazuhiko IWASAKI,  

[Date]2002/10/11
[Paper #]DC2002-30
A SAT-based Model Checking Method for Asynchronous Concurrent Systems

Tatsuhiro TSUCHIYA,  Tohru KIKUNO,  

[Date]2002/10/11
[Paper #]DC2002-31
Fault-Tolerant Multicast Routing Problem in Rotator Graphs

Keiichi KANEKO,  

[Date]2002/10/11
[Paper #]DC2002-32
Evaluations of the Error Recovery Capability of the Bidirectionally Decodable LZ77 Coding

Kentaro NAKAMOTO,  Masato KITAKAMI,  

[Date]2002/10/11
[Paper #]DC2002-33
[OTHERS]

,  

[Date]2002/10/11
[Paper #]