Lecture Notes in Computer Science - RIMS Symposia on Software Science and Engineering II
Latest Publications

TOTAL DOCUMENTS

17

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540164708, 9783540398097

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Global storage allocation in attribute evaluation

Lecture Notes in Computer Science - RIMS Symposia on Software Science and Engineering II ◽

10.1007/3-540-16470-7_10 ◽

1986 ◽

pp. 181-211 ◽

Author(s):

Hisashi Sasaki ◽

Takuya Katayama

Keyword(s):

Storage Allocation ◽

Attribute Evaluation

Download Full-text

Circuit simulation code generation by computer algebra

Lecture Notes in Computer Science - RIMS Symposia on Software Science and Engineering II ◽

10.1007/3-540-16470-7_15 ◽

1986 ◽

pp. 307-320

Author(s):

Kia Fock Loe ◽

Noritaka Ohsawa ◽

Eiichi Goto

Keyword(s):

Computer Algebra ◽

Code Generation ◽

Circuit Simulation ◽

Simulation Code

Download Full-text

Multiversion concurrency control scheme for a distributed database system — A trial to break concurrent update of redundant copies —

Lecture Notes in Computer Science - RIMS Symposia on Software Science and Engineering II ◽

10.1007/3-540-16470-7_9 ◽

1986 ◽

pp. 158-180

Author(s):

Shojiro Muro ◽

Tadashi Mizutani ◽

Toshiharu Hasegawa

Keyword(s):

Concurrency Control ◽

Distributed Database ◽

Database System ◽

System A ◽

Control Scheme ◽

Distributed Database System

Download Full-text

Algebraic specification method of programming languages

Lecture Notes in Computer Science - RIMS Symposia on Software Science and Engineering II ◽

10.1007/3-540-16470-7_8 ◽

1986 ◽

pp. 144-157

Author(s):

Hidehiko Kita ◽

Toshiki Sakabe ◽

Yasuyoshi Inagaki

Keyword(s):

Programming Languages ◽

Algebraic Specification ◽

Specification Method

Download Full-text

A portable logic simulation system for development of FLATS machine

Lecture Notes in Computer Science - RIMS Symposia on Software Science and Engineering II ◽

10.1007/3-540-16470-7_4 ◽

1986 ◽

pp. 62-86 ◽

Author(s):

Kentaro Shimizu

Keyword(s):

Simulation System ◽

Logic Simulation

Download Full-text

A fast parallel merging algorithm for 2–3 trees

Lecture Notes in Computer Science - RIMS Symposia on Software Science and Engineering II ◽

10.1007/3-540-16470-7_1 ◽

1986 ◽

pp. 1-16

Author(s):

Etsuya Shibayama

Keyword(s):

Merging Algorithm

Download Full-text

Evaluation of working set algorithms for data-flow machines

Lecture Notes in Computer Science - RIMS Symposia on Software Science and Engineering II ◽

10.1007/3-540-16470-7_12 ◽

1986 ◽

pp. 233-260 ◽

Author(s):

Hideki Sunahara ◽

Mario Tokoro

Keyword(s):

Data Flow ◽

Download Full-text

On program transformation with tupling technique

Lecture Notes in Computer Science - RIMS Symposia on Software Science and Engineering II ◽

10.1007/3-540-16470-7_11 ◽

1986 ◽

pp. 212-232

Author(s):

Akihiko Koga

Keyword(s):

Program Transformation

Download Full-text

OR-Parallel Optimizing Prolog System: Pops its design and implementation in Concurrent Prolog

Lecture Notes in Computer Science - RIMS Symposia on Software Science and Engineering II ◽

10.1007/3-540-16470-7_6 ◽

1986 ◽

pp. 114-129 ◽

Author(s):

Hideki Hirakawa ◽

Rikio Onai ◽

Kohichi Furukawa

Keyword(s):

Concurrent Prolog ◽

Design And Implementation

Download Full-text

Partial computation with a dataflow machine

Lecture Notes in Computer Science - RIMS Symposia on Software Science and Engineering II ◽

10.1007/3-540-16470-7_5 ◽

1986 ◽

pp. 87-113 ◽

Author(s):

Satoshi Ono ◽

Naohisa Takahashi ◽

Makoto Amamiya

Download Full-text