Analysis of a Disk Operating System (プログラムの基礎理論)
スポンサーリンク
概要
著者
関連論文
- (48) 情報系専門学科のカリキュラムのアイデンティティと評価方法(第4セッション 教育評価方法)
- 入力誤差を反映したボロノイ領域(情報基礎理論ワークショップ(LAシンポジウム)論文小特集)
- 関係データベースにおけるRepresentative Instanceに関する一結果 (形式言語理論とオートマトン理論)
- 多値従属を考慮した関係表現における制約の導出 (数理情報科学の基礎理論と応用)
- 「アクレディテーション」
- ユーザのアクセスコストを最小化するハイパーテキストの構成法
- 大きい目標の選択操作に対するFittsの法則の適合性
- アクセスコストを最小化するハイパーテキストの構成法
- アクセスコストを最小化するハイパーテキストの構成法
- 実験環境と実使用環境における目標選択動作の比較
- 大きい目標の選択操作に対するFittsの法則の適合性の評価
- 最適メニュー階層構造を求めるアルゴリズムについて
- 最適メニューシステムの設計法について
- 最適なメニュー階層構造を求めるアルゴリズム
- Fittsの法則に基くマウスの操作方向の効率への影響
- 代数的仕様記述における詳細化 : 特に抽象的順序機械の場合 (数理情報科学の基礎理論と応用)
- 公開鍵暗号系の安全性保証の難しさ (計算の複雑性に関する研究)
- セーフペトリネットによる正規集合の記述の簡潔さについて : 有限オートマトンとの比較 (計算機科学の数学的基礎)
- 5X-6 情報教育のための教育基本ソフトウェア・電子教材・教育支援プロジェクト
- 衝突検出機構のないマルチアクセスチャネルでの自己安定リーダ選択アルゴリズム(計算量理論とアルゴリズム論文小特集)
- リングネットワーク上での排他制御問題に対する故障封じ込め自己安定アルゴリズム
- リングネットワーク上での排他制御問題に対する故障封じ込め自己安定アルゴリズム
- リングネットワーク上での排他制御問題に対する故障封じ込め自己安定アルゴリズム(並列・分散)
- マルチアクセスチャネルを利用した自己安定リーダ選択アルゴリズムの改良
- マルチアクセスチャネルを利用した自己安定リーグ選択アルゴリズム
- 分散システムにおける大域条件式成立の可能性検出
- 移動ネットワークを含む分散システムとその上のスナップシヨット・アルゴリズム
- マルチアクセスチャネル上での自己安定リーダ選択アルゴリズム
- 拡張されたヒープ領域管理機能をもつPASCAL処理系ELPH
- PASCALシンボリック・デバッガの作成
- 「JABEEの発足と情報処理学会アクレディテーション委員会活動」
- 再構成アレー上の接頭部和問題について
- 再構成アレイ上で接頭部和を求めるアルゴリズムについて
- ミニコンピュータ複合体とそのオペレーティング・システム
- メソッドスキーマの型整合性の十分条件
- 多重文脈自由文法の認識問題について
- 優先サービスを含む通信プロトコルの安全性の検証
- 多重文脈自由文法の所属問題に対する並列アルゴリズム(計算および計算量理論とその周辺)
- 通信プロトコルの自然語仕様から代数的仕様への変換における文章間の依存関係の解析
- 自然語仕様から代数的仕様への,文脈を考慮した変換 : OSIセション層プロトコル仕様を例にして
- マウスとペンの操作精度の比較
- 情報教育に何が一番必要か
- 7-104 学科内全講義のビデオ撮影・蓄積・配信への取り組み((9)e-ラーニング実践-I)
- (225)遠隔ペアプログラミング支援システムSATORIの開発とプログラミング教育への適用(セッション64 e-ラーニング(インターネット・マルチメディア利用教育を含む)V)
- (135)教員の作業効率向上を目指した授業支援システムの構築と運用(セッション39 教育システムA(講義・演習)IX)
- (96)大学内でのアンケートシステムの運用事例と考察(セッション28 教育評価・自己点検・評価システムIV)
- 学生による講義ビデオのしおり付け実験の報告
- 授業内の学生の反応を記録・解析するシステムの運用報告
- (148)Javaを導入言語としたプログラミング教育(第39セッション 教育研究指導(III))
- (134)鳥取環境大学における学生ノートPCを活用した情報処理教育(第36セッション 教育システム(講義・演習)(VII),教材の開発)
- (52)情報数学導入科目の一つの構想と実施経験(第14セッション 教材の開発(II))
- (15)生徒と教師の授業時間内のやりとりを支援するシステムの実装と評価(第4セッション 教育システム(講義・演習)(IV))
- 合同な点クラスタに対する点クラスタボロノイ図の構成
- 入力誤差を反映したボロノイ領域
- 入力誤差を反映した凸包問題とその解法(計算量理論とアルゴリズム論文小特集)
- 入力誤差を考慮した凸包問題
- 入力が誤差を含む場合の厳密な交差判定
- 計算機演習室におけるGUI操作履歴の収集と解析
- GUIにおける実操作履歴の取得とその意図分析
- 2本の平行線間へのチェインの配置問題
- 入力誤差をAffine Arithmeticで表現した交差判定問題
- 2本の平行線間へのチェインの配置問題
- 多角形内での2-リンクアームの到達可能性判定問題
- 点集合の移動に関する最短経路問題について
- 障害物のある平面上で水平線分に制限をおいた水平垂直線分からなる最短経路について
- 障害物の重みを考慮した最短経路問題
- 元副会長 田中幸吉先生を偲ぶ
- 計算機構造の教育支援システム
- 凸包問題を解く最適並列アルゴリズム
- コーダルリング上における分散リーダ選択問題の通信計算量とリンク長のトレードオフ
- 二つの凸多角形の重なりを求める最適な並列アルゴリズム
- 演習内に複数の教室で授業情報を共有し蓄積できる教員用システムの開発と運用(ヒューマンインタフェース技術の教育への利用/一般)
- 高等学校教育におけるポートフォリオシステムの研究(認知と学習・教育用インタフェース/一般)
- 大学教育に適した学生ポートフォリオシステム
- 生徒と教師の協調学習授業を支援するインタラクティブなシステムの実現
- ウィンドウシステム間の違いを吸収するライブラリの実現について
- プログラミング教育を目的としたチャート型言語システム
- アルゴリズム教育を目的としたチャート型言語システム
- ユーザインタフェース作成支援システムの設計と試作について
- 離散周波数制御を利用した2次電池の最長利用のためのタスクスケジューリングアルゴリズム
- 実行順序制約を有するタスク群における2次電池の最長利用のためのスケジューリングアルゴリズム
- 携帯機器の2次電池の最長利用を目的とするリアルタイムスケジューリングアルゴリズム
- 離散周波数制御を利用した消費電力最小のタスクスケジューリングアルゴリズム
- 2次電池の最長利用を目的としたリアルタイムスケジューリングアルゴリズム
- (84)ある創成科目の計画立案と実施状況 : 2年生向け創成科目の事例(第21セッション 創成教育(I))
- PDP-11/20デュアルシステムにおけるデバイスシェアリングシステムの製作
- 情報処理専門教育について 大学等における情報系専門教育の改善への提言
- 言語Cのライブラリ形式によるコンカレント機能の実現
- 分散型システム記述用言語Concurrent Cの設計とその処理系の実現
- 相互排除問題を解く均一な自己安定分散アルゴリズム
- 異種並列計算環境におけるブロードキャストスケジューリング(LAシンポジウム(計算機科学基礎理論ワークショップ)論文小特集)
- 異種クラスタシステムにおけるブロードキャストスケジューリングについて
- ヒストリーグラフを用いたアンドゥ機構の提案と評価
- ヒストリーグラフを用いたアンドゥ機構の提案と評価
- マウスドライバの改良によるポインティング精度改善について (ヒューマンインタフェースとインタラクション)
- 日常時と実験時のマウス操作の比較
- (93) ミニレポートへのコメント集と学生の反応(第24セッション マルチメディアの利用(4))
- ポインティング精度向上のためのマウスドライバの改良
- 打鍵レベルでの計算機演習室内の操作履歴の解析と実験データとの比較
- Analysis of a Disk Operating System (プログラムの基礎理論)