スポンサーリンク
京都大学工学部情報工学教室 | 論文
- HPCへの期待 : アーキテクチャの立場から
- 並列計算機の現状と将来
- Pascalマシンとチューニングによる高速化
- ユニバーサル・ホスト計算機QA-2の高機能順序制御方式
- 低レベル並列処理計算機による3次元図形表示処理 : 視線探索法の場合
- ユニバーサル・ホスト計算機QA-2による逐次型Prologマシンのエミュレーション
- 低レベル並列処理計算機による3次元色彩図形表示処理
- 公衆無線 LAN 「みあこネット」でのマルチキャストルーティング方式の提案
- 公衆無線 LAN 「みあこネット」でのマルチキャストルーティング方式の提案
- IP マルチキャスト/無線 LAN を用いた球場内マルチカメラ放送
- 公衆無線LAN「みあこネット」でのマルチキャストルーティング方式の提案
- 公衆無線LAN「みあこネット」でのマルチキャストルーティング方式の提案
- IPマルチキャスト/無線LANを用いた球場内マルチカメラ放送
- パネル討論音声の話者と話題に関する自動インデキシングの検討
- しきい値関数を表す共有2分決定グラフの最適な変数順序付けの計算複雑度
- 等号を含む第一階時相論理のサブクラスとその恒真性判定問題
- 等号を含む第一階時相論理のサブクラスとその恒真性判定問題(計算モデルと計算の複雑さに関する研究)
- 二分モーメントグラフを用いた大規模多項式の操作手法
- 形式的手法によるキャッシュ・プロトコルの設計検証 : 超並列計算機JUMP-1への適用例
- 算術演算回路検証のための二分モーメントグラフの高速生成手法