| 000 -LEADER |
|---|
| fixed length control field |
08111nam a22005655i 4500 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| ISBN |
9783540487890 |
| -- |
978-3-540-48789-0 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
004.1 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Parallel Processing: CONPAR 94 — VAPP VI |
| Sub Title |
Third Joint International Conference on Vector and Parallel Processing Linz, Austria, September 6–8, 1994 Proceedings / |
| Statement of responsibility, etc |
edited by Bruno Buchberger, Jens Volkert. |
| 260 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication |
Berlin, Heidelberg : |
| Name of publisher |
Springer Berlin Heidelberg, |
| Year of publication |
1994. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Number of Pages |
XVI, 893 pp. |
| Other physical details |
online resource. |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture Notes in Computer Science, |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
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-independent parallel 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. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc |
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. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Computer science. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Memory management (Computer science). |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Computer Communication Networks. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Computer system performance. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Computer software. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Computer Science. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Processor Architectures. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Algorithm Analysis and Problem Complexity. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Memory Structures. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Computer Communication Networks. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
System Performance and Evaluation. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Programming Techniques. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Buchberger, Bruno. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Volkert, Jens. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
http://dx.doi.org/10.1007/3-540-58430-7 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Koha item type |
E-BOOKS |
| 264 #1 - |
|---|
| -- |
Berlin, Heidelberg : |
| -- |
Springer Berlin Heidelberg, |
| -- |
1994. |
| 336 ## - |
|---|
| -- |
text |
| -- |
txt |
| -- |
rdacontent |
| 337 ## - |
|---|
| -- |
computer |
| -- |
c |
| -- |
rdamedia |
| 338 ## - |
|---|
| -- |
online resource |
| -- |
cr |
| -- |
rdacarrier |
| 347 ## - |
|---|
| -- |
text file |
| -- |
PDF |
| -- |
rda |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| -- |
0302-9743 ; |
