000 04102nam a22004935i 4500
001 978-3-540-48133-1
003 DE-He213
005 20160624102030.0
007 cr nn 008mamaa
008 121227s1993 gw | s |||| 0|eng d
020 _a9783540481331
_9978-3-540-48133-1
024 7 _a10.1007/BFb0018643
_2doi
050 4 _aQA76.6-76.66
072 7 _aUM
_2bicssc
072 7 _aCOM051000
_2bisacsh
082 0 4 _a005.11
_223
245 1 0 _aParallel Symbolic Computing: Languages, Systems, and Applications
_h[electronic resource] :
_bUS/Japan Workshop Cambridge, MA, USA, October 14–17, 1992 Proceedings /
_cedited by Robert H. Halstead, Takayasu Ito.
260 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1993.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1993.
300 _aX, 426 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v748
505 0 _aOverview 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 _aParallel 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 _aComputer science.
650 0 _aSoftware engineering.
650 1 4 _aComputer Science.
650 2 4 _aProgramming Techniques.
650 2 4 _aSoftware Engineering.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
700 1 _aHalstead, Robert H.
_eeditor.
700 1 _aIto, Takayasu.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783540573968
786 _dSpringer
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v748
856 4 0 _uhttp://dx.doi.org/10.1007/BFb0018643
942 _2EBK6328
_cEBK
999 _c35622
_d35622