PARLE '92, Parallel Architectures and Languages Europe

PARLE '92, Parallel Architectures and Languages Europe
Author: Daniel Etiemble
Publisher: Springer Science & Business Media
Total Pages: 1012
Release: 1992-06-03
Genre: Computers
ISBN: 9783540555995

The 1992 Parallel Architectures and Languages Europe conference continues the tradition - of a wide and representative international meeting of specialists from academia and industry in theory, design, and application of parallel computer systems - set by the previous PARLE conferences held in Eindhoven in 1987, 1989, and 1991. This volume contains the 52 regular and 25 poster papers that were selected from 187 submitted papers for presentation and publication. In addition, five invited lectures areincluded. The regular papers are organized into sections on: implementation of parallel programs, graph theory, architecture, optimal algorithms, graph theory and performance, parallel software components, data base optimization and modeling, data parallelism, formal methods, systolic approach, functional programming, fine grain parallelism, Prolog, data flow systems, network efficiency, parallel algorithms, cache systems, implementation of parallel languages, parallel scheduling in data base systems, semantic models, parallel data base machines, and language semantics.

PARLE '94 Parallel Architectures and Languages Europe

PARLE '94 Parallel Architectures and Languages Europe
Author: Costas Halatsis
Publisher: Springer Science & Business Media
Total Pages: 860
Release: 1994-06-08
Genre: Computers
ISBN: 9783540581840

This volume presents the proceedings of the 5th International Conference Parallel Architectures and Languages Europe (PARLE '94), held in Athens, Greece in July 1994. PARLE is the main Europe-based event on parallel processing. Parallel processing is now well established within the high-performance computing technology and of stategic importance not only to the computer industry, but also for a wide range of applications affecting the whole economy. The 60 full papers and 24 poster presentations accepted for this proceedings were selected from some 200 submissions by the international program committee; they cover the whole field and give a timely state-of-the-art report on research and advanced applications in parallel computing.

PARLE '93 Parallel Architectures and Languages Europe

PARLE '93 Parallel Architectures and Languages Europe
Author: Arndt Bode
Publisher: Springer Science & Business Media
Total Pages: 796
Release: 1993-06-07
Genre: Computers
ISBN: 9783540568919

Parallel processing offers a solution to the problem of providing the processing power necessary to help understand and master the complexity of natural phenomena and engineering structures. By taking several basic processing devices and connecting them together the potential exists of achieving a performance many times that of an individual device. However, building parallel application programs is today recognized as a highly complex activity requiring specialist skills and in-depth knowledge. PARLE is an international, European based conference which focuses on the parallel processing subdomain of informatics and information technology. It is intended to become THE European forum for interchange between experts in the parallel processing domain and to attract both industrial and academic participants with a technical programme designedto provide a balance between theory and practice. This volume contains the proceedings of PARLE '93. The PARLE conference came into existence in 1987 as an initiative from the ESPRIT I programme and the format was revised in 1991/92. PARLE '93 is the second conference with the new format and was held in Munich.

Parallel Symbolic Computing: Languages, Systems, and Applications

Parallel Symbolic Computing: Languages, Systems, and Applications
Author: Robert H. Halstead
Publisher: Springer Science & Business Media
Total Pages: 438
Release: 1993-11-03
Genre: Computers
ISBN: 9783540573968

Parallel and distributed computing are becoming increasingly important as cost-effective ways to achieve high computational performance. Symbolic computations are notable for their use of irregular data structures and hence parallel symbolic computing has its own distinctive set of technical challenges. The papers in this book are based on presentations made at a workshop at MIT in October 1992. They present results in a wide range of areas including: speculative computation, scheduling techniques, program development tools and environments, programming languages and systems, models of concurrency and distribution, parallel computer architecture, and symbolic applications.

Implementation of Functional Languages

Implementation of Functional Languages
Author: Kevin Hammond
Publisher: Springer
Total Pages: 258
Release: 2003-07-31
Genre: Computers
ISBN: 3540485155

This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on the Implementation of Functional Languages, IFL'98, held in London, UK, in September 1998. The 15 revised full papers presented were carefully selected during two rounds of reviewing. The volume covers a wide range of topics including parallel process organization, parallel profiling, compilation and semantics of parallel systems, programming methodology, interrupt handling, strictness analysis, concurrency and message passing, and inter-language working.

Models for Parallel and Distributed Computation

Models for Parallel and Distributed Computation
Author: R. Correa
Publisher: Springer Science & Business Media
Total Pages: 334
Release: 2013-06-29
Genre: Computers
ISBN: 1475736096

Parallel and distributed computation has been gaining a great lot of attention in the last decades. During this period, the advances attained in computing and communication technologies, and the reduction in the costs of those technolo gies, played a central role in the rapid growth of the interest in the use of parallel and distributed computation in a number of areas of engineering and sciences. Many actual applications have been successfully implemented in various plat forms varying from pure shared-memory to totally distributed models, passing through hybrid approaches such as distributed-shared memory architectures. Parallel and distributed computation differs from dassical sequential compu tation in some of the following major aspects: the number of processing units, independent local dock for each unit, the number of memory units, and the programming model. For representing this diversity, and depending on what level we are looking at the problem, researchers have proposed some models to abstract the main characteristics or parameters (physical components or logical mechanisms) of parallel computers. The problem of establishing a suitable model is to find a reasonable trade-off among simplicity, power of expression and universality. Then, be able to study and analyze more precisely the behavior of parallel applications.

The Science of Computer Benchmarking

The Science of Computer Benchmarking
Author: Roger W. Hockney
Publisher: SIAM
Total Pages: 137
Release: 1996-01-01
Genre: Computers
ISBN: 0898713633

This book provides an introduction to computer benchmarking. Hockney includes material concerned with the definition of performance parameters and metrics and defines a set of suitable metrics with which to measure performance and units with which to express them. He also presents new ideas resulting from the application of dimensional analysis to the field of computer benchmarking.

Lisp in Small Pieces

Lisp in Small Pieces
Author: Christian Queinnec
Publisher: Cambridge University Press
Total Pages: 540
Release: 2003-12-04
Genre: Computers
ISBN: 1139643282

This is a comprehensive account of the semantics and the implementation of the whole Lisp family of languages, namely Lisp, Scheme and related dialects. It describes 11 interpreters and 2 compilers, including very recent techniques of interpretation and compilation. The book is in two parts. The first starts from a simple evaluation function and enriches it with multiple name spaces, continuations and side-effects with commented variants, while at the same time the language used to define these features is reduced to a simple lambda-calculus. Denotational semantics is then naturally introduced. The second part focuses more on implementation techniques and discusses precompilation for fast interpretation: threaded code or bytecode; compilation towards C. Some extensions are also described such as dynamic evaluation, reflection, macros and objects. This will become the new standard reference for people wanting to know more about the Lisp family of languages: how they work, how they are implemented, what their variants are and why such variants exist. The full code is supplied (and also available over the Net). A large bibliography is given as well as a considerable number of exercises. Thus it may also be used by students to accompany second courses on Lisp or Scheme.

Relational Matching

Relational Matching
Author: George Vosselman
Publisher: Springer Science & Business Media
Total Pages: 212
Release: 1992-09-10
Genre: Computers
ISBN: 9783540557982

This is an introduction to recursive functions intended for graduate students. It presupposes some mathematical maturity and a slight aquaintancewith some important topics, such as group theory and topology. Some acquaintance with logic is desirable but not essential. It introduces the main topics of recusion theory, such as hierarchy theory, RE sets, and undecidable theories, without going very deeply into any of them.