Tsuneo NAKATA


Precise Location by Fingerprinting Road Segments with Variation of Broadcast Wave Reception
Yuji KAMIYA Toru NAGURA Shigeki KAWAI Tsuneo NAKATA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2016/07/01
Vol. E99-A  No. 7  pp. 1465-1472
Type of Manuscript:  PAPER
Category: Intelligent Transport System
Keyword: 
positioningfingerprintingtrajectorymatchingFM broadcast
 Summary | Full Text:PDF(3.5MB)

Efficient Forward Model Checking Algorithm for ω-Regular Properties
Hiroaki IWASHITA Tsuneo NAKATA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1999/11/25
Vol. E82-A  No. 11  pp. 2448-2454
Type of Manuscript:  Special Section PAPER (Special Section on VLSI Design and CAD Algorithms)
Category: 
Keyword: 
forward model checkingω-regular expressionlanguage emptiness checksymbolic model checkingformal verification
 Summary | Full Text:PDF(515.4KB)

Integrated Design and Test Assistance for Pipeline Controllers
Hiroaki IWASHITA Tsuneo NAKATA Fumiyasu HIROSE 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1993/07/25
Vol. E76-D  No. 7  pp. 747-754
Type of Manuscript:  Special Section PAPER (Special Issue on VLSI Testing and Testable Design)
Category: 
Keyword: 
design verificationtest programVHDLRISC processor
 Summary | Full Text:PDF(600.3KB)