Top > Back > 学術論文・プロシーディングス・著作 の検索結果 30 件中 1‐30 件目
| Exploration strategies for balancing efficiency and comprehensibility in model checking with ant colony optimization |
| [ 全著者名 ] Tsutomu Kumazawa, Munehiro Takimoto and Yasushi Kambayashi |
| [ 掲載誌名 ] J. Inf. Telecommun. |
| [ 掲載年月 ] 2022年 12月 |
| [ 著作区分 ] レフェリー付学術論文（外国語） |
| Scalar Replacement Considering Branch Divergence |
| [ 全著者名 ] Junji Fukuhara and Munehiro Takimoto |
| [ 掲載誌名 ] J. Inf. Process. |
| [ 掲載年月 ] 2022年 3月 |
| [ 著作区分 ] レフェリー付学術論文（外国語） |
| Branch Divergence Reduction Based on Code Motion |
| [ 全著者名 ] Junji Fukuhara and Munehiro Takimoto |
| [ 掲載誌名 ] J. Inf. Process |
| [ 掲載年月 ] 2021年 2月 |
| [ 著作区分 ] レフェリー付学術論文（外国語） |
| Ant Colony Optimization based model checking extended by smell-like pheromone with hop counts |
| [ 全著者名 ] Tsutomu Kumazawa, Keiichiro Takada, Munehiro Takimoto and Yasushi Kambayashi |
| [ 掲載誌名 ] Swarm Evol. Comput. |
| [ 掲載年月 ] 2020年 2月 |
| [ 著作区分 ] レフェリー付学術論文（外国語） |
| Multi-Agent Base Evacuation Support System Using MANET |
| [ 全著者名 ] Shohei Taga, Tomofumi Matsuzawa, Munehiro Takimoto and Yasushi Kambayashi |
| [ 掲載誌名 ] Vietnam J. Computer Science |
| [ 掲載年月 ] 2019年 11月 |
| [ 著作区分 ] レフェリー付学術論文（外国語） |
| Multi-Agent Base Evacuation Support System Considering Altitude |
| [ 全著者名 ] Shohei Taga, Tomofumi Matsuzawa, Munehiro Takimoto and Yasushi Kambayashi |
| [ 掲載誌名 ] Proceedings of the 11th International Conference on Agents and Artificial Intelligence, (ICAART) |
| [ 掲載年月 ] 2019年 2月 |
| [ 著作区分 ] レフェリー付学術論文（外国語） |
| Ant Colony Optimization based model checking extended by smell-like pheromone with hop counts |
| [ 全著者名 ] Tsutomu Kumazawa, Keiichiro Takada, Munehiro Takimoto and Yasushi Kambayashi |
| [ 掲載誌名 ] Swarm and Evolutionary Computation |
| [ 掲載年月 ] 2019年 2月 |
| [ 著作区分 ] レフェリー付学術論文（外国語） |
| Ant Colony Optimization Based Model Checking Extended by Smell-like Pheromone |
| [ 全著者名 ] Tsutomu Kumazawa, Chihiro Yokoyama, Munehiro Takimoto and Yasushi Kambayashi |
| [ 掲載誌名 ] EAI Endorsed Transactions on Industrial Networks and Intelligent Systems |
| [ 掲載年月 ] 2016年 4月 |
| [ 著作区分 ] レフェリー付学術論文（外国語） |
| Predictive Distributed Formation Control for Swarm Robots Using Mobile Agents |
| [ 全著者名 ] Oikawa Ryotaro, Munehiro Takimoto, and Yasushi Kambayashi |
| [ 掲載誌名 ] Transactions on Automatic Control and Computer Science |
| [ 掲載年月 ] 2016年 3月 |
| [ 著作区分 ] レフェリー付学術論文（外国語） |
| Global load instruction aggregation based on dimensions of arrays |
| [ 全著者名 ] Yasunobu Sumikawa and Munehiro Takimoto |
| [ 掲載誌名 ] Computers & Electrical Engineering |
| [ 掲載年月 ] 2016年 2月 |
| [ 著作区分 ] レフェリー付学術論文（外国語） |
| Distributed Evacuation Route Planning Using Mobile Agents |
| [ 全著者名 ] Alejandro Aviles del Moral, Munehiro Takimoto and Yasushi Kambayashi |
| [ 掲載誌名 ] Transactions on Computational Collective Intelligence |
| [ 掲載年月 ] 2014年 11月 |
| [ 著作区分 ] レフェリー付学術論文（外国語） |
| Clustering multiple robots with serialisation |
| [ 全著者名 ] Yasushi Kambayashi, Keisuke Satta, Ko Shibata, Shota Sugiyama, Munehiro Takimoto and Hidemi Yamachi |
| [ 掲載誌名 ] International Journal of Intelligent Information and Database Systems |
| [ 掲載年月 ] 2014年 11月 |
| [ 著作区分 ] レフェリー付学術論文（外国語） |
| Cooperatively Searching Objects Based on Mobile Agents |
| [ 全著者名 ] Takashi Nagata, Munehiro Takimoto, and Yasushi Kambayashi |
| [ 掲載誌名 ] Transactions on Computational Collective Intelligence |
| [ 掲載年月 ] 2013年 11月 |
| [ 著作区分 ] レフェリー付学術論文（外国語） |
| Effective Demand-driven Partial Redundancy Elimination |
| [ 全著者名 ] Yasunobu Sumikawa and Munehiro Takimoto |
| [ 掲載誌名 ] IPSJ Trans. Programming |
| [ 掲載年月 ] 2013年 8月 |
| [ 著作区分 ] レフェリー付学術論文（外国語） |
| Demand-driven Partial Dead Code Elimination |
| [ 全著者名 ] Munehiro Takimoto |
| [ 掲載誌名 ] Information Processing Society of Japan Transactions on Programming |
| [ 掲載年月 ] 2012年 3月 |
| [ 著作区分 ] レフェリー付学術論文（外国語） |
| 質問伝播に基づく投機的部分冗長除去 |
| [ 全著者名 ] 滝本宗宏 |
| [ 掲載誌名 ] 情報処理学会論文誌 プログラミング（PRO） |
| [ 掲載年月 ] 2009年 11月 |
| [ 著作区分 ] レフェリー付学術論文（日本語） |
| Integrating Ant Colony Clustering to a Multi-Robot System Using Mobile Agents |
| [ 全著者名 ] Y. Kambayashi, M. Ugajin, O. Sato, Y. Tsujimura, H. Yamachi, M. Takimoto and H. Yamamoto |
| [ 掲載誌名 ] International Journal of Industrial Engineering and Management Systems |
| [ 掲載年月 ] 2009年 8月 |
| [ 著作区分 ] レフェリー付学術論文（外国語） |
| 静的単一代入形式を用いた最適化（導入編） |
| [ 全著者名 ] 佐々 政孝、滝本 宗宏 |
| [ 掲載誌名 ] 日本ソフトウェア科学会コンピュータソフトウェア |
| [ 掲載年月 ] 2008年 1月 |
| [ 著作区分 ] レフェリー付学術論文（日本語） |
| 静的単一代入形式を用いた最適化（発展編） |
| [ 全著者名 ] 滝本 宗宏、佐々 政孝 |
| [ 掲載誌名 ] 日本ソフトウェア科学会コンピュータソフトウェア |
| [ 掲載年月 ] 2008年 1月 |
| [ 著作区分 ] レフェリー付学術論文（日本語） |
| 部分冗長除去に基づく大域命令スケジューリング |
| [ 全著者名 ] 勝原 達也、滝本 宗宏 |
| [ 掲載誌名 ] 情報処理学会論文誌：プログラミング |
| [ 掲載年月 ] 2007年 8月 |
| [ 著作区分 ] レフェリー付学術論文（日本語） |
| コンパイラ・インフラストラクチャにおける静的単一代入形式最適化部の実現 |
| [ 全著者名 ] 佐々政孝, 福岡岳穂 |
| [ 掲載誌名 ] 情報処理学会論文誌：プログラミング |
| [ 掲載年月 ] 2006年 2月 |
| [ 著作区分 ] レフェリー付学術論文（日本語） |
| 疎な要求駆動型データフロー解析 |
| [ 全著者名 ] 福岡岳穂, 佐々政孝, 原田賢一 |
| [ 掲載誌名 ] 情報処理学会論文誌：プログラミング |
| [ 掲載年月 ] 2005年 8月 |
| [ 著作区分 ] レフェリー付学術論文（日本語） |
| プログラムスライシングに基づく関心事グラフ構築 |
| [ 全著者名 ] 亀田大輔 |
| [ 掲載誌名 ] 情報処理学会論文誌：プログラミング |
| [ 掲載年月 ] 2005年 8月 |
| [ 著作区分 ] レフェリー付学術論文（日本語） |
| Higher-Order Mobile Agents for Controlling Intelligent Robots |
| [ 全著者名 ] Y Kambayashi M.Takimoto |
| [ 掲載誌名 ] International Journal of Intelligent Information Technologies |
| [ 掲載年月 ] 2005年 |
| [ 著作区分 ] レフェリー付学術論文（外国語） |
| 一般支配関係の効率的な検査法 |
| [ 全著者名 ] 武田 正之 |
| [ 掲載誌名 ] 情報処理学会論文誌プログラミング |
| [ 掲載年月 ] 2003年 11月 |
| [ 著作区分 ] レフェリー付学術論文（日本語） |
| 個人情報の分散協調保護機構のWebサービスへの適用とその実現 |
| [ 全著者名 ] 小林 直記、真柄 喬史、滝本 宗宏、武田 正之 |
| [ 掲載誌名 ] FIT2003情報科学技術フォーラム |
| [ 掲載年月 ] 2003年 |
| [ 著作区分 ] レフェリー付学術論文（日本語） |
| May 別名除去 |
| [ 全著者名 ] 滝本 宗宏，武田 正之 |
| [ 掲載誌名 ] 情報処理学会論文誌：プログラミング |
| [ 掲載年月 ] 2002年 9月 |
| [ 著作区分 ] レフェリー付学術論文（日本語） |
| 別名情報に基づくレジスタ促進 |
| [ 全著者名 ] 滝本 宗宏，原田 賢一 |
| [ 掲載誌名 ] 情報処理学会論文誌：プログラミング |
| [ 掲載年月 ] 2002年 9月 |
| [ 著作区分 ] レフェリー付学術論文（日本語） |
| 拡張値グラフを用いた部分無効コード除去法 |
| [ 全著者名 ] 原田 賢一 |
| [ 掲載誌名 ] 情報処理学会論文誌 |
| [ 掲載年月 ] 2000年 1月 |
| [ 著作区分 ] レフェリー付学術論文（日本語） |
| 拡張値グラフに基づく効果的な部分冗長除去 |
| [ 全著者名 ] 原田 賢一 |
| [ 掲載誌名 ] 情報処理学会論文誌 |
| [ 掲載年月 ] 1997年 11月 |
| [ 著作区分 ] レフェリー付学術論文（日本語） |
Previous
|
1
|
Next
