Parallel Symbolic Computing: Languages, Systems, and Applications (Record no. 35622)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 04102nam a22004935i 4500 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
ISBN | 9783540481331 |
-- | 978-3-540-48133-1 |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 005.11 |
245 10 - TITLE STATEMENT | |
Title | Parallel Symbolic Computing: Languages, Systems, and Applications |
Sub Title | US/Japan Workshop Cambridge, MA, USA, October 14–17, 1992 Proceedings / |
Statement of responsibility, etc | edited by Robert H. Halstead, Takayasu Ito. |
260 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Place of publication | Berlin, Heidelberg : |
Name of publisher | Springer Berlin Heidelberg, |
Year of publication | 1993. |
300 ## - PHYSICAL DESCRIPTION | |
Number of Pages | X, 426 p. |
Other physical details | online resource. |
490 1# - SERIES STATEMENT | |
Series statement | Lecture Notes in Computer Science, |
505 0# - FORMATTED CONTENTS NOTE | |
Formatted contents note | Overview of papers from the U.S./Japan workshop on parallel symbolic computing -- Prioritization in parallel symbolic computing -- A priority control system for OR-parallel Prolog and its performance evaluation -- Extending the Multilisp sponsor model to deal with intertask synchronization side effects -- Distillations of dynamic partitioning experience -- A message passing implementation of lazy task creation -- P-continuation based implementation of PaiLisp interpreter -- Running higher-order unification in PaiLisp -- HyperDEBU: A multiwindow debugger for parallel logic programs -- MulTVision: A tool for visualizing parallel program executions -- Managing side effects on shared data -- Design of a concurrent and distributed language -- TS/Scheme: Distributed data structures in Lisp -- A SIMD environment TUPLE for parallel list processing -- Architecture independence and coordination -- Persistent immutable shared abstractions -- Asynchrony and real-time in distributed systems -- Asynchronous communication model based on linear logic -- Parallel inference system research in the Japanese FGCS project -- Massively parallel symbolic computing -- Sparcle: A multithreaded VLSI processor for parallel computing -- A new architecture design paradigm for parallel computing in scheme -- Customizable policy management in the Sting operating system -- An efficient implementation scheme of concurrent object-oriented languages on stock multicomputers (extended abstract) -- Panel discussion I: Massively parallel architectures and symbolic computation -- Panel Discussion II: Applications for parallel symbolic computation. |
520 ## - SUMMARY, ETC. | |
Summary, etc | 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. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Computer science. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Software engineering. |
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Computer Science. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Programming Techniques. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Software Engineering. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Programming Languages, Compilers, Interpreters. |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Halstead, Robert H. |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Ito, Takayasu. |
856 40 - ELECTRONIC LOCATION AND ACCESS | |
Uniform Resource Identifier | http://dx.doi.org/10.1007/BFb0018643 |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | E-BOOKS |
264 #1 - | |
-- | Berlin, Heidelberg : |
-- | Springer Berlin Heidelberg, |
-- | 1993. |
336 ## - | |
-- | text |
-- | txt |
-- | rdacontent |
337 ## - | |
-- | computer |
-- | c |
-- | rdamedia |
338 ## - | |
-- | online resource |
-- | cr |
-- | rdacarrier |
347 ## - | |
-- | text file |
-- | |
-- | rda |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
-- | 0302-9743 ; |
Withdrawn status | Lost status | Damaged status | Not for loan | Current library | Accession Number | Uniform Resource Identifier | Koha item type |
---|---|---|---|---|---|---|---|
IMSc Library | EBK6328 | http://dx.doi.org/10.1007/BFb0018643 | E-BOOKS |