スポンサーリンク
三菱電機(株)情報電子研究所 | 論文
- 複雑化するASICの設計と検証(2) : ASICの自動論理検証手法
- 複雑化するASICの設計と検証(1) : 市販ソフトコアを使用した論理設計/合成事例
- 処理パターンに基づいた仕様書理解の評価
- プロトタイピング支援CASE
- 仕様記述言語PAISLeyの適用検討
- 設計プロセスに対する支援機能についての一考察
- UNIX上でのコマンドインターフェースの入力効率化
- 日本語による仕様書からのプログラム自動生成
- FORTRAN プログラマからみた Ada (Adaの応用と評価)
- コンパイラのテストデータ網羅性判定ツールC-GRAM
- 単方向リング型LANを含むネットワークへのPNNIルーティングの適用検討
- プラント監視・制御用ATM-LANのコネクション設定
- シングルチップマイコン用S/W開発における問題点と一解決法
- ウィンドウのためのユーザインタフェース定義ツール
- 知識ベース管理システムKAPPAにおける知識の扱い : 項、意味ネット、フレームの扱い
- 知識ベース管理システムKappaの非正規関係ユーザインタフェース
- RDB処理の3階層コンポーネント構築の一方式
- データベースプロセッサGREO-1F多重処理機構
- マルチメディア、イントラネット技術の産業分野への適用
- 文字/写真混在画像の領域分割方式(2) : 画素濃度値表現の画像に対する検討 : 画像入出力 : 情報入力