Information and Systems-Dependable Computing(Date:2003/07/30)

Presentation
表紙

,  

[Date]2003/7/30
[Paper #]
目次

,  

[Date]2003/7/30
[Paper #]
A study on the N+1 redundancy of dependable mobile agents system

Satoshi OGAWA,  

[Date]2003/7/30
[Paper #]DC2003-10
Consideration about Fast Checkpointing Mechanism for High-reliable HPC Cluster System

Takuro HAYASHIDA,  Masaaki KONDO,  Masashi IMAI,  Hiroshi NAKAMURA,  Takashi NANYA,  Atsushi HORI,  

[Date]2003/7/30
[Paper #]DC2003-11
Node-to-Node Internally Disjoint Paths Problem in Bubble-Sort Graphs

Keiichi KANEKO,  Yasuto SUZUKI,  

[Date]2003/7/30
[Paper #]DC2003-12
Refinement Design Method of Real-Time Software Based on Timed Weak Simulation Relation and Worst Case Response Time

Yoshimitsu NAKANO,  Satoshi YAMANE,  

[Date]2003/7/30
[Paper #]DC2003-13
Realtime Ethernet and its simulation study

Kenji TODA,  Mamoru SEKIYAMA,  Tsun-Ho Liu,  

[Date]2003/7/30
[Paper #]DC2003-14
奥付

,  

[Date]2003/7/30
[Paper #]
複写される方へ

,  

[Date]2003/7/30
[Paper #]