Information and Systems-Dependable Computing(Date:2002/04/12)

Presentation
目次

,  

[Date]2002/4/12
[Paper #]
Implementing a SAT-Based Model Checking Tool

Takahiro TANAKA,  Tatsuhiro TSUCHIYA,  Tohru KIKUNO,  

[Date]2002/4/12
[Paper #]DC2002-1
Management of Logical Topologies for Dynamically Changing Traffic in Reliable IP over WDM Networks

Shin'ichi ARAKAWA,  Shinya ISHIDA,  Masayuki MURATA,  

[Date]2002/4/12
[Paper #]DC2002-2
A Study on Link Redundancy Control in Standard Communication Protocols for Remote Monitoring and Control Systems

Ichiro MIZUNUMA,  Kanehide ARAI,  Hajime SASAKI,  

[Date]2002/4/12
[Paper #]DC2002-3
Dependable Video Conference System Using Convolutional Codes

Masayuki ARAI,  Hitoshi KUROSU,  Mamoru OHARA,  Ryo SUZUKI,  Satoshi FUKUMOTO,  Kazuhiko IWASAKI,  

[Date]2002/4/12
[Paper #]DC2002-4
Report on International Conference on Dependable Systems and Networks(DSN)

Tohru KIKUNO,  Tatsuhiro TSUCHIYA,  

[Date]2002/4/12
[Paper #]DC2002-5
A Report on PRDC2001 and Its Related Topics

Haruo YOKOTA,  

[Date]2002/4/12
[Paper #]DC2002-6
Level Oriented Formal Model for Asynchronous Circuit Verification and its Efficient Analysis Method

Yusuke OGURO,  Tomohiro YONEDA,  

[Date]2002/4/12
[Paper #]DC2002-7
Speed performance avoiding hardware failure by reconstruction

Yousuke Nakamura,  Key Hiraki,  

[Date]2002/4/12
[Paper #]DC2002-8
Multithreaded Execution Core Design Suitable for Network Processor

Yutaka SUGAWARA,  Kei HIRAKI,  

[Date]2002/4/12
[Paper #]DC2002-9
Energy Efficiency of History-Based Tag-Comparison Cache for Media Applications

Koji INOUE,  Vasily G. MOSHNYAGA,  Kazuaki MURAKAMI,  

[Date]2002/4/12
[Paper #]DC2002-10
Reconfigurable PC-Clusters Using ABL-Tree Interconnections

Nobuo TSUDA,  

[Date]2002/4/12
[Paper #]DC2002-11
[OTHERS]

,  

[Date]2002/4/12
[Paper #]