{"product_id":"9783540581840","title":"PARLE '94, Parallel Architectures and Languages Europe : 6th International PARLE Conference, Athens, Greece, July 4-8, 1994. Proceedings (Lecture Notes in Computer Science Vol.817) (1992. XVI, 836 p. 23,5 cm)","description":"\u003cp\u003eThis volume presents the proceedings of the 5th International Conference Parallel Architectures and Languages Europe (PARLE '94), held in Athens, Greece in July 1994. PARLE is the main Europe-based event on parallel processing. Parallel processing is now well established within the high-performance computing technology and of stategic importance not only to the computer industry, but also for a wide range of applications affecting the whole economy. The 60 full papers and 24 poster presentations accepted for this proceedings were selected from some 200 submissions by the international program committee; they cover the whole field and give a timely state-of-the-art report on research and advanced applications in parallel computing. Improved probabilistic routing on generalized hypercubes.- Efficient data communication in Incomplete Hypercube.- Efficient communication in the folded Petersen interconnection networks.- Compiling rewriting onto SIMD and MIMD\/SIMD machines.- A compilation technique for varying communication cost NUMA architectures.- A data partitioning algorithm for distributed memory compilation.- Towards a high precision massively parallel computer.- On the testability of purely recursive digital filters.- Voting on synchronous communications.- Protocol validation: A parallel technique to reduce the reachability tree.- Optimal parallel execution of complete binary trees and grids into most popular interconnection networks.- Time-optimal nearest-neighbor computations on enhanced meshes.- Simulation of PRAM models on meshes.- On the multisearching problem for hypercubes.- Code Liberation - A tool for refitting code to a parallel environment.- High-level visualisation of parallel logic program execution.- Next-generation parallel performance visualization: A prototyping environment for visualization development.- A formal approach to modeling expected behavior in parallel program visualizations.- An improvement in the size-depth tradeoff for strictly non-blocking generalized-concentration networks.- Bypass strategy in hypercube multiprocessors by adding bus connections.- Optimul: A hybrid multiprocessor for distributed and shared memory multiprocessing with WDM optical fiber interconnections.- ILIAS, a sequential language for parallel matrix computations.- Static communications in parallel scientific programs.- Load balancing for extrapolation methods on distributed memory multiprocessors.- On the definition of speedup.- Petri net performance models of parallel systems - Methodologyand case study.- Run-time optimization of sparse matrix-vector multiplication on SIMD machines.- A new approach to array redistribution: Strip mining redistribution.- Analytic model of a Cache Only Memory Architecture.- Memory assignment for multiprocessor caches through grey coloring.- An adaptive update-based cache coherence protocol for reduction of miss rate and traffic.- Eliminating invalidation in coherent-cache parallel graph reduction.- Enhancing parallelism by removing cyclic data dependencies.- An interaction-based language and its typing system.- On the parallelism of data.- Predicative polymorphism in ?-calculus.- Improving the execution of the dependent and-parallel Prolog DDAS.- OR-parallel Prolog on distributed memory systems.- Efficient distributed memory implementation of a data parallel functional language.- Modelling photochemical pollution using parallel and distributed computing platforms.- Parallel algorithms and interval selection strategies for globally adaptive quadrature.- Systolic designs for evaluating linear combinations of Chebyshev polynomials.- The impact of the KSR1 allcache architecture on the behaviour of the DBS3 parallel DBMS.- Sparse Generalized HyperGrids for performance scalability.- A distributed garbage collector for active objects.- Bus based parallel computers: A viable way for massive parallelism.- Implementation of GTS.- A hierarchical activation management technique for fine-grain multithreaded execution.- Scheduling task graphs onto distributed memory multiprocessors under realistic constraints.- A dynamic algorithm for online scheduling of parallel processes.- CoReA: A synchronous calculus of parallel communicating reactive automata.- Deriving histories of nets with priority relation.- What do you get from a ?-calculussemantics?.- Rewriting: An effective model of concurrency.- Mercury: Object-affinity scheduling and continuation passing on multiprocessors.- Dynamic allocation of communication bandwidth in multicomputers.- Load balanced priority queues on distributed memory machines.- Parallel computations with algebraic numbers a case study: Jordan normal form of matrices.- Batch dynamic algorithms for two graph probl\u003c\/p\u003e","brand":"SPRINGER, BERLIN","offers":[{"title":"Default Title","offer_id":49689360793848,"sku":"00000_00000_00000_00000","price":215.4,"currency_code":"AUD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0789\/8208\/6904\/files\/9783540581840-1.jpg?v=1783780357","url":"https:\/\/kinokuniya.com.au\/products\/9783540581840","provider":"Books Kinokuniya Australia","version":"1.0","type":"link"}