文献

J-GLOBAL ID：200902284168664699   整理番号：05A0745567

並列分枝限定法と動的探索木分割によるクラスタシステム向き最適順序付けアルゴリズム

Optimum Ordering Algorithm Suitable for Cluster System Based on Parallel Branch and Bound Method and Dynamic Division of Search Tree

著者 (1件)： 平石裕実 (京都産大)
資料名： 情報処理学会論文誌  (IPSJ Journal)
巻： 46  号： SIG12(ACS11)  ページ： 330-337  発行年： 2005年08月15日 
JST資料番号： Z0778A  ISSN： 0387-5806  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： Task Control Architecture(TCA)...

シソーラス用語： *並列アルゴリズム ,...
準シソーラス用語： クラスタシステム ,...

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=05A0745567&from=J-GLOBAL&jstjournalNo=Z0778A") }}

分類 (3件)： ディジタル計算機方式一般  (JC02010O) ,  ロボットの運動・制御  (IC04012J) ,  計算機システム開発  (JD02010R)

引用文献 (17件)：

• SIMMONS, R. Concurrent planning and execution for autonomous robots. IEEE Control Systems. 1992, 12, 1, 46-50
• SIMMONS, R. Structured control for autonomous robots. IEEE Trans. Robotics and Automation. 1994, 10, 1, 34-43
• HIRAISHI, H. Symbolic Model Checking of Deadlock Free Property of Task Control Architecture. IEICE Trans. Inf. & Syst., D. 2002, E85, 10, 1579-1586
• CLARKE, E. Automatic verification of finite state concurrent systems using temporal logic specifications : A practical approach. Proc. 10th ACM Symp. Principles of Programming Languages, 1983. 1983, 117-126
• BURCH, J. Representing circuits more efficiently in symbolic model checking. Proc. 28th Design Automation Conference, 1991. 1991

タイトルに関連する用語 (5件)： 分枝限定法 ,  探索木 ,  クラスタシステム ,  順序付け ,  アルゴリズム