Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume is a collection of papers on topics focused around concurrency, based on research work presented at the UK/Japan Workshop held at Wadham College, Oxford, September 25-27, 1989. The volume is organized into four parts: - Papers on theoretical aspects of concurrency which reflect strong research activities in the UK, including theories on CCS and temporal logic RDL. - Papers on object orientation and concurrent languages which reflect major research activities on concurrency in Japan. The languages presented include extensions of C, Prolog and Lisp as well as object-based concurrent languages. - Papers on parallel architectures and VLSI logic, including a rewrite rule machine, a graph rewriting machine, and a dataflow architecture. - An overview of the workshop including the abstracts of the talks and the list of participants. The appendix gives a brief report of the first UK/Japan Workshop in Computer Science, held at Sendai, Japan, July 6-9, 1987.

Parallel processing (Electronic computers) --- -681.3*D1 --- Congresses --- Programming techniques--See also {681.3*E} --- 681.3*D1 Programming techniques--See also {681.3*E} --- 681.3*D1 --- Parallel processing (Computer science) --- Computer network architectures. --- Computer science. --- Logic design. --- Computer System Implementation. --- Programming Techniques. --- Computation by Abstract Devices. --- Logics and Meanings of Programs. --- Processor Architectures. --- Programming Languages, Compilers, Interpreters. --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume presents the proceedings of a workshop at which major Parallel Lisp activities in the US and Japan were explained. Work covered includes Multilisp and Mul-T at MIT, Qlisp at Stanford, Lucid and Parcel at Illinois, PaiLisp at Tohoku University, Multiprocessor Lisp on TOP-1 at IBM Tokyo Research, and concurrent programming in TAO. Most papers present languages and systems of Parallel Lisp and are in particular concerned with: - Language constructs of Parallel Lisp and their meanings from the standpoint of implementing Parallel Lisp systems; - Some important technical issues such as parallel garbage collection, dynamic task partitioning, futures and continuations in parallelism, automatic parallelization of Lisp programs, and the kernel concept of Parallel Lisp. Some performance results are reported that suggest practical applicability of Parallel Lisp systems in the near future. Several papers on concurrent object-oriented systems are also included.

LISP (Computer program language) --- -Parallel computers --- -Parallel programming (Computer science) --- -681.3*C12 --- 681.3*C4 --- 681.3*D32 --- 681.3*D4 --- Electronic digital computers --- List processing computer language --- List processing (Electronic computers) --- Congresses --- Multiple data stream architectures (multiprocessors): MIMD; SIMD; pipeline and parallel processors; array-, vector-, associative processors; interconnection architectures: common bus, multiport memory, crossbar switch --- Performance of systems (Computer systems organization) --- language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- Operating systems--See also {681.3*C} --- 681.3*D4 Operating systems--See also {681.3*C} --- 681.3*D32 language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- 681.3*C4 Performance of systems (Computer systems organization) --- 681.3*C12 Multiple data stream architectures (multiprocessors): MIMD; SIMD; pipeline and parallel processors; array-, vector-, associative processors; interconnection architectures: common bus, multiport memory, crossbar switch --- Parallel computers --- Parallel programming (Computer science) --- 681.3*C12 --- LISP (Computer program language) - Congresses. --- Parallel programming (Computer science) - Congresses. --- Parallel computers - Congresses. --- Computer network architectures. --- Computer science. --- Artificial intelligence. --- Computer system performance. --- Computer System Implementation. --- Programming Languages, Compilers, Interpreters. --- Artificial Intelligence. --- Processor Architectures. --- System Performance and Evaluation. --- Programming Techniques. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Informatics --- Science --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Langages de programmation

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)