Top   >   Back   >   学術論文・プロシーディングス・著作 の検索結果 30 件中 130 件目

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年
[ 著作区分 ] レフェリー付学術論文(日本語)
別名情報に基づくレジスタ促進
[ 全著者名 ] 滝本 宗宏,原田 賢一 
[ 掲載誌名 ] 情報処理学会論文誌:プログラミング 
[ 掲載年月 ] 2002年 9月
[ 著作区分 ] レフェリー付学術論文(日本語)
May 別名除去
[ 全著者名 ] 滝本 宗宏,武田 正之
[ 掲載誌名 ] 情報処理学会論文誌:プログラミング 
[ 掲載年月 ] 2002年 9月
[ 著作区分 ] レフェリー付学術論文(日本語)
拡張値グラフを用いた部分無効コード除去法
[ 全著者名 ] 原田 賢一
[ 掲載誌名 ] 情報処理学会論文誌
[ 掲載年月 ] 2000年 1月
[ 著作区分 ] レフェリー付学術論文(日本語)
拡張値グラフに基づく効果的な部分冗長除去
[ 全著者名 ] 原田 賢一
[ 掲載誌名 ] 情報処理学会論文誌
[ 掲載年月 ] 1997年 11月
[ 著作区分 ] レフェリー付学術論文(日本語)
Previous | 1 | Next