NAKAMURA Kazuhiro

J-GLOBAL         Last updated: Oct 5, 2018 at 20:15
 
Avatar
Name
NAKAMURA Kazuhiro
Affiliation
Nippon Institute of Technology
Section
Faculty of Engineering Department of Computer and Information Engineering
Degree
Doctor of Engineering(Nara Institute of Science and Technology)

Research Areas

 
 

Academic & Professional Experience

 
2013
 - 
2018
Nippon Institute of Technology
 
2006
 - 
2013
Assistant Professor, Nagoya University Graduate School of Information Science, Granduate School of Information Science Center for Embedded Computing Systems
 

Education

 
 
 - 
1997
Department of Information Science, Faculty of Science, Shimane University
 

Published Papers

 
Kazuhiro NAKAMURA, Masatoshi YAMAMOTO, Kazuyoshi TAKAGI, Naofumi TAKAGI
IEICE Transactions on Inf.&Syst.   E93-D(2) 300-305   2010   [Refereed]
Multi-Cycle Path Detection Based on Propositional Satisfiability with CNF Simplification Using Adaptive Variable Insertion
IEICE Transactions on Fundamentals   E83-A(12) 2600-2607   2000   [Refereed]
Timing Verfication of Sequential Logic Circuits Based Controlled Muti-clock Path Analysis
IEICE Transactions on Fundamentals   E81-A(12) 2515-2520   1998

Misc

 
Fast and Memory Efficient VLSI for Output Probability Computations of HMM-Based Recognition Systems
Proceedings of the 2008 IEEE International Symposium on Circuits and Systems   1688-1691   2008   [Refereed]
Development and Evaluation of Symbolic Model-Checker Based on Approximation for Real-Time Systems
J86-D-I(4) 232-247   2003
Proceedings of Asia and South Pacific Design Automation Conference (ASP-DAC 2001)   396-399   2001   [Refereed]
Proceedings of Asia and South Pacific Design Automation Conference (ASP-DAC 2001)   31-32   2001   [Refereed]
Proceedings of Asia and South Pacific Design Automation Conference (ASP-DAC 2000)   81-86   2000   [Refereed]

Research Grants & Projects

 
VLSI CAD Algorithm
Project Year: 1999