IEICE Trans

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 detection, compressed sensing, FPGA 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 agent, gathering problem, Byzantine 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 Trojan, machine learning, integrated circuit, feature extraction, register-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 protocol, uniform bipartition, distributed 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 agent, gathering problem, Byzantine 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 Trojan, scan segmentation, LoC patterns, power side-channel analysis, TDGP,
	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 repair, memory reliability, in-field test and repair, ECC, in-field repair strategy, remapping,
	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 defects, SDQL, ATPG,
	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-test, processor, test program template, design for testability, error masking, at-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 testing, full scan testing, deterministic test, scan chain disable, tabu 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 testability, RTL data path, built-in self-test, low power testing, test 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 test, delay fault testing, software-based self-test, at-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 algorithms, self-stabilization, fault-tolerance, failure detector, x-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 system, distributed shared memory, linearizability, wait-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 system, distributed algorithms, fault-tolerance, self-stabilization, wait-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 algorithm, BSP model, all 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 synthesis, testability, sequential ATPG, non-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 system, shared object, FIFO queue, linearizability,
	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 algorithm, image processing, medial axis transform, PRAM, mesh, hypercube,
	Summary \| Full Text:PDF