Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | K. V. S. Prasad |
A Calculus of Value Broadcasts. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
CR classification F3.2 Semantics of Programming Languages-operational semantics, algebraic approaches to semantics, F3.1 Logics of programs |
1 | Christian Heckler, Lothar Thiele |
Parallel Complexity of Lattice Basis Reduction and a Floating-Point Parallel Algorithm. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Eric Violard, Guy-René Perrin |
PEI: a Single Unifying Model to Design Parallel Programs. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Ecker, Reiner Hirschberg |
Task Scheduling with Restricted Preemptions. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Myra Spiliopoulou, Yannis Cotronis, Michael Hatzopoulos |
Parallel Optimisation of Join Queries Using an Enhanced Iterative Improvement Technique. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Arndt Bode, Mike Reeve, Gottfried Wolf (eds.) |
PARLE '93, Parallel Architectures and Languages Europe, 5th International PARLE Conference, Munich, Germany, June 14-17, 1993, Proceedings |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Jae H. Kim, Andrew A. Chien |
The Impact of Packetization in Wormhole-Routed Networks. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Sabine R. Öhring, Sajal K. Das 0001 |
Embeddings of Tree-Related Networks in Incomplete Hypercubes. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
shuffle-trees, Interconnection networks, graph embeddings, pyramids, mesh of trees, incomplete hypercubes |
1 | Mads Nygård, Sintef Delab |
Multi-Criteria: Degrees of Recoverability in Distributed Databases. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Haines, A. P. Wim Böhm |
Task Management, Virtual Shared Memory, and Multithreading in a Distributed Memory Implementation of Sisal. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Yosi Ben-Asher, Gudula Rünger, Assaf Schuster, Reinhard Wilhelm |
2DT-FP: An FP Based Programming Language for Efficient Parallel Programming of Multiprocessor Networks. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
operational semantics, parallel language |
1 | Cyrille Bareau, Benoît Caillaud, Claude Jard, René Thoraval |
Correctness of Automated Distribution of Sequential Programs. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
distributed memory parallel machines, formal program development methodologies, parallel language constructs and semantics |
1 | Robert Marek, Erhard Rahm |
On the Performance of Parallel Join Processing in Shared Nothing Database Systems. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Michael Fisher 0001 |
Concurrent METATEM - A Language for Modelling Reactive Systems. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Emilio Luque, Remo Suppi, Joan Sorribes |
PSEE: Parallel System Evaluation Environment. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Valeri P. Il'in, Yakov I. Fet |
Grid Massively Parallel Processor. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Fubo Zhang, Erik H. D'Hollander |
Using Hammock Graphs to Eliminate Nonstructured Branch Statements. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | I. A. Kalyayev |
Homogeneous Neuronlike Structures for Optimization Variational Problem Solving. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Mads Nygård, Sintef Delab |
Article-Acquisition: A Scenario for Non-Serializability in a Distributed Database. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Rhys S. Francis, Ian D. Mathieson, Linda Pannan |
A Fast, Simple Algorithm to Balance a Parallel Multiway Merge. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Jun'ichi Tatemura, Hanpei Koike, Hidehiko Tanaka |
Control and Data Flow Visualization for Parallel Logic Programs on a Multi-window Debugger HyperDEBU. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Mario Cannataro, Yaroslav D. Sergeyev, Giandomenico Spezzano, Domenico Talia |
A Dynamic Load Balancing Strategy for Massively Parallel Computers. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Wim Van de Velde, Johan Opsommer, Erik H. D'Hollander |
Performance Modeling of Microkernel Thread Schedulers for Shared Memory Multiprocessors. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Dharmavani Bhagavathi, Stephan Olariu, W. Shen, Larry Wilson |
A Unifying Look at Semigroup Computations on Meshes with Multiple Broadcasting. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Karl |
Some Design Aspects for VLIW Architectures Exploiting Fine - Grained Parallelism. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Jiawang Wei |
Convergence of Asynchronous Iterations of Least Fixed Points. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Erricos John Kontoghiorghes, M. R. B. Clarke |
Computing the Complete Orthogonal Decomposition Using a SIMD Array Processor. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Pedro López 0001, José Duato |
Deadlock-Free Adaptive Routing Algorithms for the 3D-Torus: Limitations and Solutions. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Curd Engelmann, Jörg Keller 0001 |
Simulation-based Comparison of Hash Functions for Emulated Shared Memory. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Doron A. Peled, Mathai Joseph |
A Compositional Approach for Fault-Tolerance Using Specification Transformation. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Cinzia Bernardeschi, Andrea Bondavalli, Luca Simoncini |
From Data Flow Networks to Process Algebras. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Johan Bevemyr, Thomas Lindgren, Håkan Millroth |
Exploiting Recursion-Parallelism in Prolog. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Craig A. Farrell, Dorota H. Kieronska |
Load Balanced Optimisation of Virtualised Algorithms for Implementation on Massively Parallel SIMD Architectures. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Didier Buchs, Nicolas Guelfi |
Formal Development of Actor Programs Using Structured Algebraic Petri Nets. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
Formal program development, actor languages semantics, algebraic abstract data types, high-level Petri nets, modular specification |
1 | Christophe Coroyer, Zhen Liu |
Effectiveness of Heuristics and Simulated Annealing for the Scheduling of Concurrent Tasks - An Empirical Comparison. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
Scheduling, parallel processing, heuristics, simulated annealing, makespan, precedence constraints, empirical comparison |
1 | André Seznec, François Bodin |
Skewed-associative Caches. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
skewed-associative cache, cache, microprocessors, set-associative cache |
1 | Ernesto Pimentel 0001, José M. Troya |
Compositionality Issues of Concurrent Object-Oriented Logic Languages. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Christine Rochange, Pascal Sainrat, Daniel Litaize |
Performance of M3S for the SOR algorithm. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Richard E. Jones, Rafael Dueire Lins |
Cyclic Weighted Reference Counting without Delay. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | 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). |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Luis Angel Barragan, Armando Roy |
An Empirical Study of Vision Programs for Data Dependence Analysis. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Christian Scheidler, Lorenz Schäfers, Ottmar Krämer-Fuhrmann |
TRAPPER: A Graphical Programming Environment for Industrial High-Performance Applications. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
Scheduling, Programming Environments, Systems, Industrial Applications, Run-Time |
1 | Evripidis Bampis, Mohamed El Haddad, Yannis Manoussakis, Miklos Santha |
A Parallel Reduction of Hamiltonian Cycle to Hamiltonian Path in Tournaments. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Xiaola Lin, Philip K. McKinley, Abdol-Hossein Esfahanian |
Adaptive Multicast Wormhole Routing in 2D Mesh Multicomputers. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Robert Kim Yates, Guang R. Gao |
A Kahn Principle for Networks of Nonmonotonic Real-time Processes. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Gert Akerholt, Kevin Hammond, Simon L. Peyton Jones, Philip W. Trinder |
Processing Transactions on GRIP, a Parallel Graph Reducer. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Vyacheslav B. Muchnick, Alexander V. Shafarenko, Carl David Sutton |
Data-Parallel Portable Software Platform: Principles and Implementation. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Chris Hankin, Daniel Le Métayer, David Sands 0001 |
A Parallel Programming Style and Its Algebra of Programs. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | John Darlington, A. J. Field, Peter G. Harrison, Paul H. J. Kelly, David W. N. Sharp, Qian Wu |
Parallel Programming Using Skeleton Functions. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Arnold Neville Pears, Rhys S. Francis |
Barrier Semantics in Very Weak Memory. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Erik Hagersten, Mats Grindal, Anders Landin, Ashley Saulsbury, Bengt Werner, Seif Haridi |
Simulating the Data Diffusion Machine. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Dugki Min, Matt W. Mutka |
Effects of Job Size Irregularity on the Dynamic Resource Scheduling of a 2-D Mesh Multicomputer. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Z. George Mou, Xiaojing Wang |
Optimal Mappings of m Dimensional FFT Communication to k Dimensional Mesh for Arbitrary m and k. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Evan Tick |
Monaco: A High-Performance Flat Concurrent Logic Programming System. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
compilation, dataflow analysis, concurrent logic programming |
1 | Francesca Arcelli Fontana, Massimo De Santo, Michele Di Santo |
Computer Vision Applications Experience with Actors. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Ziqiang Liu, José Duato, Lars-Erik Thorelli |
Grouping Virtual Channels for Deadlock-Free Adaptive Wormhole Routing. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Sylvie Norre |
Static Allocation of Tasks on Multiprocessor Architectures with Interprocessor Communication Delays. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
Deterministic scheduling, Task allocation on multiprocessor architectures, Stochastic scheduling |
1 | Paul Cull, Shawn M. Larson |
Static and Dynamic Performance of the Möbius Cubes. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Maciej Koutny, Luigi V. Mancini, Giuseppe Pappalardo |
Modelling Replicated Processing. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Luis M. Alonso |
Using State Variables for the Specification and Verfication of TCSP Processes. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | André Véron, Kees Schuerman, Mike Reeve, Liang-Liang Li |
Why and How in the ElipSys OR-parallel CLP System. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Andrew J. Bennett, Paul H. J. Kelly |
Localtiy and False Sharing in Coherent-Cache Parallel Graph Reduction. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Jesper Larsson Träff |
Precis: Distributed Shortest Path Algorithms. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Guoying Chen |
SLID - A Cost-Effektive and Scalable Limited-Directory Scheme for Cache Coherence. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Senthil Krishnamoorthy, Alok N. Choudhary |
An Evaluation of Set-Associativity in Two-Level Caches for Shared Memory Multiprocessors. |
PARLE |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Luc Moreau 0001 |
An operational semantics for a parallel functional language with continuations. |
PARLE |
1992 |
DBLP DOI BibTeX RDF |
metacontinuation, left expression, parallelism, Scheme, continuation, operational semantics, transparency |
1 | Hervé Le Verge |
Reduction Operators in ALPHA. |
PARLE |
1992 |
DBLP DOI BibTeX RDF |
Parallel Languages extensions, Programming environments for parallel languages, Systolic arrays and regular computation |
1 | Michael F. P. O'Boyle, G. A. Hedayat |
A New Program Transformation to Minimise Communication in Distributed Memory Architecture. |
PARLE |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Marc Kuntz |
Performance Evaluation of Cache Memories in Tightly Coupled Multiprocessor Systems. |
PARLE |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Paul Carrara, Jean-Luc Basille, Jean-François Larue, Didier Juvin |
Geometric Transforms on Parallel Architecture. |
PARLE |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Rainer Feldmann, Juraj Hromkovic, Seshu Madhavapeddy, Burkhard Monien, Peter Mysliwietz |
Optimal Algorithms for Disemination of Information in Generalized Communication Modes. |
PARLE |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Jean Fanchon |
Dynamic Concurrent Processes. |
PARLE |
1992 |
DBLP DOI BibTeX RDF |
dynamic placement, graphs, operational semantics, communicating processes, true concurrency |
1 | Jean Paul Bahsoun, Louis Féraud |
A Model to Design Reusable Parallel Software Components. |
PARLE |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Martin Rudalics |
Distributed Termination Enforcement. |
PARLE |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Etiemble, Jean-Claude Syre (eds.) |
PARLE '92: Parallel Architectures and Languages Europe, 4th International PARLE Conference, Paris, France, June 15-18, 1992, Proceedings |
PARLE |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Antonius Klingler, Volker Penner |
Parallelizing Recursive Logic Programs through Decomposition. |
PARLE |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Zbigniew Chamski |
Generating Memory-Efficient Imperative Data Structures from Systolic Programs. |
PARLE |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Christian Queinnec |
A Concurrent and Distributed Extension of Scheme. |
PARLE |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Nikitas J. Dimopoulos, Mahmood Chowdhury, Radhakrishnan Sivakumar, Vassilios V. Dimakopoulos |
Routing in Hypercycles. Deadlock Free and Backtracking Strategies. |
PARLE |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Yves Robert, Siang W. Song |
New Techniques for Cycle Shrinking. |
PARLE |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Lubomir Bic, John M. A. Roy, Mark Nagel |
Declarative Programming for Conventional MIMD Multiprocessors. |
PARLE |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Sajal K. Das 0001, Calvin Ching-Yuen Chen |
Efficient Parallel Algorithms on Interval Graphs. |
PARLE |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Hua Bi |
Explicit Expression of Multidimensional Data Parallelism. |
PARLE |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Mohammad Reza Meybodi |
Concurrent Data Structures for Hypercube Machine. |
PARLE |
1992 |
DBLP DOI BibTeX RDF |
Banyan Heap, Parallel Algorithm, Hypercube, Concurrent Data Structure |
1 | Jérôme Perret, Philippe Gautron |
SIMCDL: Simulating Parallel Programming in a Sequential Environment. |
PARLE |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Eva Kühn, Franz Puntigam |
Reliable Communication in VPL. |
PARLE |
1992 |
DBLP DOI BibTeX RDF |
parallel language extensions, implementation of parallel languages, parallel programming paradigms |
1 | George R. Ribeiro-Justo, Peter H. Welch |
Serialisation as a Paradigm for the Engineering of Parallel Programs. |
PARLE |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Myra Spiliopoulou, Michael Hatzopoulos, Costas Vassilakis |
Using Parallelism and Pipeline for the Optimisation of Join Queries. |
PARLE |
1992 |
DBLP DOI BibTeX RDF |
|
1 | William E. Weihl, Eric A. Brewer, Adrian Colbrook, Chrysanthos Dellarocas, Wilson C. Hsieh, Anthony D. Joseph, Carl A. Waldspurger, Paul Wang |
PRELUDE: A System for Portable Parallel Software. |
PARLE |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Dominique Houzet, Jean-Luc Basille, Jean-Yves Latil |
Performance Analysis of the Network of the GFLOPS Parallel Architecture. |
PARLE |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Khayri A. M. Ali, Roland Karlsson |
Performance of Muse on the BBN Butterfly TC2000. |
PARLE |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Simon H. Lavington, M. E. Waite, Jerome Robinson, Neil Dewhurst |
Exploiting Parallelism in Primitive Operations on Bulk Data Types. |
PARLE |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Gurdip Singh, Arthur J. Bernstein |
A Framework for Parallel Composition of Protocols. |
PARLE |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Günter Karjoth |
XFSM: A Format Model of Communicating State Machines for Implementation Specification. |
PARLE |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Franck Cappello, Jean-Luc Béchennec, Jean-Louis Giavitto |
PTAH: Introduction to a New Parallel Architecture for Highly Numeric Processing. |
PARLE |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Gopal Gupta 0001, Vítor Santos Costa |
And-Or Parallelism in Full Prolog with Paged Binding Arrays. |
PARLE |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Ferroudja Cherief |
Back and Forth Bisimulations On Prime Event Structures. |
PARLE |
1992 |
DBLP DOI BibTeX RDF |
Semantics of parallelism, back and forth bisimulations, refinement of actions, Concurrency, bisimulations, Event structures |
1 | Abdel Aziz Farrag, Robert J. Dawson, Qi Yao |
On Designing Fault-Tolerant Extensions With Optimal Fanout For Complete Bipartite Networks. |
PARLE |
1992 |
DBLP DOI BibTeX RDF |
|
1 | José Duato |
Improving the Efficiency of Virtual Channels with Time-Dependent Selection Functions. |
PARLE |
1992 |
DBLP DOI BibTeX RDF |
|