1993 - Formal verification method for digital circuits design
全件表示
論文 (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