<資料>HRクラスタシステムガイド(ハイテクリサーチプロジェクト)
スポンサーリンク
概要
著者
-
竹内 勉
京都産業大学コンピュータ理工学部
-
平石 裕実
京都産業大学工学部情報通信工学科
-
黒住 祥祐
京都産業大学理学部
-
平石 裕実
京都産業大学
-
黒住 祥祐
京都産業大学工学部
-
黒住 祥祐
京都産業大学コンピュータ理工学部
関連論文
- 有限オートマトンと表現等価な正則時相論理とその論理設計検証への応用
- 正則時相論理のモデルチェック法の改良と設計検証への適用
- B-21-6 適応協力中継方式を用いたアドホックマルチホップ無線通信に関する一検討(1) : 通信方式(B-21.アドホックネットワーク,一般セッション)
- 耐多重波変復調方式について (ディジタル移動通信論文特集) -- (変復調・誤り訂正)
- B-5-79 5GHz帯OFDM伝送実験
- B-5-74 5GHz帯OFDM伝送実験用遅延プロファイル測定装置の概要
- 感性表現によるオーロラ画像データベースシステムの開発
- 設計検証技術(総論) : 現在の設計検証技術はペンティアムのバグを見つけることができるか
- 1. 論理関数処理に基づく形式的検証手法 ( 論理設計の形式的検証)
- 形式的設計検証のための分岐時間正則時相論理
- 時相論理と言語階層の対応関係について(計算および計算量理論とその周辺)
- 有限オートマトンと表現等価な正則時相論理とその論理設計検証への応用
- 線形時間のモデルチェックアルゴリズムを持つ正則時相論理と変数代入機構による拡張
- On Design Varification between Different Levels of Abstraction Using Regular Temporal Logic
- 正則時相論理の充足可能性判定アルゴリズム
- 大学生の精神衛生管理(続報) : 電算機導入によるスクリーニングテストの一試案
- 大学生の精神衛生管理 : 電算機導入によるスクリーニングテストの一試案
- B-21-7 適応協力中継方式を用いたアドホックマルチホップ無線通信に関する一検討(2) : プロトコル(B-21.アドホックネットワーク,一般セッション)
- 屋内MIMO伝搬特性測定に基づくMIMO-OFDM伝送特性検討の試み
- B-1-227 屋内MIMO伝搬特性の測定とMIMO-OFDM伝送特性の検討(B-1. アンテナ・伝播C(アンテナシステム),一般セッション)
- UWB伝搬特性測定とギガビット無線LAN方式の基礎検討
- 超広帯域チャンネルサウンダによる屋内電波伝搬測定
- B-1-20 超広帯域電力遅延プロファイル測定による屋内 DOA 測定
- 超広帯域チャネルサウンダによる屋内電波伝搬測定に関する一考察(移動通信ワークショップ : 次世代ブロードバンド無線通信の実現に向けて)
- 超広帯域チャネルサウンダによる屋内電波伝搬測定に関する一考察(移動通信ワークショップ : 次世代ブロードバンド無線通信の実現に向けて)
- 超広帯域チャネルサウンダによる屋内電波伝搬測定に関する一考察(移動通信ワークショップ : 次世代ブロードバンド無線通信の実現に向けて)
- 超広帯域チャネルサウンダによる屋内電波伝搬測定に関する一考察(移動通信ワークショップ)(「次世代ブロードバンド無線通信の実現に向けて」)
- 超広帯域チャネルサウンダによる屋内電波伝搬測定に関する一考察(移動通信ワークショップ)(「次世代ブロードバンド無線通信の実現に向けて」)
- Ultra-Wide Band Channel Sounding for Mobile Communication Systems
- W-CDMA下りリンクにおける符号合成RAKE受信方式
- W-CDMA下りリンクにおける符号合成RAKE受信方式
- W-CDMA下りリンクにおける符号合成RAKE受信方式
- W-CDMA下りリンクにおける符号合成RAKE受信方式
- 0.5ns遅延時間分解能を有する遅延プロファイル測定装置の試作
- 0.5ns遅延時間分解能を有する遅延プロファイル測定装置の試作
- B-5-225 MMAC-HiSWAN方式の屋内ディジタル伝送シミュレーション
- 多重波フェーディング環境におけるテレビジョン移動受信の画像品質劣化要因評価法
- テレビジョン移動受信におけるゴーストフラッタの原子時計を用いた移動測定法
- 市街地テレビジョン移動受信における画像品質劣化の検出
- 11-9 テレビジョン放送の移動受信における画質劣化の定量的評価
- 1)テレビ信号の移動受信におけるゴースト・フラッタの移動測定法(無線技術研究会(第133回))
- TV信号の移動受信におけるゴースト・フラッターの移動測定法
- 15-2 テレビ放送波の移動受信におけるゴースト・フラッタ特性
- 特集「論理設計の形式的検証」の編集にあたって
- マルチコンピュータ・マルチスクリーン・グラフィクス・システム(MCMSシステム)の論理シンボル入力/編集
- マルチコンピュータ・マルチスクリーン・グラフィクス・システム(MCMSシステム)による論理回路図の入力
- B-1-19 2ギガチップ/秒遅延プロファイル測定装置の試作
- 0.5ns遅延時間分解能を有する遅延プロファイル測定装置の試作
- 0.5ns遅延時間分解能を有する遅延プロファイル測定装置の試作
- マルチコンピュータ・マルチスクリーン・グラフィクスワークステーションの開発
- 並列分枝限定法と動的探索木分割によるクラスタシステム向き最適順序付けアルゴリズム(アルゴリズム)
- 通信状態の可視化によるメッセージ通信型並列プログラムのデバッグ支援ツール
- クラスタシステムにおける並列バイトニックソートの性能評価
- Verification of Deadlock Free Property of Asynchronous Robot Control Programs
- 情報技術革命を支える高性能・高効率計算システムの研究
- 平成13年度活動概要
- Verification of Deadlock Free Property of Asynchronous Robot Control Programs
- HRクラスタシステムガイド(ハイテクリサーチプロジェクト)
- 静的部分問題割り当てに基づくN-queen問題の並列アルゴリズム
- 静的部分問題割り当てに基づくN-queen問題の並列アルゴリズム
- 形式的論理設計検証の研究
- 形式的論理設計検証の研究
- 形式的論理設計検証の研究
- 記号モデル検証システムSMVにおける像計算 (テストと設計検証論文特集)
- タスク制御アーキテクチャ入力支援システム
- 形式的論理設計検証およびメッセージ書換型プロキシサーバーの研究
- メッセージ書換型プロキシサーバの研究開発
- 形式的論理設計検証に関する研究
- 16ビットマイクロプロセッサの形式的設計検証
- 順序回路検証の技術
- D-11-118 クラスタシステムにおけるラジオシティ法の並列化
- HPIndustry Standard plotting Package(モデル17580B)のDEC2060へのインストレーション
- Ptolemyと仮想並列計算機による屋内ディジタル伝送シミュレーション : Active Fadingと耐多重波変調方式
- B-5-24 OFDM-RZ方式に関する一検討 : 100Mb/s無線LANの実現をめざして
- Active Fading-PSK-RZ方式の誤り率改善効果の検討
- Active Fading-PSK-RZ方式の誤り率改善の検討
- 計算機設計自動化における情報伝送路の生成と簡単化
- 屋内多重波遅延伝搬モデルに関する一考察 : 窓、指向性アンテナ、壁における境界条件の影響
- 屋内Active Fading環境下における耐多重波PSK-RZ方式の伝送誤り率特性の検討
- 屋内Active Fading環境下における耐多重波PSK-RZ方式の伝送誤り率特性の検討
- 屋内Active Fading環境下における耐多重波PSK-RZ方式の伝送誤り率特性の検討
- 屋内 Active Fading 環境下における耐多重波PSK-RZ方式の伝送誤り率特性の検討
- 遅延プロフィール測定による人体位置予測システムの基礎検討
- 遅延プロフィール測定による人体位置予測システムの基礎検討
- 屋内多重波伝搬における窓の影響に関する一考察
- 計算機による試験の採点と集計
- 可変多しきい値切換4方向指向性ダイバ-シチ受信方式のフェ-ジング改善実験
- 都市内移動通信における指向性ダイバ-シチ枝の特性
- 移動通信の多重波フェ-ジングにおけるアンテナ指向性の効果
- 12-7 都市内道路上における多重波伝搬とテレビ放送波の移動受信
- 平均信号強度の異なる切替ダイバシチ受信のフェ-ジング改善度の解析
- Washington D. C. におけるPHS野外伝搬実験
- 周波数選択性フェージング下におけるトレリス符号化同一チャネル干渉波キャンセル方式の特性
- 簡易型ローカルエリアネットワーク(S-NET)の拡張
- パーソナルコンピュータによる簡易型ローカルエリアネットワーク(S-NET)
- イベントの2項関係に基づく並列システムの代数的仕様記述
- トレリス符号化同一チャネル干渉波キャンセル方式
- ビタビアルゴリズムの反復適用を行う適応等化器の特性
- 市街地多重波遅延プロフィ-ルの理論的予測法の基礎検討 (ディジタル移動通信論文特集) -- (アンテナ・伝搬)
- 複素パタンに基づいたアンテナの指向性ダイバ-シチ効果(技術談話室)