論理装置CADの最近の動向 1. 総論 : 論理装置の設計支援システム (<大特集>論理装置CADの最近の動向)
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 1984-10-15
著者
関連論文
- 自動論理解析システム : CALAS
- 超大型計算機について
- パネル討論会 : 分散処理の効用と問題点 : 昭和55年度第21回全国大会報告
- 時相論理によるハードウェア同期部の仕様記述とPrologによるその状態遷移表への自動合成法
- ハードウェア状態遷移表現のPrologによる検証
- 時相論理によるハードウェア仕様記述とPrologを用いたゲート回路の検証
- 可変ルーティング機能を付加した相互結合網のスイッチング・ユニット
- オンラインシステムの応用および自動設計 : 特集号について
- デ-タフロ-マシンを用いた故障シミュレ-ションシステム
- 動的負荷分散を行う相互結合網の構成
- 構造物保守管理のための意思決定支援システムの開発 : 第1報, 石油タンクの腐食を対象として
- ネットワークアーキテクチャの標準化動向 1. 総論 (ネットワークアーキテクチャ (開放型システム間相互接続) の標準化動向)
- 論理装置CADの最近の動向 1. 総論 : 論理装置の設計支援システム (論理装置CADの最近の動向)
- ゴール書換えモデルに基づく論理型プログラムの並列処理方式
- 並列Prolog処理システム"Paralog"について
- 開放型システム間接続 (OSI) の標準化(医用画像情報処理)
- 計算機技術はどう変わってゆくか
- 最近の計算機アーキテクチャの動向
- マイクロコンピュータの展望
- 計算機のアーキテクチャ
- ポリプロセッサ・システムPPS-1
- コンピュータ・コンプレクスの展望
- オペレーティング・システムの記述に関する一考察
- 総論
- 計算機設計の自動化
- スイッチング回路の故障点発見法
- 最適列車ダイヤグラムの作成
- 記憶装置の概要
- 最近の電子計算機技術 : イリノイ大学における研究を中心にして
- 論理装置の汎用機能シミュレーションシステム-LFM
- 相互交信系のモデル「インタラクティブ・オートマタ・システム」
- 手書き文字認識における投影距離法
- 第5世代コンピュ-タのア-キテクチャ- (マイクロエレクトロニクスの進歩とコンピュ-タの将来)
- II コンピュータアーキテクチャの動向と展望
- 分散処理への期待(分散処理)
- 入出力技術の最近の動向
- 「第5世代コンピュータと21世紀の社会」(世界コミュニケーション年記念講演録)
- 第5世代コンピュータの構想
- スーパコンピュータの現状と展望 (スーパコンピュータの応用)
- オフィスオートメーションの動向と展開 オフィスオートメーションの動向 (オフィスオートメーション)