Titlebook: Parallel Symbolic Computing: Languages, Systems, and Applications; US/Japan Workshop, C Robert H. Halstead,Takayasu Ito Conference proceedi

GUEER

P-continuation based implementation of PaiLisp interpreter,tion of PaiLisp interpreter based on P-continuations. PaiLisp is a parallelized Scheme based on shared memory architecture, and it is a superset of Multilisp with many concurreny constructs. One of the major contributions of PaiLisp efforts is in extraction of its kernel language PaiLisp-Kernel, whi

是剝皮

Running higher-order unification in PaiLisp,tion. The application is higher-order unification in a typed λ-calculus, where a unification procedure solves equations containing unknown variables ranging over functions. For a large and balanced unification problem, I could gain almost linear speed-up up to the maximum number of processors.

隱語

Harridan

Managing side effects on shared data,s designed for use by programmers who are not experienced in parallel programming, and consists of . and .. Parallelism abstractions represent common, time-consuming operations that offer good speedup potentials for parallel implementations. Data-sharing abstractions support common side-effecting op

Cumulus

控制

Decongestant

Persistent immutable shared abstractions,ation supports the explicit store and implicit retrieval of instances of the Scheme data types. Items are stored into per node repositories, using a modified form of the original . “message” format. Potential access concurrency and transaction atomicity of the store are discussed. The efficacy of th

不可磨滅

Asynchrony and real-time in distributed systems,rding to asynchrony and real-time properties. We try to develop formalisms for the four categories based on a process calculus. The formalisms allow us to describe and analyze both globally and locally temporal properties as well as behavioral properties of distributed objects and interactions among

壯觀的游行

Parallel inference system research in the Japanese FGCS project,ormance knowledge information processing systems. One of its most important subprojects has been the research and development of the parallel inference system, aiming at establishing both hardware and software technologies for obtaining massive symbolic computation power through highly parallel proc

鞏固

Robert H. Halstead Jr.,Takayasu Ito als früher. Es war absehbar, dass die Finanzierung ?ffentlicher Aufgaben aus st?ndig steigenden Anteilen an der Leistungskraft der Wirtschaft und an den Steuern nicht in alle Zukunft extrapoliert werden kann. Es war auch absehbar, dass die Deckung von Finanzierungsl?chern der Staatshaushalte durch