検索結果 182 件
紙図書
国立国会図書館
- 件名制約解消 / グリッド / 並列計算
- その他のタイトル研究種目 基盤研究(C) グリッド計算機環境上で動作する並列制約解消システムに関する研究
紙図書
国立国会図書館
- 件名記号・代数計算 / 代数制約解法 / Groebner基底 / 不等式制約解法 / パラメトリックシステム / Galois群計算 /...
紙図書
国立国会図書館
- 件名リアルタイムシステム / パラメトリックモデル検査 / HW/SWコデザイン / オンチップCPU / 時間制約 / スケジューリング / 性能解析 / 実時間制約
紙図書
国立国会図書館
- 件名発電機起動停止問題 / 最適化手法 / 拡張優先リスト法 / 整数混合最適化問題 / 送電線制約 / ランプ制約 / 大規模最適化問題 / 経済負荷配分