- 巻冊次
-
v. 1 : gw ISBN 9783540179436
目次
Learning translation invariant recognition in a massively parallel networks.- Trace theory and systolic computations.- Boltzmann machines and their applications.- Cobweb-2: Structured specification of a wafer-scale supercomputer.- A novel deadlock free and starvation free packet switching communication processor.- A parallel architecture for signal understanding through inference on uncertain data.- An axiomatic approach to the specification of distributed computer architectures.- Computing on a systolic screen: Hulls, contours and applications.- Multiprocessor systems programming in a high-level data-flow language.- The twisted cube.- An implemented method for incremental systolic design.- The use of parallel functions in system design.- The translation of processes into circuits.- Mapping strategies in message based multiprocessor systems.- Hardware memory management for large knowledge bases.- Transputer-based experiments with the ZAPP architecture.- Synthesis of systolic arrays for inductive problems.- Practical parallelism using transputer arrays.- Systolic array synthesis by static analysis of program dependencies.- Specification of a pipelined event driven simulator using FP2.- A layered emulator for design evaluation of MIMD multiprocessors with shared memory.- The Alliant FX/Series: A language driven architecture for parallel processing of dusty deck fortran.- Emulating digital logic using transputer networks (very high parallelism = simplicity = performance).- A two-level approach to logic plus functional programming integration.- Overview of a parallel reduction machine project.- An overview of DDC: Delta driven computer.- Design and implementation of a parallel inference machine for first order logic: an overview.- Multi-level simulator for VLSI.- The DOOM system and its applications: A survey of esprit 415 subproject A, philips research laboratories.
- 巻冊次
-
v. 2 : gw ISBN 9783540179450
目次
Executing a program on the MIT Tagged-Token Dataflow architecture.- PARLOG: The language and its applications.- Functional programming and communicating processes.- Garbage collection in a distributed environment.- Decidability of bisimulation equivalence for processes generating context-free languages.- An approach to programming process interconnection structures: Aggregate rewriting graph grammars.- Specifying functional and timing behavior for real-time applications.- Term graph rewriting.- Towards an intermediate language based on Graph Rewriting.- Distributed garbage collection using reference counting.- Rigorous development of a distributed calendar system.- A reduction semantics for imperative higher-order languages.- Petri net models for algebraic theories of concurrency.- A computational model for distributed systems using operator nets.- Design and proof of communicating sequential processes.- Parallel programming in Temporal Logic.- "Ruth: A functional language for real-time programming".- A compositional proof theory for real-time distributed message passing.- STREAM: A scheme language for formally describing digital circuits.- A fully abstract semantics for data flow nets.- The concurrent assignment representation of synchronous systems.- A new and efficient implementation of multiprocess synchronization.- Rewriting techniques for the temporal analysis of communicating processes.- Optimistic and-parallelism in Prolog.- An efficient garbage collection scheme for parallel computer architectures.- Task sequencing language for specifying distributed Ada systems TSL-1.
「Nielsen BookData」 より