1993 - 1994 Development of ASIC Design Support System
1993 - 1993 代数的手法を用いたプログラムの階層的設計と開発環境に関する研究
1993 - デイジタル回路設計に対する設計および形式的検証
1993 - Formal verification method for digital circuits design
Show all
Papers (1):
N Funaibiki, J Kitamichi. A gradual neural network algorithm for broadcast scheduling problems in packet radio networks. IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES. 1999. E82A. 5. 815-824
MISC (14):
Kazunori Nemoto, Junji Kitamichi. Improvement of Accuracy and Processing Speed of a Maximum Neural Network Algorithm for a Channel Assignment Problem. 2010 International Symposium on Nonlinear Theory and its Applications(NOLTA2010). 2010