Tsuneo Nakata

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