Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索結果表示: 1-10 / 14.

前
1
2
次

検索結果:

書誌情報	ファイル
Predicate/Transition Net Simulation based on Concurrent Prolog(Software Science and Engineering) Mizuba, Hideyo; Harath, Jayantha; Ueda, Kenji; Saito, Nobuo (1985-01) 数理解析研究所講究録, 547: 23-34
Circuit Simulation Code Generation by Computer Algebra(Software Science and Engineering) Loe, K.G.F.; Ohsawa, N.; Goto, E. (1985-01) 数理解析研究所講究録, 547: 287-302
The BC-chain Method for Representing Combinators in Linear Space(Software Science and Engineering) Noshita, Kohei; Hikita, Teruo (1985-01) 数理解析研究所講究録, 547: 268-286
Comparison of closure reduction and combinatory reduction schemes(Software Science and Engineering) Ida, Tetsuo; Konagawa, Akihiko (1985-01) 数理解析研究所講究録, 547: 230-267
NANO-2 : High-level Parallel Programming Language for Multiprocessor System HYPHEN(Software Science and Engineering) ARAKI, Keijiro; ARITA, Itsujiro; HIRABARU, Masaki (1985-01) 数理解析研究所講究録, 547: 35-57
MULTIVERSION CONCURRENCY CONTROL SCHEME FOR A DISTRIBUTED DATABASE SYSTEM(Software Science and Engineering) Muro, Shojiro; Mizutani, Tadashi; Hasegawa, Toshiharu (1985-01) 数理解析研究所講究録, 547: 79-111
Evaluation of Working Set Algorithms for Data-flow Machines(Software Science and Engineering) Sunahara, Hideki; Tokoro, Mario (1985-01) 数理解析研究所講究録, 547: 173-195
スーパーコンピュータとそのソフトウェア(ソフトウェア科学・工学の数理的方法) 安村, 通晃 (1985-01) 数理解析研究所講究録, 547: 156-172
Non-Strict Partial Computation with a Dataflow Machine(Software Science and Engineering) ONO, Satoshi; TAKAHASHI, Naohisa; AMAMIYA, Makoto (1985-01) 数理解析研究所講究録, 547: 196-229
Algebraic Specification Method of Programming Languages(Software Science and Engineering) KITA, Hidehiko; SAKABE, Toshiki; INAGAKI, Yasuyoshi (1985-01) 数理解析研究所講究録, 547: 58-78