Tsuneo Nakata

Publication Activity (10 Years)

Years Active: 1994-2021
Publications (10 Years): 2

Top Topics

Autonomous Vehicles

Top Venues

IEICE Trans. Fundam. Electron. Commun. Comput. Sci.

Publications

Takeo Ohseki, Kosuke Yamazaki, Daiki Maemoto, Shigeki Kawai, Tsuneo Nakata, Akira Itou
Data Traffic Offloading and Rate Control for Vehicles Using Radio Environment, Network Load and Route Planning. PIMRC (2021)
Yuji Kamiya, Toru Nagura, Shigeki Kawai, Tsuneo Nakata
Precise Location by Fingerprinting Road Segments with Variation of Broadcast Wave Reception. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (7) (2016)
Tsuneo Nakata, Shigeki Kawai
Precise Location by Fingerprinting Road Segments with Variation of Wireless Reception. VTC Spring (2014)
Qiang Zhu, Ryosuke Oishi, Takashi Hasegawa, Tsuneo Nakata
Integrating UML into SoC Design Process. DATE (2005)
Qiang Zhu, Tsuneo Nakata, Masataka Mine, Kenichiro Kuroki, Yoichi Endo, Takashi Hasegawa
System-on-Chip Verification Process Using UML. UML Satellite Activities (2004)
Qiang Zhu, Ryosuke Oishi, Takashi Hasegawa, Tsuneo Nakata
System-on-chip validation using UML and CWL. CODES+ISSS (2004)
Tsuneo Nakata
Multi-event algorithms and protocols for fast and robust distributed mesh provisioning and restoration. Bell Labs Tech. J. 7 (3) (2003)
Tsuneo Nakata, Akio Matsuda, Minoru Shoji, Shinya Kuwamura, Qiang Zhu
An Object-Oriented Design Process for System-on-Chip Using UML. ISSS (2002)
Subir K. Roy, S. Ramesh, Supratik Chakraborty, Tsuneo Nakata, Sreeranga P. Rajan
Functional Verification of System on Chips-Practices, Issues and Challenges (Tutorial Abstract). VLSI Design (2002)
Kwame Osei Boateng, Hideaki Konishi, Tsuneo Nakata
A Method of Static Compaction of Test Stimuli. Asian Test Symposium (2001)
Subir K. Roy, Hiroaki Iwashita, Tsuneo Nakata
Formal verification based on assume and guarantee approach - a case study (short paper). ASP-DAC (2000)
Subir K. Roy, Hiroaki Iwashita, Tsuneo Nakata
Dataflow Analysis for Resource Contention and Register Leakage Properties. VLSI Design (2000)
Koichiro Takayama, Taizo Satoh, Tsuneo Nakata, Fumiyasu Hirose
An approach to verify a large scale system-on-a-chip using symbolic model checking. ICCD (1998)
Hiroaki Iwashita, Tsuneo Nakata
Forward model checking techniques oriented to buggy designs. ICCAD (1997)
Hiroaki Iwashita, Tsuneo Nakata, Fumiyasu Hirose
CTL model checking based on forward state traversal. ICCAD (1996)
Hiroaki Iwashita, Satoshi Kowatari, Tsuneo Nakata, Fumiyasu Hirose
Automatic test program generation for pipelined processors. ICCAD (1994)