PARLE '93 : parallel architectures and languages Europe : 5th International PARLE Conference, Munich, Germany, June 14-17, 1993, proceedings
Parallel processing offers a solution to the problem of providing the processing power necessary to help understand and master the complexity of natural phenomena and engineering structures. By taking several basic processing devices and connecting them together the potential exists of achieving a p...
Bewaard in:
| Coauteur: | |
|---|---|
| Andere auteurs: | , , |
| Formaat: | Livre numérique |
| Taal: | Anglais |
| Gepubliceerd in: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Reeks: | Lecture notes in computer science
694 |
| Onderwerpen: | |
| Online toegang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Opmerking: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • PARLE '93, parallel architectures and languages Europe, 5th International PARLE Conference, Munich, Germany, June 14-17, 1993, proceedings, Arndt Bode, Mike Reeve, Gottfried Wolf (eds.), Berlin, Springer-Verlag, 1993, 1 vol. (XVII-770 p.), Lecture notes in computer science, 3-540-56891-3 • PARLE '93 Parallel Architectures and Languages Europe, Texte imprimé, 9783662184165 |
| LEADER | 09426nam a22004817a 4500 | ||
|---|---|---|---|
| 001 | 944859 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155204653 | ||
| 020 | |a 9783540477792 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a Conference on parallel architectures and languages Europe |n (05 |d :1993 |c :Munich). | |
| 245 | 1 | 0 | |a PARLE '93 : |b parallel architectures and languages Europe : 5th International PARLE Conference, Munich, Germany, June 14-17, 1993, proceedings |c [edited by] Arndt Bode, Mike Reeve, Gottfried Wolf. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 694 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Simulation-based comparison of hash functions for emulated shared memory -- Task management, virtual shared memory, and multithreading in a distributed memory implementation of Sisal -- Simulating the data diffusion machine -- 2DT-FP: An FP based programming language for efficient parallel programming of multiprocessor networks -- The data-parallel categorical abstract machine -- Data parallel implementation of extensible sparse functional arrays -- Embeddings of tree-related networks in incomplete hypercubes -- Static and dynamic performance of the Möbius cubes (short version) -- Optimal mappings of m dimensional FFT communication to k dimensional mesh for arbitrary m and k -- Implicit parallelism: The united functions and objects approach -- Detection of recurrences in sequential programs with loops -- Parallel programming using skeleton functions -- Data-parallel portable software platform: Principles and implementation -- A compositional approach for fault-tolerance using specification transformation -- Concurrent MetateM A language for modelling reactive systems -- Trace-based compositional reasoning about fault tolerant systems -- A Kahn principle for networks of nonmonotonic real-time processes -- Adaptive multicast wormhole routing in 2D mesh multicomputer -- The impact of packetization in wormhole-routed networks -- Grouping virtual channels for deadlock-free adaptive wormhole routing -- Monaco: A high-performance flat concurrent logic programming system -- Exploiting recursion-parallelism in Prolog -- Why and how in the ElipSys OR-parallel CLP system -- Skewed-associative caches -- Trace-splitting for the parallel simulation of cache memory -- Locality and false sharing in coherent-cache parallel graph reduction -- SLiD A cost-effective and Scalable Limited-Directory schemefor cache coherence -- Formal development of actor programs using structured algebraic petri nets -- A Parallel programming style and its algebra of programs -- B(PN) 2 a basic Petri net programming notation -- A calculus of value broadcasts -- TRAPPER: A graphical programming environment for industrial high-performance applications -- Control and data flow visualization for parallel logic programs on a multi-window debugger HyperDEBU -- Artificial neural networks for the bipartite and k-partite subgraph problems -- Homogeneous neuronlike structures for optimization variational problem solving -- Effectiveness of heuristics and simulated annealing for the scheduling of concurrent tasks An empirical comparison -- Task scheduling with restricted preemptions -- Effects of job size irregularity on the dynamic resource scheduling of a 2-D mesh multicomputer -- Static allocation of tasks on multiprocessor architectures with interprocessor communication delays -- PEI: a single unifying model to design parallel programs -- Correctness of automated distribution of sequential programs -- Compositionality issues of concurrent object-oriented logic languages -- Using state variables for the specification and verification of TCSP processes -- A parallel reduction of Hamiltonian cycle to Hamiltonian Path in tournaments -- A unifying look at semigroup computations on meshes with multiple broadcasting -- A fast, simple algorithm to balance a parallel multiway merge -- Some design aspects for VLIW architectures exploiting fine-grained parallelism -- Load balanced optimisation of virtualised algorithms for implementation on massively parallel SIMD architectures -- Performance evaluation of WASMII: a data driven computer on a virtual hardware -- On the performance of parallel join processing in sharednothing database systems -- Processing transactions on GRIP, a parallel graph reducer -- Arithmetic for parallel linear recursive query evaluation in deductive databases -- Computing the complete orthogonal decomposition using a SIMD array processor -- A dynamic load balancing strategy for massively parallel computers -- Issues in event abstraction -- Modelling replicated processing -- Performance of M3S for the SOR algorithm -- Multi-criteria: Degrees of recoverability in distributed databases -- Deadlock-free adaptive routing algorithms for the 3D-torus: Limitations and solutions -- Convergence of asynchronous iterations of least fixed points -- LU-decomposition on a massively parallel transputer system -- PSEE: Parallel system evaluation environment -- Implementation of a digital modular chip for a reconfigurable artificial neural network -- Article-acquisition: A scenario for non-serializability in a distributed database -- An empirical study of vision programs for data dependence analysis -- Cyclic weighted reference counting without delay -- Parallel optimisation of join queries using an enhanced iterative improvement technique -- Precis: Distributed shortest path algorithms -- A disabling of event structures -- Barrier semantics in very weak memory -- Using hammock graphs to eliminate nonstructured branch statements -- Performance modeling of microkernel thread schedulers for shared memory multiprocessors -- From data flow networks to process algebras -- Parallel complexity of lattice basis reduction and a floating-point parallel algorithm -- Computer vision applications experience with actors -- Grid massively parallel processor -- APPLAUSE: Application & assessment of parallel programming using logic -- EPOCH European parallel operating system based on Chorus -- Pythagoras projectoverview (EP7091). | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a Parallel processing offers a solution to the problem of providing the processing power necessary to help understand and master the complexity of natural phenomena and engineering structures. By taking several basic processing devices and connecting them together the potential exists of achieving a performance many times that of an individual device. However, building parallel application programs is today recognized as a highly complex activity requiring specialist skills and in-depth knowledge. PARLE is an international, European based conference which focuses on the parallel processing subdomain of informatics and information technology. It is intended to become THE European forum for interchange between experts in the parallel processing domain and to attract both industrial and academic participants with a technical programme designedto provide a balance between theory and practice. This volume contains the proceedings of PARLE '93. The PARLE conference came into existence in 1987 as an initiative from the ESPRIT I programme and the format was revised in 1991/92. PARLE '93 is the second conference with the new format and was held in Munich. | ||
| 650 | |a Informatique | ||
| 650 | |a Systèmes d'exploitation (ordinateurs) | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Réseaux d'ordinateurs | ||
| 650 | |a Parallélisme (informatique) | ||
| 650 | |a Systèmes informatiques |x Pannes | ||
| 650 | |a Programmation parallèle (informatique) | ||
| 650 | |a Microprocesseurs | ||
| 650 | |a Architecture des ordinateurs | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Wolf, Gottfried, |d 1940-2003. |4 pbd | |
| 700 | 1 | |a Reeve, Mike. |4 pbd | |
| 700 | 1 | |a Bode, Arndt, |d 1948- |4 pbd | |
| 776 | 0 | |0 017303761 |t PARLE '93, parallel architectures and languages Europe |o 5th International PARLE Conference, Munich, Germany, June 14-17, 1993, proceedings |f Arndt Bode, Mike Reeve, Gottfried Wolf (eds.) |c Berlin |n Springer-Verlag |d 1993 |p 1 vol. (XVII-770 p.) |s Lecture notes in computer science |z 3-540-56891-3 | |
| 776 | 0 | |t PARLE '93 Parallel Architectures and Languages Europe |b Texte imprimé |z 9783662184165 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-56891-3 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-DPRZH5VR-G |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747915865 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-56891-3 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750928514 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-56891-3 |z Accès INSA CVL | |
| 997 | |0 944859 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||