Online ISSN : 

IEICE TRANSACTIONS on Information and Systems
open access publishing via
0.56 1.4
Volume E80-D No.1  (Publication Date:1997/01/25)
Previous | 
Next
Special Issue on Fault-Tolerant Computing

pp.1-2  FOREWORD
FOREWORD
Takashi NANYA  
Summary | Full Text:PDF (111.8KB) >>
Buy this Article


pp.3-9  PAPER-Distributed Systems
Three-Mode Failure Model for Reliability Analysis of Distributed Programs
Tatsuhiro TSUCHIYA  Yoshiaki KAKUDA  Tohru KIKUNO  
Summary | Full Text:PDF (512.3KB) >>
Buy this Article


pp.10-14  PAPER-Distributed Systems
Commit-Order Oriented Validation Scheme for Transaction Scheduling in Mobile Distributed Database Systems: COOV
Youngkon LEE  Songchun MOON  
Summary | Full Text:PDF (471.7KB) >>
Buy this Article


pp.15-20  PAPER-Redundancy Techniques
Quad-Processor Redundancy for a RISC-Based Fault Tolerant Computer
Shinichiro YAMAGUCHI  Tetsuaki NAKAMIKAWA  Naoto MIYAZAKI  Yuuichirou MORITA  Yoshihiro MIYAZAKI  Sakou ISHIKAWA  
Summary | Full Text:PDF (589.1KB) >>
Buy this Article


pp.21-27  PAPER-Redundancy Techniques
A Learning Algorithm for Fault Tolerant Feedforward Neural Networks
Nait Charif HAMMADI  Hideo ITO  
Summary | Full Text:PDF (528.2KB) >>
Buy this Article


pp.28-37  PAPER-Testing/Checking
A Method of Multiple Fault Diagnosis in Sequential Circuits by Sensitizing Sequence Pairs
Nobuhiro YANAGIDA  Hiroshi TAKAHASHI  Yuzo TAKAMATSU  
Summary | Full Text:PDF (760.6KB) >>
Buy this Article


pp.38-43  PAPER-Testing/Checking
A Fault Simulation Method for Crosstalk Faults in Synchronous Sequential Circuits
Noriyoshi ITAZAKI  Yasutaka IDOMOTO  Kozo KINOSHITA  
Summary | Full Text:PDF (526.4KB) >>
Buy this Article


pp.44-50  PAPER-Testing/Checking
Dependable Bus Arbitraion by Alternating Competition with Checkers
Kazuo TOKITO  Takashi MATSUBARA  Yoshiaki KOGA  
Summary | Full Text:PDF (480.7KB) >>
Buy this Article


pp.51-56  PAPER-Verification
A New Verification Framework of Object-Oriented Design Specification for Small Scale Software
Eun Mi KIM  Shinji KUSUMOTO  Tohru KIKUNO  
Summary | Full Text:PDF (525.7KB) >>
Buy this Article


pp.57-62  PAPER-Verification
Formal Verification of Totally Self-Checking Properties of Combinational Circuits
Kazuo KAWAKUBO  Koji TANAKA  Hiromi HIRAISHI  
Summary | Full Text:PDF (508.2KB) >>
Buy this Article


pp.63-71  PAPER-Image Processing,Computer Graphics and Pattern Recognition
An Automatic Algorithm for Removing Uninterested Regions in Image Signals
Masamune SATOH  Tohru IKEGUCHI  Takeshi MATOZAKI  
Summary | Full Text:PDF (684.5KB) >>
Buy this Article


pp.72-77  PAPER-Bio-Cybernetics and Neurocomputing
Solving Combinatorial Optimization Problems Using the Oscillatory Neural Network
Yoshiaki WATANABE  Keiichi YOSHINO  Tetsuro KAKESHITA  
Summary | Full Text:PDF (431.7KB) >>
Buy this Article


pp.78-85  PAPER-Bio-Cybernetics and Neurocomputing
Learning Curves in Learning with NoiseAn Empirical Study
Hanzhong GU  Haruhisa TAKAHASHI  
Summary | Full Text:PDF (632.7KB) >>
Buy this Article


pp.86-90  LETTER-Automata,Languages and Theory of Computing
On Multi-Inkdot Two-Way Alternating Turing Machines and Pushdown Automata with Sublogarithmic Space and Constant Leaf-Size
Jianliang XU  Katsushi INOUE  Yue WANG  Akira ITO  
Summary | Full Text:PDF (428.7KB) >>
Buy this Article


pp.91-93  LETTER-Algorithm and Computational Complexity
The Complexity of Threshold Circuits for Parity Functions
Shao-Chin SUNG  Tetsuro NISHINO  
Summary | Full Text:PDF (221.7KB) >>
Buy this Article


pp.94-97  LETTER-Algorithm and Computational Complexity
High-Fair Bus Arbiter for Multiprocessors
Chiung-San LEE  
Summary | Full Text:PDF (333.3KB) >>
Buy this Article


pp.98-100  LETTER-Algorithm and Computational Complexity
Address Addition and Decoding without Carry Propagation
Yung-Hei LEE  Seung Ho HWANG  
Summary | Full Text:PDF (182.8KB) >>
Buy this Article


pp.101-105  LETTER-Databases
Similar Key Search Files Based on Hashing
Sheng-ta YANG  Eiichi TANAKA  
Summary | Full Text:PDF (236.6KB) >>
Buy this Article


Previous | 
Next
go to Page Top