Fuce言語HALの設計と実装
スポンサーリンク
概要
- 論文の詳細を見る
In our previous works, we introduced a higer intermidiate language called IML for the Fuce processor, and discussed special programming methods for stream processing on Fuce. However, without realization of the language HAL and its compiler, it is difficult to utilize the power of these tools. In this paper, we discuss the implementation techniques for constructing the HAL compiler including powerful optimization functionalities.
著者
-
越村 三幸
九州大学大学院システム情報科学研究院
-
雨宮 聡史
九州大学大学院システム情報科学研究院
-
雨宮 聡史
九州大学大学院システム情報科学府知能システム学専攻
-
平兮 亮
九州大学大学院システム情報科学府知能システム学専攻
-
越村 三幸
九州大学大学院システム情報科学研究院知能システム部門
-
雨宮 聡史
九州大学大学院システム情報科学研究院情報学部門
関連論文
- 帰納論理プログラミングを用いたブログからのルール抽出 (「Web情報処理」および一般発表)
- モデル列挙とモデル計数(最近のSAT技術の発展)
- ODPを利用したユーザプロファイルを用いた個人化検索システム(情報検索)
- 帰納論理プログラミングを用いたWebページ評価ルールの抽出とその評価(「Webインテリジェンス」及び一般)
- 2C-6 Blogデータのクラスタリングと分析(コンテンツ推薦,一般セッション,データベースとメディア)
- 関連単語抽出アルゴリズムを用いたWeb検索クエリの生成(Web情報検索,データ工学論文)
- F-039 モデル生成法を用いた極小モデル生成(人工知能・ゲーム,一般論文)
- Wikipediaへの関連単語抽出アルゴリズムの適用とその評価(Wikipedia)
- 関連単語抽出アルゴリズムを用いたWeb検索クエリの生成(Web解析・検索クエリ)
- 1V-6 変数のアクティビティ情報を共有するマルチスレッドSATソルバ(学習・推論,学生セッション,人工知能と認知科学)
- 6S-9 ユーザーのスケジュールを用いたWebページ推薦(ユーザ指向・推薦,学生セッション,データベースとメディア)
- D-008 相関ルールに基づく文書検索システム(D分野:データベース)
- スケジュールに基づくWebページ推薦に用いる検索単語の選定(WEBサービス,特集「Web情報処理」及び一般)
- スケジュールに基づく Web ページ推薦に用いる検索単語の選定
- FPGA上のSATソルバPCMGTPへの前処理の導入
- D_024 ユーザの意思を反映したWeb検索の効率化(D分野:データベース)
- ユーザフィードバックを利用したACP2P法とその評価(一般,膨大なデータから学ぶもの)
- マルチエージェントシステムのための基盤ネットワーク構成手法(モバイル/ユビキタス/P2P,ソフトウェアエージェントとその応用論文)
- 継続概念による割り込みなし並列I/O処理モデル(継続点)
- D-6-4 Fuceプロセッサに搭載するInter-thread Bridge Registerの検討(D-6.コンピュータシステムA(アーキテクチャ),一般講演)
- 継続モデルにデータ要求概念を適用したスレッド駆動制御の提案(最適化技術と並列処理モデル, SHINING 2006 「アーキテクチャとコンパイラの協調および一般」)
- 柔軟なサービス利用とプライベートな情報の保護実現を目指した資源管理空間モデル(プラットフォーム/ツール, ソフトウェアエージェントとその応用論文)
- C-012 排他的マルチスレッド実行モデルにおける多段なループ処理へのスレッド間パイプライン並列実行方式の適用とその評価(C分野:アーキテクチャ・ハードウェア)
- C_003 FPGAを用いたN-Queens問題の解決について(C分野:ハードウェア)
- スレッドレベル並列処理プロセッサFUCEのハードウェア構成とその評価
- 継続モデルに基づくスレッドプログラミング手法の提案(ARC-5 : 並列処理モデル)(2004年並列/分散/協調処理に関する『青森』サマー・ワークショップ(SWoPP青森2004) : 研究会・連続同時開催)
- 排他実行マルチスレッド実行モデルに基づくFuceプロセッサの評価(ARC-5 : 並列処理モデル)(2004年並列/分散/協調処理に関する『青森』サマー・ワークショップ(SWoPP青森2004) : 研究会・連続同時開催)
- 排他実行マルチスレッド実行モデルに基づくオンチップ・マルチプロセッサの設計(アーキテクチャ一般及びチップマルチプロセッサ)(デザインガイア2003 : VLSI設計の新しい大地を考える研究会)
- MGTPにおけるケース分割の重複削除手法とその評価
- 細粒度マルチスレッド環境でのスケジューリングオーバヘッド低減機構(スレッド・プロセス)
- B_025 モデル検査器を用いたFUCEマルチスレッドプログラムの開発(B分野:ソフトウェア)
- 鉄道信号システムのモデル検査器SPINによる検証
- 抽象モデル生成による節集合の前処理(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論、論理プログラム,プランニングetc.」及び一般)
- モデル生成型定理証明手続きによるCTLのモデル検査(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)
- ブール制約解消系によるモデル生成木の刈込み(自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)
- ストリーム処理方式を用いた繰越し依存型多重ループの並列展開法
- Fuce言語HALの設計と実装
- ダイアグラムに基づく法的論争支援システム
- ユーザフィードバックを利用したACP2P法とその評価(一般,膨大なデータから学ぶもの)
- 継続モデルによるH/W・S/W協調並列I/O処理モデルの提案
- FUCE上のストリーム処理とその記述言語
- FUCE言語とその処理系について
- KODAMA とVPCによるユビキタス環境のためのフレームワークの構築と評価
- マルチエージェント方式によるセキュアでオープンな情報流通ネットワークの構築(アーキテクチャ(1))
- エージェント・プラットフォームを相互運用するためのメッセージ通信プロトコル
- 抽象モデル生成による不要節の削除(人工知能,認知科学)
- Twitterにおける流行語先取り発言者の検出システムの開発
- Twitterにおける流行語先取り発言者の検出システムの開発
- ソーシャルブックマークにおける有用なユーザの発見
- Wikipediaのリンク共起とカテゴリに基づくリランキング手法
- Wikipediaのリンク共起とカテゴリに基づくリランキング手法
- Wikipediaへの関連単語抽出アルゴリズムの適用とその評価(Wikipedia)
- 関連単語抽出アルゴリズムを用いたWeb検索クエリの生成(Web解析・検索クエリ)
- ODPを利用したユーザプロファイルを用いた個人化検索システム(情報検索)
- 5S-4 Twitterの流行語発言者の抽出に基づくフォロワー推薦システムの開発(情報推薦(2),学生セッション,データベースとメディア,情報処理学会創立50周年記念)
- Twitter における流行語先取り発言者の検出システムの開発
- Wikipedia のリンク共起とカテゴリに基づくリランキング手法
- Partial Max-SATソルバーQMaxSATの評価 (特集 「AIの基本問題SATと応用技術」および一般)
- 数独パズルにおける補題の解析 : 補題の一般化に向けて
- FPGA上に実装されたPCMGTPを用いたSAT問題の解決(応用1, FRGAとその応用及び一般)
- FPGA上に実装されたPCMGTPを用いたSAT問題の解決(応用1, FRGAとその応用及び一般)
- FPGA上に実装されたPCMGTPを用いたSAT問題の解決(応用1, FRGAとその応用及び一般)
- FPGA上に実装されたPCMGTPを用いたSAT問題の解決
- F-021 基数制約を用いたMax-SATソルバーの試作(F分野:人工知能・ゲーム,一般論文)
- F-019 BOINCによるSATソルバーの並列実行(F分野:人工知能・ゲーム,一般論文)
- D-033 データ解析における並列分散処理基盤Hadoopの利用(D分野:データベース,一般論文)
- 1W-9 モデル生成によるSATソルバの並列化(最適化,学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 5R-2 ODPを利用した個人化検索システムの比較と効率化(Webシステム,学生セッション,データベースとメディア,情報処理学会創立50周年記念)
- 3C-2 動詞の提示による動的な検索支援システム(Web検索支援,一般セッション,データベースとメディア,情報処理学会創立50周年記念)
- G-15 異種エージェントシステム間の相互運用(人工知能(エージェント),G.人工知能)
- 一般化補題を利用したモデル生成法
- ノンホーン・マジックセット変換節数の削減手法とその評価
- 抽象モデルを利用したSAT問題の前処理(「自動化:推論,発見,学習,データマイニング」及び一般)
- FPGA上のSATソルバPCMGTPの改良について
- Solving Open Job-Shop Scheduling Problems by SAT Encoding
- 上昇型定理証明の探索効率を高めるノンホーン・マジックセット
- 帰納論理プログラミングを用いた棋譜からのルール抽出
- Twitterのリスト機能を用いたユーザの特徴抽出
- Twitter発言の時系列解析に基づくハッシュタグの内容説明
- Wikipediaの時系列アクセス数に着目した関連度算出
- 分散メモリアーキテクチャ向けFuceランタイムシステムとその上でのストリーム処理の評価
- CMGTPへの事後関連性検査と畳込み機構の組込み
- 二分決定グラフによるモデル生成木の刈込み
- 二分決定グラフによるモデル生成木の刈込み
- 二分決定グラフによるモデル生成木の刈込み
- 二分決定グラフによるモデル生成木の刈込み
- 帰納論理プログラミングを用いたTwitterからのルール抽出(「コンテキストを意識した知識の利用」及び一般)
- 帰納論理プログラミングを用いた Twitter からのルール抽出
- ユーザフィードバックを利用したACP2P法とその評価
- ユーザフィードバックを利用したACP2P法とその評価