スポンサーリンク
(株)東芝情報通信システム技術研究所 | 論文
- ブール代数を用いた制約充足問題の定式化と解法についての検討
- ブール代数を用いた制約充足問題の定式化とその解法について
- QRMを備えた高信頼サーバのソフトウェアアーキテクチャ
- 数理計画法を用いた制約充足問題の定式化について検討
- アドレストレースによるOSの性能評価
- マルチプロセッサシステムにおけるUNIXの性能評価
- UNIXシステムのネットワーク性能評価
- 4Y-7 イントラネット応用電力系統監視制御システム : システム概要とそのメリット(情報システムの構築(1),一般講演,コンピュータと人間社会)
- 可変長レコード用関係データベース処理エンジンの試作とソート処理性能の評価
- 次世代アーキテクチャ向けオペレーティングシステム・マイクロカーネルの開発
- ラップトップEWS SPARC LT(4)表示制御方式
- 2E-6 Implementation and Optimization of software MPEG-2 decoder for CELL REGZA
- 高速2値イメージ圧縮伸張LSIの開発 : ファクシミリと画像一般 : 画像通信システム
- Time Cop:QRMを備えた高信頼サーバのOSバグに起因するクラッシュ回避機構
- HAシステムにおける耐障害処理方式
- 大規模アドレス空間を利用するOSの構想
- ベクトルプロセッサPUのFortranコンパイラの開発
- マルチベクトルプロセッサVPP結合部の実装方式
- ベクトルプロセッサPUのアドレス制御方式
- 特集「オプトエレクトロニクス」の編集にあたって