Implementation of the High-level Parallel Programming Language Nano-2
スポンサーリンク
概要
著者
-
荒木 啓二郎
九州大学大学院システム情報科学研究院
-
荒木 啓二郎
九州大学
-
末吉 敏則
熊本大学
-
末吉 敏則
九州大学
-
平原 正樹
九州システム情報技術研究所
-
平原 正樹
九州大学工学部情報工学科
-
平原 正樹
九州大学 中央計数施設
-
末吉 敏則[他]
九州大学
関連論文
- 周期性を持つ非同期通信システムのモデリングに関する研究(モデリング(学生セッション))
- ATM over IPの実現と性能評価
- ATM over IP の実現と性能評価
- 緊密な産学連携に基づく自律的なICT人材育成の実践(情報システム教育コンテスト(3))
- 測定可能な個人プロセスを対象とした形式手法導入に関する提案(形式手法(学生セッション))
- 大規模な産学連携による高度ICT人材育成に向けての取り組み
- プロトコルスタックをバイパスするMyrinet用ソケット通信機構
- 自然言語による仕様記述の形式モデルへの変換を利用した品質向上に向けて
- 今日のLSI設計教育の課題と提言
- オブジェクト指向形式仕様記述言語VDM++支援ツールVDMTools(ソフトウェア紹介,先端ソフトウェアツール)
- JUnit向け単体テストを対象としたMapReduce型並列分散実行フレームワークの提案
- ドメイン知識を用いた検証に向けた状態遷移図の抽象化方法に関する考察
- JUnit向け単体テストを対象としたMapReduce型並列分散実行フレームワークの提案
- やわらかいハードウェア : デバイス,アーキテクチャ,設計技術,応用研究の展開
- やわらかいハードウェア : デバイス,アーキテクチャ,設計技術,応用研究の展開
- やわらかいハードウェア : デバイス,アーキテクチャ,設計技術,応用研究の展開
- やわらかいハードウェア : デバイス,アーキテクチャ,設計技術,応用研究の展開
- やわらかいハードウェア : デバイス,アーキテクチャ,設計技術,応用研究の展開
- やわらかいハードウェア : デバイス,アーキテクチャ,設計技術,応用研究の展開
- 状態遷移図の同期モデルへの詳細化および検証手法
- プロジェクトマネジメント学会九州支部活動報告
- プロジェクトマネジメント学会九州支部活動報告(Mail to PM)
- プロジェクトマネジメント学会九州支部活動報告
- 多重同時最適制御に解放する方式の実装(コンカレント工学一般、及び、CSTソリューションコンペティション2007発表会)
- 可変構造型並列計算機のメモリ・アーキテクチャ
- 変数オリエンティッドなデータ依存関係モデルの提案
- 変数オリエンティッドなデータ依存関係モデルの提案
- 並列化支援視覚化システム NaraViewにおけるビュー間の連携方式について
- 並列化支援のためのデータ依存の3次元視覚化
- 連想記憶と進化過程
- 相互結合型ニューラルネットワークを用いた連想記憶の記憶容量のGAによる進化
- 0SIディレクトリサービスにおける簡易言語の実装
- 大規模な産学連携による高度ICT人材育成に向けての取り組み
- モデル規範型形式手法VDMと仕様記述言語VDM++ : 高信頼性システムの開発に向けて(情報システムの信頼性・安全性)
- 大規模な産学連携による高度ICT人材教育におけるインターンシップの役割とその効果
- 1. フォーマルメソッドの過去・現在・未来 : 適用の実践に向けて(Part I:歴史と概要,フォーマルメソッドの新潮流)
- ロボット制御ソフトウェアの形式的モデル検証
- 背表紙画像を用いたネットワーク透過な仮想書架
- エニキャストを用いた自動車のための地域別緊急通報システムの実現(アドホックネットワーク, ユビキタスITSとモバイルアプリケーション)
- 形式仕様記述における階層アーキテクチャ
- エニキャストを用いた位置依存グループウェアの設計と実装
- ユビキタス環境を活用した位置に基づくグループウェア
- ユビキタス環境を活用した位置に基づくグループウェア
- Ada並列プログラムのためのグラフィック表示を用いた実行再演ツール
- Adaプログラム分離コンパイル支援ツールADAMAKE
- 5. 無線による地域ネットワーク実験 : 都市コミュニティの新しいかたち (地域ネットワークの新しい展開)
- 資源予約可能なインターネット上でのビデオ放送システムの提案と実装
- インターネット動画配送システムの設計とその応答性の評価
- インターネットにおけるQoS保証された動画配送システムの設計と実装
- ATMネットワーク上での動画配送アプリケーションの評価
- インターネット上でのサービスの品質の保証と動画像配送システムへの対応
- インターネット上でのサービスの品質の保証と動画像配送システムへの対応
- インターネット上でのサービスの品質の保証と動画像配送システムへの対応
- RSVPを用いたVoD配送システムモデルの提案
- RSVPを用いた動画アプリケーションについて
- プロトコル選択方式による高信頼性マルチキャスト通信の評価(マルチメディアコミュニケーションシステム)
- 九州ギガポッププロジェクトの概要
- 九州ギガポッププロジェクトの概要
- WIDEインターネットの現状とその利用
- SSLプロトコルの形式仕様記述と検証
- SSLプロトコルの形式仕様記述と検証
- 可変構造型並列計算機の通信システム
- プログラムスライシングのVRMLへの導入とその改良
- VRMLにおけるプログラムスライシングとその利用
- プログラムスライシングのVRMLへの導入とその改良
- 可変構造型並列計算機のPE間メッセージ通信機構
- 可変構造型並列計算機のプロセッサ・ユニット
- 可変構造型並列計算機の並列オペレーティング・システム-プロセス管理の概要
- 可変構造型並列計算機の分散オペレーティング・システムの構想
- 可変構造型並列計算機のメッセージ通信ユニット
- 可変構造型並列計算機のネットワーク・アーキテクチャ
- Implementation of the High-level Parallel Programming Language Nano-2
- 分散環境上で共有メモリ空間とメッセージパッシング型通信機構を提供する並列記述言語処理系ParaDisEの試作と評価
- 分散環境上での並列プログラミング言語処理系用のOS DaOSの概要
- 並列/分散環境上のプログラミング言語処理系ParaDisE
- VDM記述からのPromela記述生成における変換手法の提案
- データ型に着目した形式仕様記述からの状態遷移系の抽出(サイバー増大ページ論文概要,新しいソフトウェアの実現,サイバー増大号)
- マルチエージェントシステムにおける動的ドメイン生成とポリシー管理について
- インターネット上の情報の与信システムについて
- 信用情報と利用ポリシーの管理が可能な相互認証を実現する認証基盤の提案(マルチメディア通信と分散処理)
- 並列処理用高水準プログラミング言語Nano-2の設計とその処理系の実現 (並列処理ハ-ドウェアと言語特集)
- ループ最小並列実行時間算出の一手法
- データ分割配置を考慮するループディストリビューション
- 形式的手法に基づいた構造化ダイアグラムの一貫性検証について (21世紀のソフトウェア工学)
- コンフィギャラブル・コンピューティング
- 形式手法導入のための産学連携PBLの活用
- 九州・山口地区における研究者用実験ネットワークJUNETの現状
- NANO-2 : High-level Parallel Programming Language for Multiprocessor System HYPHEN(Software Science and Engineering)
- 設計時の決定における依存関係の表記法
- RC-005 A^2LUT : Abridged Adaptive LUT Architecture
- 6.4 三次元LSIの課題と高信頼化(第6章:コネクティビティ,ディペンダブルVLSIシステム)
- ソフトウェア開発現場への形式手法導入:形式手法適用の実経験から得られた知見