二分決定グラフを用いた論理回路の自動合成に関する研究
二分決定グラフを用いた論理回路の自動合成に関する研究
批准号:
04750340
负责人:
木村 晋二
金额:
$0.51万
依托单位:
依托单位国家:
日本
项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份:
1992
资助国家:
日本
项目状态:
已结题
起止时间:
1992 至 --
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
再構成アクセラレータのための近似最適化手法
-
批准号:23K28056
-
项目类别:Grant-in-Aid for Scientific Research (B)
-
资助金额:$6.41万
-
财政年份:2024
-
负责人:木村 晋二
-
依托单位:
再構成アクセラレータのための近似最適化手法
-
批准号:23H03366
-
项目类别:Grant-in-Aid for Scientific Research (B)
-
资助金额:$12.15万
-
财政年份:2023
-
负责人:木村 晋二
-
依托单位:
サテライトコンピューティングシステムの信頼性と高性能化
-
批准号:21F21376
-
项目类别:Grant-in-Aid for JSPS Fellows
-
资助金额:$0.7万
-
财政年份:2021
-
负责人:木村 晋二
-
依托单位:
論理回路の合成手法および最適化手法の高速化に関する研究
-
批准号:08780282
-
项目类别:Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额:$0.64万
-
财政年份:1996
-
负责人:木村 晋二
-
依托单位:
論理回路の縮約モデルの自動抽出とそれを用いた大規模論理回路の設計検証に関する研究
-
批准号:07780268
-
项目类别:Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额:$0.58万
-
财政年份:1995
-
负责人:木村 晋二
-
依托单位:
パイプライン処理の形式的並列設計検証手法に関する研究
-
批准号:06780266
-
项目类别:Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额:$0.64万
-
财政年份:1994
-
负责人:木村 晋二
-
依托单位:
順序機械の設計検証のための暗黙状態数え上げの並列化に関する研究
-
批准号:05780253
-
项目类别:Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额:$0.58万
-
财政年份:1993
-
负责人:木村 晋二
-
依托单位:
二分決定グラフの並列構成アルゴリズムおよびその設計検証への応用に関する研究
-
批准号:03750289
-
项目类别:Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额:$0.64万
-
财政年份:1991
-
负责人:木村 晋二
-
依托单位: