IEICE Trans

IEICE TRANSACTIONS on Information and Systems

Volume E75-D No.6 (Publication Date:1992/11/25)

Special Issue on Pacific Rim International Symposium on Fault Tolerant Systems

pp.761-762 FOREWORD FOREWORD Yoshiaki KOGA
	Summary \| Full Text:PDF >> Buy this Article

pp.763-770 PAPER Designing Multi-Level Quorum Schemes for Highly Replicated Data Bernd FREISLEBEN Hans-Henning KOCH Oliver THEEL
	Summary \| Full Text:PDF >> Buy this Article

pp.771-777 PAPER A Design Method for Cost-Effective Self-Testing Checker for Optimal d-Unidirectional Error Detecting Codes Eiji FUJIWARA Masakatsu YOSHIKAWA
	Summary \| Full Text:PDF >> Buy this Article

pp.778-784 PAPER An Algebraic Specification of a Daisy Chain Arbiter Yu Rong HOU Atsushi OHNISHI Yuji SUGIYAMA Takuji OKAMOTO
	Summary \| Full Text:PDF >> Buy this Article

pp.785-791 PAPER Verification of Register Transfer Level (RTL) Designs Alberto Palacios PAWLOVSKY Sachio NAITO
	Summary \| Full Text:PDF >> Buy this Article

pp.792-796 PAPER Modeling and Simulation of the Sliding Window Algorithm for Fault-Tolerant Clock Synchronization Manfred J. PFLUEGL Douglas M. BLOUGH
	Summary \| Full Text:PDF >> Buy this Article

pp.797-803 PAPER Fault Tolerance Assurance Methodology of the SXO Operating System for Continuous Operation Hiroshi YOSHIDA Hiroyuki SUZUKI Kotaro OKAZAKI
	Summary \| Full Text:PDF >> Buy this Article

pp.804-809 PAPER A Fault Tolerant Intercommunication Scheme Using Bank Memory Switching Norihiko TANAKA Takakazu KUROKAWA Takashi MATSUBARA Yoshiaki KOGA
	Summary \| Full Text:PDF >> Buy this Article

pp.810-818 PAPER Applying Attribute Grammars to Construct Fault-Tolerant Environments for Distributed Software Development An FENG Tohru KIKUNO Koji TORII
	Summary \| Full Text:PDF >> Buy this Article

pp.819-823 PAPER A Design Method of SFS and SCD Combinational Circuits Shin'ichi HATAKENAKA Takashi NANYA
	Summary \| Full Text:PDF >> Buy this Article

pp.824-834 PAPER A Tool for Computing the Output Code Spaces and Verifying the Self-Checking Properties in Complex Self-checking Systems Makhtar BOUDJIT Michael NICOLAIDIS
	Summary \| Full Text:PDF >> Buy this Article

pp.835-841 PAPER Comparison of Aliasing Probability for Multiple MISRs and M-Stage MISRs with m Inputs Kazuhiko IWASAKI Shou-Ping FENG Toru FUJIWARA Tadao KASAMI
	Summary \| Full Text:PDF >> Buy this Article

pp.842-846 PAPER A Method and the Effect of Shuffling Compactor Inputs in VLSI Self-Testing Kiyoshi FURUYA Edward J. McCLUSKEY
	Summary \| Full Text:PDF >> Buy this Article

Regular Section

pp.847-851 PAPER-Automaton, Language and Theory of Computing Context-Free Grammars with Memory Etsuro MORIYA
	Summary \| Full Text:PDF >> Buy this Article

pp.852-860 PAPER-Software Theory Derivation of a Parallel Bottom-Up Parser from a Sequential Parser Kazuko TAKAHASHI
	Summary \| Full Text:PDF >> Buy this Article

pp.861-872 PAPER-Databases A New Indexing Technique for Nested Queries on Composite Objects Yong-Moo KWON Yong-Jin PARK
	Summary \| Full Text:PDF >> Buy this Article

pp.873-883 PAPER-Fault Tolerant Computing Semidistance Codes and t-Symmetric Error Correting/All Unidirectional Error Detectiong Codes Kenji NAEMURA
	Summary \| Full Text:PDF >> Buy this Article

pp.884-893 PAPER-Fault Tolerant Computing Array Structure Using Basic Wiring Channels for WSI Hypercube Hideo ITO
	Summary \| Full Text:PDF >> Buy this Article

pp.894-901 PAPER-Fault Tolerant Computing A 2-Rail Logic Combinational Circuit for Easy Detection of Stuck-Open and Stuck-On Faults in FETs Hideo ITO
	Summary \| Full Text:PDF >> Buy this Article

pp.902-908 PAPER-Image Processing, Computer Graphics and Pattern Recognition Matching of Edge-Line Images Using Relaxation Masao IZUMI Takeshi ASANO Kunio FUKUNAGA Hideto MURATA
	Summary \| Full Text:PDF >> Buy this Article

pp.909-915 PAPER-Medical Electronics and Medical Information Automatic Correction of Left-Ventricular Pressure Waveform Using the Natural Observation Method Jun-ichi HORI Yoshiaki SAITOH Tohru KIRYU Taizo IIJIMA
	Summary \| Full Text:PDF >> Buy this Article