Online ISSN : 

IEICE TRANSACTIONS on Information and Systems
open access publishing via
0.70 1.4
Volume E86-D No.12  (Publication Date:2003/12/01)
Previous | 
Next
Special Issue on Dependable Computing

pp.2501-2502  FOREWORD
FOREWORD
Haruo YOKOTA  
Summary | Full Text:PDF (52.3KB) >>
Buy this Article


pp.2503-2507  INVITED PAPER
Consideration of Fault Tolerance in Autonomic Computing Environment
Yoshihiro TOHMA  
Summary | Full Text:PDF (343.2KB) >>
Buy this Article


pp.2508-2516  PAPER-Dependable Systems
A Transparent Transient Faults Tolerance Mechanism for Superscalar Processors
Toshinori SATO  
Summary | Full Text:PDF (1.8MB) >>
Buy this Article


pp.2517-2526  PAPER-Dependable Systems
PREGMA: A New Fault Tolerant Cluster Using COTS Components for Internet Services
Takeshi MISHIMA  Takeshi AKAIKE  
Summary | Full Text:PDF (743.9KB) >>
Buy this Article


pp.2527-2535  PAPER-Dependable Systems
A Self-Adjusting Destage Algorithm with High-Low Water Mark in Cached RAID5
Young Jin NAM  Chanik PARK  
Summary | Full Text:PDF (480.6KB) >>
Buy this Article


pp.2536-2543  PAPER-Dependable Systems
A Novel Learning Algorithm Which Makes Multilayer Neural Networks Multiple-Weight-Fault Tolerant
Itsuo TAKANAMI  Yasuhiro OYAMA  
Summary | Full Text:PDF (345.8KB) >>
Buy this Article


pp.2544-2552  PAPER-Dependable Software
A Three-tier Active Replication Protocol for Large Scale Distributed Systems
Carlo MARCHETTI  Sara Tucci PIERGIOVANNI  Roberto BALDONI  
Summary | Full Text:PDF (961.2KB) >>
Buy this Article


pp.2553-2562  PAPER-Dependable Software
Evaluation of Checkpointing Mechanism on SCore Cluster System
Masaaki KONDO  Takuro HAYASHIDA  Masashi IMAI  Hiroshi NAKAMURA  Takashi NANYA  Atsushi HORI  
Summary | Full Text:PDF (648.7KB) >>
Buy this Article


pp.2563-2570  PAPER-Dependable Software
Multidimensional Characterization of the Impact of Faulty Drivers on the Operating Systems Behavior
João DURÃES  Henrique MADEIRA  
Summary | Full Text:PDF (2.2MB) >>
Buy this Article


pp.2571-2578  PAPER-Dependable Software
Impact of Internal and External Software Faults on the Linux Kernel
Tahar JARBOUI  Jean ARLAT  Yves CROUZET  Karama KANOUN  Thomas MARTEAU  
Summary | Full Text:PDF (465.8KB) >>
Buy this Article


pp.2579-2587  PAPER-Dependable Communication
Feature Interaction Detection by Bounded Model Checking
Tomoyuki YOKOGAWA  Tatsuhiro TSUCHIYA  Masahide NAKAMURA  Tohru KIKUNO  
Summary | Full Text:PDF (590.3KB) >>
Buy this Article


pp.2588-2594  PAPER-Dependable Communication
An Algorithm for Node-to-Set Disjoint Paths Problem in Burnt Pancake Graphs
Keiichi KANEKO  
Summary | Full Text:PDF (330.8KB) >>
Buy this Article


pp.2595-2600  PAPER-Dependable Communication
Unequal Error Protection in Ziv-Lempel Coding
Eiji FUJIWARA  Masato KITAKAMI  
Summary | Full Text:PDF (580KB) >>
Buy this Article


pp.2601-2611  PAPER-Verification and Dependability Analysis
Partial Order Reduction for Timed Circuit Verification Based on Level Oriented Model
Tomoya KITAI  Yusuke OGURO  Tomohiro YONEDA  Eric MERCER  Chris MYERS  
Summary | Full Text:PDF (1006.1KB) >>
Buy this Article


pp.2612-2622  PAPER-Verification and Dependability Analysis
Formal Verification of an Intrusion-Tolerant Group Membership Protocol
HariGovind V. RAMASAMY  Michel CUKIER  William H. SANDERS  
Summary | Full Text:PDF (538.5KB) >>
Buy this Article


pp.2623-2633  PAPER-Verification and Dependability Analysis
Analyzing the Impact of Data Errors in Safety-Critical Control Systems
Orjan ASKERDAL  Magnus GAFVERT  Martin HILLER  Neeraj SURI  
Summary | Full Text:PDF (450.6KB) >>
Buy this Article


pp.2634-2641  PAPER-Verification and Dependability Analysis
Using VHDL-Based Fault Injection for the Early Diagnosis of a TTP/C Controller
Joaquín GRACIA  Juan C. BARAZA  Daniel GIL  Pedro J. GIL  
Summary | Full Text:PDF (724.1KB) >>
Buy this Article


pp.2642-2649  PAPER-Verification and Dependability Analysis
Dependability Evaluation with Fault Injection Experiments
Piotr GAWKOWSKI  Janusz SOSNOWSKI  
Summary | Full Text:PDF (176.6KB) >>
Buy this Article


pp.2650-2658  PAPER-Test
An Alternative Test Generation for Path Delay Faults by Using Ni-Detection Test Sets
Hiroshi TAKAHASHI  Kewal K. SALUJA  Yuzo TAKAMATSU  
Summary | Full Text:PDF (587.1KB) >>
Buy this Article


pp.2659-2665  PAPER-Test
Delay Fault Testing for CMOS Iterative Logic Arrays with a Constant Number of Patterns
Shyue-Kung LU  
Summary | Full Text:PDF (742KB) >>
Buy this Article


pp.2666-2673  PAPER-Test
Test Pattern Generation for CMOS Open Defect Detection by Supply Current Testing under AC Electric Field
Hiroyuki YOTSUYANAGI  Taisuke IWAKIRI  Masaki HASHIZUME  Takeomi TAMESADA  
Summary | Full Text:PDF (576.5KB) >>
Buy this Article


pp.2674-2683  PAPER-Test
A Test Plan Grouping Method to Shorten Test Length for RTL Data Paths under a Test Controller Area Constraint
Toshinori HOSOKAWA  Hiroshi DATE  Masahide MIYAZAKI  Michiaki MURAOKA  Hideo FUJIWARA  
Summary | Full Text:PDF (1.1MB) >>
Buy this Article


Regular Section

pp.2684-2690  PAPER-Computer System Element
Low Complexity Multiplexer-Based Parallel Multiplier of GF(2m)
Gi-Young BYUN  Heung-Soo KIM  
Summary | Full Text:PDF (879.5KB) >>
Buy this Article


pp.2691-2697  PAPER-Computer System Element
Detection of Autosymmetry in Logic Functions Using Spectrum Technique
Ryoji ISHIKAWA  Goro KODA  Kensuke SHIMIZU  
Summary | Full Text:PDF (246.5KB) >>
Buy this Article


pp.2698-2709  PAPER-Computer Systems
Comparative Performance Analysis of Ordering Strategies in Atomic Broadcast Algorithms
Xavier DEFAGO  Andre SCHIPER  Peter URBAN  
Summary | Full Text:PDF (768.9KB) >>
Buy this Article


pp.2710-2721  PAPER-Theory and Models of Software
Differential Evaluation of Fixpoints of Non-distributive Functions
Joonseon AHN  
Summary | Full Text:PDF (423.9KB) >>
Buy this Article


pp.2722-2730  PAPER-Databases
Mining Traversal Patterns on the Internet
Tzung-Shi CHEN  
Summary | Full Text:PDF (868.9KB) >>
Buy this Article


pp.2731-2742  PAPER-Databases
Translation for Constraint Descriptions into a Colored Petri Net to Analyze Object Migration Behavior
Hideki SATO  
Summary | Full Text:PDF (990.9KB) >>
Buy this Article


pp.2743-2752  PAPER-Fault Tolerance
An Efficiently Self-Reconstructing Array System Using E-1-Track Switches
Tadayoshi HORITA  Itsuo TAKANAMI  
Summary | Full Text:PDF (777.5KB) >>
Buy this Article


pp.2753-2763  PAPER-Pattern Recognition
Active Learning with Model Selection -- Simultaneous Optimization of Sample Points and Models for Trigonometric Polynomial Models
Masashi SUGIYAMA  Hidemitsu OGAWA  
Summary | Full Text:PDF (966.8KB) >>
Buy this Article


pp.2764-2774  PAPER-Pattern Recognition
Moving Target Detection and Tracking Using Edge Features Detection and Matching
Alireza BEHRAD  Seyed AHMAD MOTAMEDI  
Summary | Full Text:PDF (1.1MB) >>
Buy this Article


pp.2775-2779  PAPER-Speech and Hearing
A Packet Loss Recovery Method Using Packets Arrived behind the Playout Time for CELP Decoding
Masahiro SERIZAWA  Hironori ITO  
Summary | Full Text:PDF (772.2KB) >>
Buy this Article


pp.2780-2785  PAPER-Image Processing, Image Pattern Recognition
Color Transfer between Images Based on Basic Color Category
Youngha CHANG  Suguru SAITO  Masayuki NAKAJIMA  
Summary | Full Text:PDF (1.5MB) >>
Buy this Article


pp.2786-2789  LETTER-Applications of Information Security Techniques
Digital Image Watermarking Method Based on Vector Quantization with Labeled Codewords
Zhe-Ming LU  Wen XING  Dian-Guo XU  Sheng-He SUN  
Summary | Full Text:PDF (287.6KB) >>
Buy this Article


pp.2790-2793  LETTER-Medical Engineering
A Fuzzy Differential Diagnosis of Headache Applying Linear Regression Method and Fuzzy Classification
Jeong-Yong AHN  Young-Hyun KIM  Soon-Ki KIM  
Summary | Full Text:PDF (116.7KB) >>
Buy this Article


Previous | 
Next
go to Page Top