IEICE Technical Report

Print edition: ISSN 0913-5685      Online edition: ISSN 2432-6380

Volume 110, Number 168

Dependable Computing

[PREV] [NEXT]

[TOP] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [2013] | [Japanese] / [English]

Table of contents

DC2010-14
Lightweight Fault-Tolerance for Distributed Information Appliances
Takaharu Fujii, Taku Fukushima, Midori Sugaya, Tatsuo Nakajima (Waseda Univ.)
pp. 1 - 6

DC2010-15
Fault-Resilient Multiple-Valued Asynchronous Data-Transfer Scheme
Atsushi Matsumoto, Naoya Onizawa, Takahiro Hanyu (Tohoku Univ.)
pp. 7 - 11

DC2010-16
Design and Performance Evaluation of the Parallel Model Checking Algorithm SCC-OWCTY using Strongly Connected Components
Toshiki Kawabata, Fumiyoshi Kobayashi, Kazunori Ueda (Waseda Univ.)
pp. 13 - 18

DC2010-17
An approach to state space explosion in the LMNtal model checker
Masato Gocho, Kazunori Ueda (Waseda Univ.)
pp. 19 - 24

Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.