Parallel processing : CONPAR 94-VAPP VI : Third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6-8, 1994 : proceedings
著者
書誌事項
Parallel processing : CONPAR 94-VAPP VI : Third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6-8, 1994 : proceedings
(Lecture notes in computer science, 854)
Springer-Verlag, c1994
- : gw
- : us
- タイトル別名
-
CONPAR 94-VAPP 6
CONPAR 94-VAPP six
大学図書館所蔵 全55件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
注記
Includes bibliographical references and index
内容説明・目次
内容説明
This volume presents the proceedings of the Third Joint International Conference on Vector and Parallel Processing (CONPAR 94 - VAPP VI), held in Linz, Austria in September 1994.
The 76 papers contained were carefully selected from a wealth of submissions and address the most important aspects of parallel processing research. The volume is organized into sections on performance analysis and monitoring, parallel program development, parallel algorithms and complexity models, parallel architectures and abstract machines, parallel languages and compiler technology, networks and routing, and scheduling in distributed memory systems.
目次
Scalability and programmability of massively parallel processors.- Language constructs and runtime systems for compositional parallel programming.- Locality optimizations for parallel machines.- TAU: A portable parallel program analysis environment for pC++.- Communication pattern based performance prediction on the nCUBE 2 multiprocessor system.- Performance oriented development of SPMD programs based on task structure specifications.- Monitoring for detecting bugs and blocking communication.- Minimizing the log size for execution replay of shared-memory programs.- Gold Mine specification language for event-based monitoring.- On the expressivity of a weakest precondition calculus for a simple data-parallel programming language (short version).- Reduction in Pei.- Towards the synthesis of asynchronous concurrent programs.- Formal derivation of SIMD parallelism from non-linear recursive specifications.- Deriving efficient parallel implementations of algorithms operating on general sparse matrices using automatic program transformation.- Flexible program and architecture specification for massively parallel systems.- Systematic approach and software tool for systolic design.- ADVISE agricultural developmental visualisation interactive software environment.- TOP2 tool suite for the development and testing of parallel applications.- Vectorization of the radix r self-sorting FFT.- Efficient Gram-Schmidt orthogonalisation on an array processor.- Parallel algorithm for inverting tridiagonal matrix on linear processor array.- Systolic algorithms for long integer GCD computation.- Parallelization of non-simultaneous iterative methods for systems of linear equations.- Hypercube implementation and performance analysis for extrapolation methods.- An approach to machine-independentparallel programming.- On logic program parallelisation strategies.- Paradigms admitting superunitary behaviour in parallel computation.- Exact solution of linear systems over rational numbers by parallel p-adic arithmetic.- Parallel computation of modular multivariate polynomial resultants on a shared memory machine.- Partial Marking GC.- Parallel recognition and location algorithms for chordal graphs using distance matrices.- Comparing two probabilistic models of the computational complexity of the branch and bound algorithm.- Parallel heap construction using multiple selection.- Engineering high quality parallel software using PARSE.- Massively parallel volume rendering.- Parallel visibility computations for parallel radiosity.- Memory access synchronization in vector multiprocessors.- A switch cache design for MIN-based shared-memory multiprocessors.- Modeling cache coherence overhead with geometric objects.- Accelerated access to shared distributed arrays on distributed memory systems by access objects.- A comparison of shared virtual memory and message passing programming techniques based on a finite element application.- Comparison between a message passing and a global shared memory parallel computer by means of a concrete Monte-Carlo algorithm.- Non homogenous parallel memory operations in a VLIW machine.- Experience with the implementation of a concurrent graph reduction system on an nCUBE/2 platform.- The Rewrite Rule Machine node architecture and its performance.- Automatic spark strategies and granularity for a parallel functional language reducer.- Virtual tasks for the PACLIB kernel.- MUSE: a message passing concurrent computer for on-board space systems.- Self-timed communication strategies for massively parallel systolic architectures.- VIM language paradigm.- Distributed Linda tuplespace algorithms and implementations.- Supporting coarse and fine grain parallelism in an extension of ML.- Towards mixed computation/communication in parallel scientific libraries.- Composing functional unit blocks for efficient Interpretation of MIMD code sequences on SIMD processors.- Using sacks to organize registers in VLIW machines.- A framework for resource-constrained rate-optimal software pipelining.- Design of a meta-parallelizer for large scientific applications.- A software architecture for multidisciplinary applications: Integrating task and data parallelism.- On scanning space-time mapped while loops.- Optimizing communications by using compile time analysis.- Optimal tile sizing.- Evaluating array expressions on massively parallel machines with communication/computation overlap.- User interaction and symbolic extensions to dependence analysis.- Simplifying polynomial constraints over integers to make dependence analysis more precise.- Asymptotically optimal communication algorithms on faulty folded petersen networks.- Optimization of diagnostic examination.- Laying out midimew networks with constant dilation.- Optimal interval routing.- Broadcasting in bus interconnection networks.- Broadcasting in the arrowhead torus.- An efficient mapping heuristic for mesh-connected parallel architectures based on Mean Field Annealing.- Mapping and scheduling by genetic algorithms.- Self-organizing processes.- Balancing load under large and fast load changes in distributed computing systems — A case study.- Dynamic load balancing mechanisms for a parallel operating system kernel.- A new load-prediction scheme based on algorithmic cost functions.
「Nielsen BookData」 より