Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Nakata, Tsuneo
45  Ergebnisse:
Personensuche X
?
1

Data Traffic Offloading and Rate Control for Vehicles Using..:

, In: 2021 IEEE 32nd Annual International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC),
Ohseki, Takeo ; Yamazaki, Kosuke ; Maemoto, Daiki... - p. 1463-1468 , 2021
Link: https://doi.org/10.1109/..
 
?
2

Precise Location by Fingerprinting Road Segments with Varia..:

KAMIYA, Yuji ; NAGURA, Toru ; KAWAI, Shigeki.
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences.  E99.A (2016)  7 - p. 1465-1472 , 2016
Link: https://doi.org/10.1587/..
 
?
3

Session details: System level simulation and modeling:

, In: Proceedings of the 2009 Asia and South Pacific Design Automation Conference,
Mooney, Vincent J ; Nakata, Tsuneo , 2009
Link: https://dl.acm.org/doi/1..
 
?
4

Integrating UML into SoC Design Process:

, In: Proceedings of the conference on Design, Automation and Test in Europe - Volume 2,
Zhu, Qiang ; Oishi, Ryosuke ; Hasegawa, Takashi. - p. 836-837 , 2005
Link: https://dl.acm.org/doi/1..
 
?
5

System-on-chip validation using UML and CWL:

, In: Proceedings of the 2nd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis,
Zhu, Qiang ; Oishi, Ryosuke ; Hasegawa, Takashi. - p. 92-97 , 2004
Link: https://dl.acm.org/doi/1..
 
?
6

System-on-Chip Validation Using UML and CWL:

, In: Proceedings of the international conference on Hardware/Software Codesign and System Synthesis: 2004,
Zhu, Qiang ; Oishi, Ryosuke ; Hasegawa, Takashi. - p. 92-97 , 2004
Link: https://dl.acm.org/doi/1..
 
?
7

An object-oriented design process for system-on-chip using ..:

, In: Proceedings of the 15th international symposium on System Synthesis,
Zhu, Qiang ; Matsuda, Akio ; Kuwamura, Shinya.. - p. 249-254 , 2002
Link: https://dl.acm.org/doi/1..
 
?
8

Functional Verification of System on Chips-Practices, Issue..:

, In: Proceedings of the 2002 Asia and South Pacific Design Automation Conference,
Roy, Subir K. ; Ramesh, S. ; Chakraborty, Supratik.. - p. 11 ff. , 2002
Link: https://dl.acm.org/doi/1..
 
?
9

Formal verification based on assume and guarantee approach ..:

, In: Proceedings of the 2000 Asia and South Pacific Design Automation Conference,
Roy, Subir K. ; Iwashita, Hiroaki ; Nakata, Tsuneo - p. 77-80 , 2000
Link: https://dl.acm.org/doi/1..
 
?
10

Low-threshold amplification of vacuum-ultraviolet radiation..:

Takeoka, Masahiro ; Nakata, Tsuneo ; Kannari, Fumihiko
Journal of the Optical Society of America B.  15 (1998)  12 - p. 2967 , 1998
Link: https://doi.org/10.1364/..
 
?
11

Forward model checking techniques oriented to buggy designs:

, In: Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design,
Iwashita, Hiroaki ; Nakata, Tsuneo - p. 400-404 , 1997
Link: https://dl.acm.org/doi/1..
 
?
12

CTL model checking based on forward state traversal:

, In: Proceedings of the 1996 IEEE/ACM international conference on Computer-aided design,
Iwashita, Hiroaki ; Nakata, Tsuneo ; Hirose, Fumiyasu - p. 82-87 , 1997
Link: https://dl.acm.org/doi/1..
 
?
13

Picosecond VUV Pulse Generation by Dual-Wavelength-Pumped R..:

Nakata, Tsuneo ; Yamada, Tadashi ; Fumihiko Kannari, Fumihiko Kannari
Japanese Journal of Applied Physics.  34 (1995)  12R - p. 6401 , 1995
Link: https://doi.org/10.1143/..
 
?
14

Automatic test program generation for pipelined processors:

, In: Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design,
Iwashita, Hiroaki ; Kowatari, Satoshi ; Nakata, Tsuneo. - p. 580-583 , 1994
Link: https://dl.acm.org/doi/1..
 
?
15

Order-selective Raman conversion by dual-wavelength-pumped ..:

Nakata, Tsuneo ; Yamada, Tadashi ; Kannari, Fumihiko
Journal of the Optical Society of America B.  11 (1994)  11 - p. 2182 , 1994
Link: https://doi.org/10.1364/..
 
1-15