Michiko INOUE


Cost-Efficient Recycled FPGA Detection through Statistical Performance Characterization Framework
Foisal AHMED Michihiro SHINTANI Michiko INOUE 
Publication:   
Publication Date: 2020/09/01
Vol. E103-A  No. 9  pp. 1045-1053
Type of Manuscript:  Special Section PAPER (Special Section on Circuits and Systems)
Category: 
Keyword: 
field-programmable gate array (FPGA)recycled FPGA detectioncompressed sensingFPGA fingerprinting
 Summary | Full Text:PDF

Byzantine-Tolerant Gathering of Mobile Agents in Asynchronous Arbitrary Networks with Authenticated Whiteboards
Masashi TSUCHIDA Fukuhito OOSHITA Michiko INOUE 
Publication:   
Publication Date: 2020/07/01
Vol. E103-D  No. 7  pp. 1672-1682
Type of Manuscript:  PAPER
Category: Dependable Computing
Keyword: 
mobile agentgathering problemByzantine fault
 Summary | Full Text:PDF

Register-Transfer-Level Features for Machine-Learning-Based Hardware Trojan Detection
Hau Sim CHOO Chia Yee OOI Michiko INOUE Nordinah ISMAIL Mehrdad MOGHBEL Chee Hoo KOK 
Publication:   
Publication Date: 2020/02/01
Vol. E103-A  No. 2  pp. 502-509
Type of Manuscript:  PAPER
Category: VLSI Design Technology and CAD
Keyword: 
hardware Trojanmachine learningintegrated circuitfeature extractionregister-transfer level
 Summary | Full Text:PDF

Space-Optimal Population Protocols for Uniform Bipartition Under Global Fairness
Hiroto YASUMI Fukuhito OOSHITA Ken'ichi YAMAGUCHI Michiko INOUE 
Publication:   
Publication Date: 2019/03/01
Vol. E102-D  No. 3  pp. 454-463
Type of Manuscript:  Special Section PAPER (Special Section on Foundations of Computer Science — Algorithm, Theory of Computation, and their Applications —)
Category: 
Keyword: 
population protocoluniform bipartitiondistributed protocol
 Summary | Full Text:PDF

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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