-
[文献書誌] 渡邉勝正、朱強、相良かおる、木村晋二: "能動型プログラミングとスレッドによる実現"日本ソフトウェア科学会第16回大会論文集. E5-1. 193-196 (1999)
-
[文献書誌] T.Horiyama and T.Ibaraki: "Ordered Binary Decision Diahrams as Knowledge-Bases"Lecture Notes in Computer Science (LNCS). 174. 83-92 (1999)
-
[文献書誌] S.Kimura,H.Kida,K.Takagi 他: "An Apptication Specific Java Processor with Recnfigurahilities"Proc.of Asia and South Pacific Design Automoaion Conference. 25-26 (2000)
-
[文献書誌] O.Ogawa,K,,Y.Itoh,S.Kimura K.Watanabe: "Hardware Synthesis form C Programs with Estimation"IEICE Trars.Fundamentals. E82-A,11. 2338-2346 (1999)
-
[文献書誌] Q.Zhu,Y.Matsunaga,J.Kimura,K.Watanabe: "Multi-level Logic Simplification using Satisfiavility Don't Cares"Proc.6th Conf.on Asia Pacific chip Design Language. 127-131 (1999)
-
[文献書誌] K.Nakamura,S.Marura,S.Kimura,K.Watanabe: "Multi-Clock Path Aralysis Using Propositional Satistiavility"Proc.of Asia and South Pacijic Design Autoination Conternce. 81-86 (2000)