Search results for "PARLE"

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

Publications at "PARLE"( http://dblp.L3S.de/Venues/PARLE )