default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5. PARLE 1993: Munich, Germany
- Arndt Bode, Mike Reeve, Gottfried Wolf:
PARLE '93, Parallel Architectures and Languages Europe, 5th International PARLE Conference, Munich, Germany, June 14-17, 1993, Proceedings. Lecture Notes in Computer Science 694, Springer 1993, ISBN 3-540-56891-3
Architectures: Virtual Shared Memory
- Curd Engelmann, Jörg Keller:
Simulation-based Comparison of Hash Functions for Emulated Shared Memory. 1-11 - Matthew Haines, A. P. Wim Böhm:
Task Management, Virtual Shared Memory, and Multithreading in a Distributed Memory Implementation of Sisal. 12-23 - Erik Hagersten, Mats Grindal, Anders Landin, Ashley Saulsbury, Bengt Werner, Seif Haridi:
Simulating the Data Diffusion Machine. 24-41
Functional Programming
- Yosi Ben-Asher, Gudula Rünger, Assaf Schuster, Reinhard Wilhelm:
2DT-FP: An FP Based Programming Language for Efficient Parallel Programming of Multiprocessor Networks. 42-55 - Gaétan Hains
, Christian Foisy:
The Data-Parallel Categorical Abstract Machine. 56-67 - John T. O'Donnell:
Data Parallel Implementation of Extensible Sparse Functional Arrays. 68-79
Interconnection Networks: Embeddings
- Sabine R. Öhring, Sajal K. Das:
Embeddings of Tree-Related Networks in Incomplete Hypercubes. 80-91 - Paul Cull, Shawn M. Larson:
Static and Dynamic Performance of the Möbius Cubes. 92-103 - Z. George Mou, Xiaojing Wang:
Optimal Mappings of m Dimensional FFT Communication to k Dimensional Mesh for Arbitrary m and k. 104-119
Language Issues
- John Sargeant:
Implicit Parallelism: The United Functions and Objects Approach. 120-131 - Xavier Redon, Paul Feautrier:
Detection of Recurrences in Sequential Programs with Loops. 132-145 - John Darlington, A. J. Field, Peter G. Harrison, Paul H. J. Kelly, David W. N. Sharp, Qian Wu:
Parallel Programming Using Skeleton Functions. 146-160 - Vyacheslav B. Muchnick, Alexander V. Shafarenko, Carl David Sutton:
Data-Parallel Portable Software Platform: Principles and Implementation. 161-172
Concurrency: Responsive Systems
- Doron A. Peled, Mathai Joseph:
A Compositional Approach for Fault-Tolerance Using Specification Transformation. 173-184 - Michael Fisher:
Concurrent METATEM - A Language for Modelling Reactive Systems. 185-196 - Henk Schepers, Jozef Hooman:
Trace-Based Compositional Reasoning about Fault Tolerant Systems. 197-208 - Robert Kim Yates, Guang R. Gao:
A Kahn Principle for Networks of Nonmonotonic Real-time Processes. 209-227
Interconnection Networks: Routing
- Xiaola Lin, Philip K. McKinley, Abdol-Hossein Esfahanian:
Adaptive Multicast Wormhole Routing in 2D Mesh Multicomputers. 228-241 - Jae H. Kim, Andrew A. Chien:
The Impact of Packetization in Wormhole-Routed Networks. 242-253 - Ziqiang Liu, José Duato, Lars-Erik Thorelli:
Grouping Virtual Channels for Deadlock-Free Adaptive Wormhole Routing. 254-265
Logic Programming
- Evan Tick:
Monaco: A High-Performance Flat Concurrent Logic Programming System. 266-278 - Johan Bevemyr, Thomas Lindgren, Håkan Millroth:
Exploiting Recursion-Parallelism in Prolog. 279-290 - André Véron, Kees Schuerman, Mike Reeve, Liang-Liang Li:
Why and How in the ElipSys OR-parallel CLP System. 291-303
Architectures: Caches
- André Seznec, François Bodin:
Skewed-associative Caches. 304-316 - Nicholas Ironmonger:
Trace-Splitting for the Parallel Simulation of Cache Memory. 317-328 - Andrew J. Bennett, Paul H. J. Kelly:
Localtiy and False Sharing in Coherent-Cache Parallel Graph Reduction. 329-340 - Guoying Chen:
SLID - A Cost-Effektive and Scalable Limited-Directory Scheme for Cache Coherence. 341-352
Concurrency: Semantics
- Didier Buchs, Nicolas Guelfi:
Formal Development of Actor Programs Using Structured Algebraic Petri Nets. 353-366 - Chris Hankin, Daniel Le Métayer, David Sands:
A Parallel Programming Style and Its Algebra of Programs. 367-378 - Eike Best, Richard P. Hopkins:
B(PN)2 - a Basic Petri Net Programming Notation. 379-390 - K. V. S. Prasad:
A Calculus of Value Broadcasts. 391-402
Tools
- Christian Scheidler, Lorenz Schäfers, Ottmar Krämer-Fuhrmann:
TRAPPER: A Graphical Programming Environment for Industrial High-Performance Applications. 403-413 - Jun'ichi Tatemura, Hanpei Koike, Hidehiko Tanaka:
Control and Data Flow Visualization for Parallel Logic Programs on a Multi-window Debugger HyperDEBU. 414-425
Neural Networks
- Jenn-Shiang Lai, Young-Ja Ko, Sy-Yen Kuo:
Artificial Neural Networks for the Bipartite and K-partite Subgraph Problems. 426-437 - I. A. Kalyayev:
Homogeneous Neuronlike Structures for Optimization Variational Problem Solving. 438-451
Scheduling
- Christophe Coroyer, Zhen Liu:
Effectiveness of Heuristics and Simulated Annealing for the Scheduling of Concurrent Tasks - An Empirical Comparison. 452-463 - Klaus Ecker, Reiner Hirschberg:
Task Scheduling with Restricted Preemptions. 464-475 - Dugki Min, Matt W. Mutka:
Effects of Job Size Irregularity on the Dynamic Resource Scheduling of a 2-D Mesh Multicomputer. 476-487 - Sylvie Norre:
Static Allocation of Tasks on Multiprocessor Architectures with Interprocessor Communication Delays. 488-499
Specification, Verification
- Eric Violard, Guy-René Perrin:
PEI: a Single Unifying Model to Design Parallel Programs. 500-516 - Cyrille Bareau, Benoît Caillaud, Claude Jard, René Thoraval:
Correctness of Automated Distribution of Sequential Programs. 517-528 - Ernesto Pimentel, José M. Troya:
Compositionality Issues of Concurrent Object-Oriented Logic Languages. 529-540 - Luis M. Alonso:
Using State Variables for the Specification and Verfication of TCSP Processes. 541-552
Algorithms
- Evripidis Bampis, Mohamed El Haddad, Yannis Manoussakis, Miklos Santha:
A Parallel Reduction of Hamiltonian Cycle to Hamiltonian Path in Tournaments. 553-560 - Dharmavani Bhagavathi, Stephan Olariu, W. Shen, Larry Wilson:
A Unifying Look at Semigroup Computations on Meshes with Multiple Broadcasting. 561-569 - Rhys S. Francis, Ian D. Mathieson, Linda Pannan:
A Fast, Simple Algorithm to Balance a Parallel Multiway Merge. 570-581
Architectures: Fine Grain Parallelism
- Wolfgang Karl:
Some Design Aspects for VLIW Architectures Exploiting Fine - Grained Parallelism. 582-599 - Craig A. Farrell, Dorota H. Kieronska:
Load Balanced Optimisation of Virtualised Algorithms for Implementation on Massively Parallel SIMD Architectures. 600-609 - Xiao-ping Ling, Hideharu Amano:
Performance evaluation of WASMII: a data driven computer on a virtual hardware. 610-621
Databases
- Robert Marek, Erhard Rahm:
On the Performance of Parallel Join Processing in Shared Nothing Database Systems. 622-633 - Gert Akerholt, Kevin Hammond, Simon L. Peyton Jones, Philip W. Trinder:
Processing Transactions on GRIP, a Parallel Graph Reducer. 634-647 - Jerome Robinson, Shutian Lin:
Arithmetic for Parallel Linear Recursive Query Evaluation in Deductive Databases. 648-659
Regular Posters
- Erricos John Kontoghiorghes, M. R. B. Clarke:
Computing the Complete Orthogonal Decomposition Using a SIMD Array Processor. 660-663 - Mario Cannataro, Yaroslav D. Sergeyev, Giandomenico Spezzano, Domenico Talia:
A Dynamic Load Balancing Strategy for Massively Parallel Computers. 664-667 - Thomas Kunz:
Issues in Event Abstraction. 668-671 - Maciej Koutny, Luigi V. Mancini, Giuseppe Pappalardo:
Modelling Replicated Processing. 672-675 - Christine Rochange, Pascal Sainrat, Daniel Litaize:
Performance of M3S for the SOR algorithm. 676-679 - Mads Nygård, Sintef Delab:
Multi-Criteria: Degrees of Recoverability in Distributed Databases. 680-683 - Pedro López, José Duato:
Deadlock-Free Adaptive Routing Algorithms for the 3D-Torus: Limitations and Solutions. 684-687 - Jiawang Wei:
Convergence of Asynchronous Iterations of Least Fixed Points. 688-691 - Stefan Lüpke:
LU-Decomposition on a Massively Parallel Transputer System. 692-695 - Emilio Luque, Remo Suppi, Joan Sorribes:
PSEE: Parallel System Evaluation Environment. 696-699 - Simin H. Pakzad, Paul Plaskonos:
Implementation of a Digital Modular Chip for a Reconfigurable Artificial Neural Network. 700-703 - Mads Nygård, Sintef Delab:
Article-Acquisition: A Scenario for Non-Serializability in a Distributed Database. 704-707 - Luis Angel Barragan, Armando Roy:
An Empirical Study of Vision Programs for Data Dependence Analysis. 708-711 - Richard E. Jones, Rafael Dueire Lins:
Cyclic Weighted Reference Counting without Delay. 712-715 - Myra Spiliopoulou, Yannis Cotronis, Michael Hatzopoulos:
Parallel Optimisation of Join Queries Using an Enhanced Iterative Improvement Technique. 716-719 - Jesper Larsson Träff:
Precis: Distributed Shortest Path Algorithms. 720-723 - Nikolay A. Anisimov:
A Disabling of Event Structures. 724-727 - Arnold Neville Pears, Rhys S. Francis:
Barrier Semantics in Very Weak Memory. 728-731 - Fubo Zhang, Erik H. D'Hollander:
Using Hammock Graphs to Eliminate Nonstructured Branch Statements. 732-735 - Wim Van de Velde, Johan Opsommer, Erik H. D'Hollander:
Performance Modeling of Microkernel Thread Schedulers for Shared Memory Multiprocessors. 736-739 - Cinzia Bernardeschi, Andrea Bondavalli, Luca Simoncini:
From Data Flow Networks to Process Algebras. 740-743 - Christian Heckler, Lothar Thiele:
Parallel Complexity of Lattice Basis Reduction and a Floating-Point Parallel Algorithm. 744-747 - Francesca Arcelli Fontana, Massimo De Santo, Michele Di Santo:
Computer Vision Applications Experience with Actors. 748-751 - Valeri P. Il'in, Yakov I. Fet:
Grid Massively Parallel Processor. 752-755
ESPRIT Project Overvies
- Liang-Liang Li, Mike Reeve, Kees Schuerman, André Véron, Jacques Bellone, Claudine Pradelles, Angelos Kolokouris, Takis Stamatopoulos, Dominic A. Clark, Christopher J. Rawlings, Jack Shirazi, Giuseppe Sardu:
Applause: Application & Assessment of Parallel Programming Using Logic. 756-759 - Lothar Borrmann, Erol Gelenbe, Isabella Hofstetter, Petro Istavrinos, Karl Klaus, Mike Ward:
EPOCH - European Parallel Operating System based on Chorus. 760-763 - Kam-Fai Wong, M. Howard Williams, S. Leunig, Martin L. Kersten, M. Jean-Noel, Béatrice Finance, Benoît Dageville, Michel Couprie, Phil Broughton, Didier Boudigue, Björn Bergsten, Frédéric Andrès:
Pythagoras Project Overview (EP7091). 764-768
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-26 23:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
