イベントの2項関係に基づく並列システムの代数的仕様記述
スポンサーリンク
概要
著者
関連論文
- 車両制御システムのためのセンサデータ統合管理方式の検討(データ工学,Web情報システム)
- セキュリティ支援ハードウェアによるハイブリッドOSシステムの高信頼化(システムプログラム)
- 自動車制御システムのエラーモデル記述による安全性分析手法(安全性及び一般)
- セキュリティ支援ハードウェアによるハイブリッドOSシステムの高信頼化(リアルタイムシステム)
- 有限オートマトンと表現等価な正則時相論理とその論理設計検証への応用
- 正則時相論理のモデルチェック法の改良と設計検証への適用
- 自動車用コンピュータにおける制御タイミング仕様記述方法の検討
- ストリームプロセッシングによる車載統合制御システムのための分散型センサデータ処理機構の構築(セッション3)
- 設計工程に合わせたビュー生成を可能にするソフトウェア文書管理手法の提案
- リンク自動付与機能を持つ技術文書サーバの開発手法
- ECU組込みソフトウェア開発のための技術文書と設計ツールとの統合
- 動作履歴をグラフで表現するハードウェアの機能動作モデルについて
- 10MbpsCANプロトコルの設計と評価
- 制御ソフトウェアの固定小数点演算化ツールの設計と実装
- バリエーション並行開発のための版管理ツールと統合開発環境
- アナ/ディジ混載IC用の故障モデルと故障シミュレ-ション
- 設計検証技術(総論) : 現在の設計検証技術はペンティアムのバグを見つけることができるか
- 1. 論理関数処理に基づく形式的検証手法 ( 論理設計の形式的検証)
- 形式的設計検証のための分岐時間正則時相論理
- 時相論理と言語階層の対応関係について(計算および計算量理論とその周辺)
- 有限オートマトンと表現等価な正則時相論理とその論理設計検証への応用
- 線形時間のモデルチェックアルゴリズムを持つ正則時相論理と変数代入機構による拡張
- On Design Varification between Different Levels of Abstraction Using Regular Temporal Logic
- 正則時相論理の充足可能性判定アルゴリズム
- 特集「論理設計の形式的検証」の編集にあたって
- マルチコンピュータ・マルチスクリーン・グラフィクス・システム(MCMSシステム)の論理シンボル入力/編集
- マルチコンピュータ・マルチスクリーン・グラフィクス・システム(MCMSシステム)による論理回路図の入力
- 組込みシステムが拓く未来の産業 (特集 Japanese Ability--日本で育てた世界技術)
- 情報科学研究科附属組込システム研究センターの紹介
- 名古屋大学大学院情報科学研究科附属組込みシステム研究センターの紹介(組込みシステム特集号)
- マルチコンピュータ・マルチスクリーン・グラフィクスワークステーションの開発
- 並列分枝限定法と動的探索木分割によるクラスタシステム向き最適順序付けアルゴリズム(アルゴリズム)
- 通信状態の可視化によるメッセージ通信型並列プログラムのデバッグ支援ツール
- クラスタシステムにおける並列バイトニックソートの性能評価
- 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ビットマイクロプロセッサの形式的設計検証
- 順序回路検証の技術
- 組込み型制御システムのためのプログラムモデルとそれに基づくプロトタイプ設計支援システムの開発
- ECU組込み機器向けソフトウェア自動合成手法の開発
- イベントの2項関係に基くハードウェア仕様記述(アルゴリズムの数学的基礎理論とその応用)
- イベントの2項関係に基づく並列システムの代数的仕様記述
- 故障集合を伝搬の単位とする故障シミュレ-ション高速化手法
- 正則集合と表現等価な正則時相論理RTL
- GPGPU による組み合わせ論理回路の入力パタン並列論理シミュレーション
- 形式的論理設計検証に関する研究
- 形式的論理設計検証に関する研究
- 形式的設計検証
- 正則集合に表現等価なテンポラル・ロジック(アルゴリズムの数学的基礎理論とその応用)