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.

High Performance Computing

High Performance Computing
Author: Alex Veidenbaum
Publisher: Springer
Total Pages: 579
Release: 2003-11-18
Genre: Computers
ISBN: 3540397078

The 5th International Symposium on High Performance Computing (ISHPC–V) was held in Odaiba, Tokyo, Japan, October 20–22, 2003. The symposium was thoughtfully planned, organized, and supported by the ISHPC Organizing C- mittee and its collaborating organizations. The ISHPC-V program included two keynote speeches, several invited talks, two panel discussions, and technical sessions covering theoretical and applied research topics in high–performance computing and representing both academia and industry. One of the regular sessions highlighted the research results of the ITBL project (IT–based research laboratory, http://www.itbl.riken.go.jp/). ITBL is a Japanese national project started in 2001 with the objective of re- izing a virtual joint research environment using information technology. ITBL aims to connect 100 supercomputers located in main Japanese scienti?c research laboratories via high–speed networks. A total of 58 technical contributions from 11 countries were submitted to ISHPC-V. Each paper received at least three peer reviews. After a thorough evaluation process, the program committee selected 14 regular (12-page) papers for presentation at the symposium. In addition, several other papers with fav- able reviews were recommended for a poster session presentation. They are also included in the proceedings as short (8-page) papers. Theprogramcommitteegaveadistinguishedpaperawardandabeststudent paper award to two of the regular papers. The distinguished paper award was given for “Code and Data Transformations for Improving Shared Cache P- formance on SMT Processors” by Dimitrios S. Nikolopoulos. The best student paper award was given for “Improving Memory Latency Aware Fetch Policies for SMT Processors” by Francisco J. Cazorla.

Advanced LISP Technology

Advanced LISP Technology
Author: Taiichi Yuasa
Publisher: CRC Press
Total Pages: 304
Release: 2002-05-09
Genre: Computers
ISBN: 0203300874

Developments in Lisp technology have been accelerated by a number of factors, including the increased interest in Artificial Intelligence and the emergence of Common Lisp. Advanced Lisp Technology, the fourth volume in the Advanced Information Processing Technology series, brings together various Japanese researchers working in the field of Lisp te

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.

Logic, Language and Computation

Logic, Language and Computation
Author: Neil Jones
Publisher: Springer Science & Business Media
Total Pages: 292
Release: 1994-03-30
Genre: Mathematics
ISBN: 9783540579359

This volume contains 15 papers from research areas where Japanese theoretical computer science is particularly strong. Many are about logic, and its realization and applications to computer science; others concern synthesis, transformation and implementation of programming languages, and complexity and coding theory. Not coincidentally, all the authors are either former students or close colleagues of Satoru Takasu, professor and director at the Research Institute of Mathematical Sciences at the University of Kyoto. The purpose of this volume is to celebrate Professor Takasu's influence on theoretical computer science in Japan and worldwide by his research, his philosophy, and his advising of students. The breadth, depth and quality of the papers are characteristic of his interests and activities.

Computer Aided Systems Theory - EUROCAST '93

Computer Aided Systems Theory - EUROCAST '93
Author: Franz Pichler
Publisher: Springer Science & Business Media
Total Pages: 484
Release: 1994-01-28
Genre: Computers
ISBN: 9783540576013

This volume contains a selection of papers presented at the third European Computer Aided Systems Theory workshop, EUROCAST '93, held in Spain in February 1993. The workshop emphasizes interdisciplinarity with the specificgoal of creating a synergy between fields such as systems theory, computer science, systems engineering and related areas. The contributions in this volume are strongly related to current problems in CAST research. They emphasize an engineering point of view concerning systems theory. Since the computer is an essential instrument in CAST research, there are close relations to specific topics incomputer science. The papers are grouped into parts on systems theory and systems technology, specific methods, and applications.