PARLE '94 : parallel architectures and languages Europe : 6th International PARLE Conference, Athens, Greece, July 4-8, 1994 : proceedings
This 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-perform...
Salvato in:
| Ente Autore: | |
|---|---|
| Altri autori: | , , |
| Natura: | Livre numérique |
| Lingua: | Anglais |
| Pubblicazione: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serie: | Lecture notes in computer science
817 |
| Soggetti: | |
| Accesso online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • PARLE '94, parallel architectures and languages Europe, 6th International PARLE Conference, Athens, Greece, July 4-8, 1994, proceedings, C. Halatsis...[et al.], eds, Berlin, Springer-Verlag, 1994, 1 vol. (XIII-836 p.), Lecture notes in computer science, 0-387-58184-7 • PARLE '94 Parallel Architectures and Languages Europe, Texte imprimé, 9783662212233 |
Sommario:
- 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 problems
- A general method for maximizing the error-detecting ability of distributed algorithms
- MAGE: A Massively Agent Execution System for logic programming
- Checking the serial correctness of control-parallel programs
- NXLib A parallel programming environment for workstation clusters
- Applying human factors techniques to the design of a tool for parallel program performance analysis and tuning
- An Actor based programming system for heterogeneous processing
- Introducing fairness in CSP systems specified with state variables
- A dataflow-based massively parallel programming language and its implementation
- Using subpages for coherency control in parallel database systems
- A new multi-dimensional interconnection network for SIMD architectures
- A scalable bit-sequential SIMD architecture for pattern recognition
- An iterative array processor architecture for matrix computation
- Datarol-II: A fine-grain massively parallel architecture
- From BSP to a virtual von Neumann machine
- Data parallel relational database processing on the connection machine CM-2 with DataVault
- Staggered scheme: A loop allocation policy
- Using parallel simulated annealing in the mapping problem
- A new parallel MIMD Connected Component Labeling algorithm
- Using reference counters in update based coherent memory
- Compositional reasoning about real-time distributed systems withlimited resources
- Dynamic load balancing on a virtually-shared memory parallel computer system
- Analysing the load balancing scheme of a parallel system on multiprocessors A modeling approach
- Performance of interconnection network in multithreaded architectures
- Scheduling algorithms performance with the pSystem parallel programming environment
- A new routing scheme for concatenating two omega networks.