Titlebook: RIMS Symposium on Software Science and Engineering; Kyoto, 1982. Proceed Eiichi Goto,Koichi Furukawa,Akinori Yonezawa Conference proceeding

CAMP

Takeshi Shinoharaique can be extended to treat polyatomic species but no applications have been reported to date. The idea behind the method is to divide configuration space into regions or boxes, solve the Schrodinger equation in each box separately and to then match the solutions on the surface bounding adjacent r

Scleroderma

optional

Stagger

是剥皮

Yuzuru Tanakaattention to structural phase transforma~ions. Beginning wi th the first Geilo institute in 19‘(1 we have seen the emphasis evolve from the simple quasiharmonic soft mode description within the Landau theory, through the unexpected spectral structure re­ presented by the "central peak" (1973), to su

罗盘

Partial computation of programs, Finally, the formal theory of partial computation, technical problems in making it practical, and its future research problems are discussed..The main purpose of this paper is to make partial computation effectiveness widely known. However, two new results are also reported:

食品室

Polynomial time inference of extended regular pattern languages,.) constant string, instead of non-empty string. Our inference machine uses MINL calculation which finds a minimal language containing a given finite set of strings. The relation between MINL calculation for the class of extended regular pattern languages and the longest common subsequence problem is also discussed.

Negligible

Relational algebra machine GRACE,y..GRACE adopts a novel relational algebra processing algorithm based on hash and sort, and can join in O((N + M)/n) time. GRACE exhibits high performance even in join dominant environment. In this paper, hash based relational algebra processing technique, its implementation on parallel machine, and architecture of GRACE are presented.

钢盔

Partial computation of programs,ecializing a general program based upon its operating environment into a more efficient program". It also shows the usefulness of partial computation. Finally, the formal theory of partial computation, technical problems in making it practical, and its future research problems are discussed..The mai

平项山