HOME＞
List＞Title List of Research Report (School of Information Science)
Title List of Research Report (School of Information Science)
JAIST Research Report (School of Information Science) published in 1994;
listed in chronological order.
Full article is stored in the shelves near the Doctoral
Dissertations in the 3rd floor.
Research Report (School of Information Science) 1994 ： ISSN 0918-7553
| Publication # |
IS-RR-94-0001F |
| Title |
The relative size of greedy independent sets in sparse and bounded-degree
graphs |
| Author(s) |
Halldorsson, Magnus M./Radhakrishnan, Jaikumar |
| Date Published |
19940118 |
| Pages |
1-14 |
| Publication # |
IS-RR-94-0002A |
| Title |
An implementation of logical variable reference in a concurrent logic programming
language by using channel variables |
| Author(s) |
杉野, 栄二／横田, 治夫 |
| Date Published |
19940118 |
| Pages |
1-17 |
| Publication # |
IS-RR-94-0003A |
| Title |
An implementation of a highly reliable parallel-disk system using transputers |
| Author(s) |
友永, 誠史／横田, 治夫 |
| Date Published |
19940118 |
| Pages |
1-15 |
| Publication # |
IS-RR-94-0004S |
| Title |
多重視点設定可能な、OMTに対するCASEデータベースの設計とPCTE上での実装 |
| Author(s) |
西山, 雄／落水, 浩一郎 |
| Date Published |
19940202 |
| Pages |
1-37 |
| Publication # |
IS-RR-94-0005F |
| Title |
優れた信頼性関数を有する代数的符合の構成と光通信への応用 |
| Author(s) |
植松, 友彦／水野, 亮／Noppanakeepong, Suthichai |
| Date Published |
19940304 |
| Pages |
1-19 |
| Publication # |
IS-RR-94-0006S |
| Title |
メタレベルアーキテクチャを用いた動的負荷分散の実現 |
| Author(s) |
宮内, 興治／渡部, 卓雄 |
| Date Published |
19940317 |
| Pages |
1-14 |
| Publication # |
IS-RR-94-0007S |
| Title |
並行オブジェクトのためのハイブリッド分散ガベージコレクションの一方式 |
| Author(s) |
瀬尾, 明志／渡部, 卓雄 |
| Date Published |
19940322 |
| Pages |
1-13 |
| Publication # |
IS-RR-94-0008A |
| Title |
The performance of a highly reliable parallel disk system |
| Author(s) |
横田, 治夫／友永, 誠志 |
| Date Published |
19940330 |
| Pages |
1-20 |
| Publication # |
IS-RR-94-0009I |
| Title |
A high-speed best match retrieval method for Japanese text |
| Author(s) |
佐藤, 理史／河瀬, 剛 |
| Date Published |
19940400 |
| Pages |
i,1-12 |
| Publication # |
IS-RR-94-0010A |
| Title |
nCUBE2上への並列ハッシュジョインアルゴリズムの実装 |
| Author(s) |
古野, 真太郎／横田, 治夫 |
| Date Published |
19940420 |
| Pages |
1-36 |
| Publication # |
IS-RR-94-0011S |
| Title |
オブジェクト指向モデルの実装に関する考察 |
| Author(s) |
味松, 康行 |
| Date Published |
19940420 |
| Pages |
1-101 |
| Publication # |
IS-RR-94-0012S |
| Title |
Similarity on algebraic specifications toward specification databases |
| Author(s) |
酒井, 正彦/Matsui, Soichi/Kawakita, Makoto/Agusa, Kiyoshi |
| Date Published |
19940500 |
| Pages |
1-20 |
| Publication # |
IS-RR-94-0013S |
| Title |
非同期・分散型会議における協調活動の支援法 |
| Author(s) |
門脇, 千恵／落水, 浩一郎 |
| Date Published |
19940512 |
| Pages |
1-23 |
| Publication # |
IS-RR-94-0014S |
| Title |
Design and implementation of a user-level real-time network engine |
| Author(s) |
中島, 達夫/Tokuda, Hideyuki |
| Date Published |
19940706 |
| Pages |
1-12 |
| Publication # |
IS-RR-94-0015S |
| Title |
Design and implementation of a continuous media storage system on real-time
mach |
| Author(s) |
手塚, 宏史／中島, 達夫 |
| Date Published |
19940706 |
| Pages |
1-11 |
| Publication # |
IS-RR-94-0016S |
| Title |
Recovery management in multiversion objects |
| Author(s) |
中島, 達夫 |
| Date Published |
19940706 |
| Pages |
1-19 |
| Publication # |
IS-RR-94-0017S |
| Title |
Using object-oriented techniques in microkernel based operating systems |
| Author(s) |
中島, 達夫 |
| Date Published |
19940706 |
| Pages |
1-10 |
| Publication # |
IS-RR-94-0018S |
| Title |
Real-time machの現状と将来 |
| Author(s) |
中島, 達夫 |
| Date Published |
19940706 |
| Pages |
|
| Publication # |
IS-RR-94-0019S |
| Title |
Experience with real-time mach for writing continuous media applications
and servers |
| Author(s) |
中島, 達夫／手塚, 宏史 |
| Date Published |
19940706 |
| Pages |
1-34 |
| Publication # |
IS-RR-94-0020S |
| Title |
オブジェクト指向に基づくモーバイルコンピューティングに適したカスタマイズ可能なOS構築のための枠組 |
| Author(s) |
保木本, 晃弘／中島, 達夫 |
| Date Published |
19940706 |
| Pages |
1-10 |
| Publication # |
IS-RR-94-0021 |
| Title |
Rule-dynamicsの定式化，及びその記述能力の情報理論適側面 |
| Author(s) |
佐野, 彰 |
| Date Published |
19940715 |
| Pages |
1-9 |
| Publication # |
IS-RR-94-0022I |
| Title |
Automatic generation of digests for meeting announcements in the NetNews |
| Author(s) |
佐藤, 円／佐藤, 理史／篠田, 陽一 |
| Date Published |
19940700 |
| Pages |
i,1-9 |
| Publication # |
IS-RR-94-0023 |
| Title |
投稿行動から見た電子ニュースfj |
| Author(s) |
佐藤, 円／篠田, 陽一 |
| Date Published |
19940700 |
| Pages |
i,1-24 |
| Publication # |
IS-RR-94-0024F |
| Title |
Uniqueness of normal proofs in {→,∧}-fragment of NJ |
| Author(s) |
青戸, 等人／小野, 寛晰 |
| Date Published |
19940811 |
| Pages |
1-20 |
| Publication # |
IS-RR-94-0025F |
| Title |
Interpretations of the quantum theory and NP-complete problems |
| Author(s) |
三原, 孝志／西野, 哲朗 |
| Date Published |
19940930 |
| Pages |
1-25 |
| Publication # |
IS-RR-94-0026A |
| Title |
DR-netにおけるパリティ配置／データ再構築戦略の影響 |
| Author(s) |
味松, 康行／横田, 治夫 |
| Date Published |
19941109 |
| Pages |
1-10 |