Michiko INOUE


Byzantine-Tolerant Gathering of Mobile Agents in Arbitrary Networks with Authenticated Whiteboards
Masashi TSUCHIDA Fukuhito OOSHITA Michiko INOUE 
Publication:   
Publication Date: 2018/03/01
Vol. E101-D  No. 3  pp. 602-610
Type of Manuscript:  Special Section PAPER (Special Section on Foundations of Computer Science — Frontiers of Theoretical Computer Science —)
Category: 
Keyword: 
mobile agentgathering problemByzantine fault
 Summary | Full Text:PDF(378.4KB)

An Effective and Sensitive Scan Segmentation Technique for Detecting Hardware Trojan
Fakir Sharif HOSSAIN Tomokazu YONEDA Michiko INOUE 
Publication:   
Publication Date: 2017/01/01
Vol. E100-D  No. 1  pp. 130-139
Type of Manuscript:  PAPER
Category: Dependable Computing
Keyword: 
hardware Trojanscan segmentationLoC patternspower side-channel analysisTDGP
 Summary | Full Text:PDF(2.2MB)

Reliability-Enhanced ECC-Based Memory Architecture Using In-Field Self-Repair
Gian MAYUGA Yuta YAMATO Tomokazu YONEDA Yasuo SATO Michiko INOUE 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2016/10/01
Vol. E99-D  No. 10  pp. 2591-2599
Type of Manuscript:  PAPER
Category: Dependable Computing
Keyword: 
memory repairmemory reliabilityin-field test and repairECCin-field repair strategyremapping
 Summary | Full Text:PDF(2.4MB)

Test Pattern Ordering and Selection for High Quality Test Set under Constraints
Michiko INOUE Akira TAKETANI Tomokazu YONEDA Hideo FUJIWARA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2012/12/01
Vol. E95-D  No. 12  pp. 3001-3009
Type of Manuscript:  PAPER
Category: Dependable Computing
Keyword: 
small delay defectsSDQLATPG
 Summary | Full Text:PDF(850.8KB)

Design for Testability Method to Avoid Error Masking of Software-Based Self-Test for Processors
Masato NAKAZATO Michiko INOUE Satoshi OHTAKE Hideo FUJIWARA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2008/03/01
Vol. E91-D  No. 3  pp. 763-770
Type of Manuscript:  Special Section PAPER (Special Section on Test and Verification of VLSIs)
Category: High-Level Testing
Keyword: 
software-based self-testprocessortest program templatedesign for testabilityerror maskingat-speed testing
 Summary | Full Text:PDF(522.6KB)

FOREWORD
Seiji KAJIHARA Michiko INOUE 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2008/03/01
Vol. E91-D  No. 3  pp. 640-641
Type of Manuscript:  FOREWORD
Category: 
Keyword: 
 Summary | Full Text:PDF(76.4KB)

A Low Power Deterministic Test Using Scan Chain Disable Technique
Zhiqiang YOU Tsuyoshi IWAGAKI Michiko INOUE Hideo FUJIWARA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2006/06/01
Vol. E89-D  No. 6  pp. 1931-1939
Type of Manuscript:  PAPER
Category: Dependable Computing
Keyword: 
low power testingfull scan testingdeterministic testscan chain disabletabu search algorithm
 Summary | Full Text:PDF(638.3KB)

Power-Constrained Test Synthesis and Scheduling Algorithms for Non-Scan BIST-able RTL Data Paths
Zhiqiang YOU Ken'ichi YAMAGUCHI Michiko INOUE Jacob SAVIR Hideo FUJIWARA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2005/08/01
Vol. E88-D  No. 8  pp. 1940-1947
Type of Manuscript:  PAPER
Category: Dependable Computing
Keyword: 
design for testabilityRTL data pathbuilt-in self-testlow power testingtest scheduling
 Summary | Full Text:PDF(447.5KB)

Delay Fault Testing of Processor Cores in Functional Mode
Virendra SINGH Michiko INOUE Kewal K. SALUJA Hideo FUJIWARA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2005/03/01
Vol. E88-D  No. 3  pp. 610-618
Type of Manuscript:  PAPER
Category: Dependable Computing
Keyword: 
processor testdelay fault testingsoftware-based self-testat-speed test
 Summary | Full Text:PDF(331.2KB)

Fault-Tolerant and Self-Stabilizing Protocols Using an Unreliable Failure Detector
Hiroyoshi MATSUI Michiko INOUE Toshimitsu MASUZAWA Hideo FUJIWARA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2000/10/25
Vol. E83-D  No. 10  pp. 1831-1840
Type of Manuscript:  PAPER
Category: Algorithms
Keyword: 
distributed algorithmsself-stabilizationfault-tolerancefailure detectorx-group consensus
 Summary | Full Text:PDF(514.1KB)

Wait-Free Linearizable Distributed Shared Memory
Sen MORIYA Katsuro SUDA Michiko INOUE Toshimitsu MASUZAWA Hideo FUJIWARA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2000/08/25
Vol. E83-D  No. 8  pp. 1611-1621
Type of Manuscript:  PAPER
Category: Algorithms
Keyword: 
synchronous message-passing systemdistributed shared memorylinearizabilitywait-freedom
 Summary | Full Text:PDF(658.2KB)

Fault-Tolerance of Distributed Algorithms: Self-Stabilization and Wait-Freedom
Toshimitsu MASUZAWA Michiko INOUE 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2000/03/25
Vol. E83-D  No. 3  pp. 550-560
Type of Manuscript:  INVITED SURVEY PAPER
Category: Parallel and Distributed Algorithms
Keyword: 
distributed systemdistributed algorithmsfault-toleranceself-stabilizationwait-freedom
 Summary | Full Text:PDF(479.5KB)

Parallel Algorithms for the All Nearest Neighbors of Binary Image on the BSP Model
Takashi ISHIMIZU Akihiro FUJIWARA Michiko INOUE Toshimitsu MASUZAWA Hideo FUJIWARA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2000/02/25
Vol. E83-D  No. 2  pp. 151-158
Type of Manuscript:  PAPER
Category: Algorithms
Keyword: 
parallel algorithmBSP modelall nearest neighbors
 Summary | Full Text:PDF(642.8KB)

High-Level Synthesis for Weakly Testable Data Paths
Michiko INOUE Kenji NODA Takeshi HIGASHIMURA Toshimitsu MASUZAWA Hideo FUJIWARA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1998/07/25
Vol. E81-D  No. 7  pp. 645-653
Type of Manuscript:  Special Section PAPER (Special Issue on Test and Diagnosis of VLSI)
Category: Test Synthesis
Keyword: 
high-level synthesistestabilitysequential ATPGnon-scan design
 Summary | Full Text:PDF(894.6KB)

Efficient Linearizable Implementation of Shared FIFO Queues and General Objects on a Distributed System
Michiko INOUE Toshimitsu MASUZAWA Nobuki TOKURA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1998/05/25
Vol. E81-A  No. 5  pp. 768-775
Type of Manuscript:  Special Section PAPER (Special Section on Discrete Mathematics and Its Applications)
Category: 
Keyword: 
distributed systemshared objectFIFO queuelinearizability
 Summary | Full Text:PDF(756.9KB)

A Simple Parallel Algorithm for the Medial Axis Transform
Akihiro FUJIWARA Michiko INOUE Toshimitsu MASUZAWA Hideo FUJIWARA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1996/08/25
Vol. E79-D  No. 8  pp. 1038-1045
Type of Manuscript:  Special Section PAPER (Special Issue on Architectures, Algorithms and Networks for Massively Parallel Computing)
Category: Algorithms
Keyword: 
parallel algorithmimage processingmedial axis transformPRAMmeshhypercube
 Summary | Full Text:PDF(637.4KB)