Search results for "PARLE"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Sabine R. Öhring, Sajal K. Das 0001	Efficient Communication in the Folded Petersen Interconnection Network.	PARLE	1994	DBLP DOI BibTeX RDF
1	Shigeru Kusakabe, Eiichi Takahashi, Rin-Ichiro Taniguchi, Makoto Amamiya	A Dataflow-Based Massively Parallel Programming Language and Its Implementation.	PARLE	1994	DBLP DOI BibTeX RDF
1	Hideaki Okada, Kazuhiko Matsumoto, Masaru Kitsuregawa	Data Parallel Relational Database Processing on the Connection Machine CM-2 with Data Vault.	PARLE	1994	DBLP DOI BibTeX RDF
1	Dimitris Lioupis, Michael Stefanidakis	Dynamic Load Balancing on a Virtually-Shared Memory Parallel Computer System.	PARLE	1994	DBLP DOI BibTeX RDF
1	Thomas Rauber, Gudula Rünger	Load Balancing for Extraplation Methods on Distributed Memory Multiprocessors.	PARLE	1994	DBLP DOI BibTeX RDF
1	Isabelle Puaut	A Distributed Garbage Collector for Active Objects.	PARLE	1994	DBLP DOI BibTeX RDF
1	Paolo Ferragina, Fabrizio Luccio	Batch Dynamic Algorithms for Two Graph Problems.	PARLE	1994	DBLP DOI BibTeX RDF
1	Håkan Nilsson, Per Stenström	An Adaptive Update-Based Cache Coherence Protocol for Reduction of Miss Rate and Traffic.	PARLE	1994	DBLP DOI BibTeX RDF
1	Andreas Listl	Using Subpages for Coherency Control in Parallel Database Systems.	PARLE	1994	DBLP DOI BibTeX RDF
1	Constantinos V. Papadopoulos	A Dynamic Algorithm for Online Scheduling of Parallel Processes.	PARLE	1994	DBLP DOI BibTeX RDF
1	Carlos Carreras, Carlos A. López Bario, Manuel V. Hermenegildo	Analytic Model of a Cache Only Memory Architecture.	PARLE	1994	DBLP DOI BibTeX RDF
1	Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Livio Ricciulli	Compiling Rewriting onto SIMD and MIMD/SIMD Maschines.	PARLE	1994	DBLP DOI BibTeX RDF
1	Evangelos P. Markatos, Catherine E. Chronaki	Using Reference Counters in Update-Based Coherent Memory.	PARLE	1994	DBLP DOI BibTeX RDF
1	Michael F. P. O'Boyle	A Data Partitioning Algorithm for Distributed Memory Compilation.	PARLE	1994	DBLP DOI BibTeX RDF
1	Martina Schollmeyer, Bruce M. McMillin	A General Method for Maximizing the Error-Detecting Ability of Distributed Algorithms.	PARLE	1994	DBLP DOI BibTeX RDF
1	Luís M. B. Lopes, Fernando M. A. Silva	Scheduling Algorithms Performance with the pSystem Parallel Programming Environment.	PARLE	1994	DBLP DOI BibTeX RDF
1	Wolfgang Ertel	On the Definition of Speedup.	PARLE	1994	DBLP DOI BibTeX RDF
1	Frédéric Boniol	COREA: A Synchronous Calculus of Parallel Communicating Reactive Automata.	PARLE	1994	DBLP DOI BibTeX RDF
1	Matthias Radestock, Susan Eisenbach	What Do You get From a Pi-Calculus Semantics?	PARLE	1994	DBLP DOI BibTeX RDF
1	Joseph L. Sharnowski, Betty H. C. Cheng	A Formal Approach to Modeling Expected Behavior in Parallel Program Visualizations.	PARLE	1994	DBLP DOI BibTeX RDF
1	Octav Brudaru, Graham M. Megson	Systolic Designs for Evaluation Linear Combinations of Chebyshev Polynomials.	PARLE	1994	DBLP DOI BibTeX RDF
1	Steven D. Prestwich, Anthony J. Kusalik	High-Level Visualisation of Parallel Logic Program Execution.	PARLE	1994	DBLP DOI BibTeX RDF
1	Abderrahim Benslimane	Protocol Validation: A Parallel Technique to Reduce the Reachability Tree.	PARLE	1994	DBLP DOI BibTeX RDF
1	Fotios K. Liotopoulos	Sparse Generalized HyperGrids for Performance Scalability.	PARLE	1994	DBLP DOI BibTeX RDF
1	Mario Fiallos Aguilar, Jean Duprat	Towards a High Precision Massively Parallel Computer.	PARLE	1994	DBLP DOI BibTeX RDF
1	Afonso Ferreira, Miltos D. Grammatikakis	Improved Probabilistic Routing on Generalized Hypercubes.	PARLE	1994	DBLP DOI BibTeX RDF
1	Martin Neschen, Martin Gumm	A Scalable Bit-Sequential SIMD Architecture for Pattern Recognition.	PARLE	1994	DBLP DOI BibTeX RDF
1	Kaku Takeuchi, Kohei Honda 0001, Makoto Kubo	An Interaction-based Language and its Typing System.	PARLE	1994	DBLP DOI BibTeX RDF
1	Shashank S. Nemawarkar, Ramaswamy Govindarajan, Guang R. Gao, Vinod K. Agarwal	Performance of Interconnection Network in Multithreaded Architectures.	PARLE	1994	DBLP DOI BibTeX RDF
1	Henk Schepers	Compositional Reasoning about Real-Time Distributed Systems with Limited Resources.	PARLE	1994	DBLP DOI BibTeX RDF
1	Péter Kacsuk	OR-Parallel Prolog on Distributed Memory Systems.	PARLE	1994	DBLP DOI BibTeX RDF
1	Vasco Thudichum Vasconcelos	Predicative Polymorphism in Pi-Calculus.	PARLE	1994	DBLP DOI BibTeX RDF
1	Ryszard Janicki, Maciej Koutny	Deriving Histories of Nets with Priority Relation.	PARLE	1994	DBLP DOI BibTeX RDF
1	Robert J. Fowler, Leonidas I. Kontothanassis	Mercury: Object-Affinity Scheduling and Continuation Passing on Multiprocessors.	PARLE	1994	DBLP DOI BibTeX RDF
1	Benoît Dageville, Patrick Casadessus, Pascale Borla-Salamet	The Impact of the KSR1 Allcache Architecture on the Behavior of the DBS3 Parallel DBMS.	PARLE	1994	DBLP DOI BibTeX RDF
1	Stephan Olariu, Ivan Stojmenovic	Time-Optimal Nearest-Neighbor Computations on Enhanced Meshes.	PARLE	1994	DBLP DOI BibTeX RDF
1	Mikhail J. Atallah, Andreas Fabri	On the Multisearching Problem of Hypercubes.	PARLE	1994	DBLP DOI BibTeX RDF
1	Neelima Mehdiratta, Kanad Ghose	Scheduling Task Graphs Onto Distributed Memory Multiprocessors Under Realistic Constaints.	PARLE	1994	DBLP DOI BibTeX RDF
1	Constantinos V. Papadopoulos	On the Parallelism of Data.	PARLE	1994	DBLP DOI BibTeX RDF
1	Seung-Woo Seo, Tse-Yun Feng	A New Routing Scheme for Concatenating Two Omega Networks.	PARLE	1994	DBLP DOI BibTeX RDF
1	Kanad Ghose	OPTIMUL: A Hybrid Multiprocessor for Distributed and Shared Memory Multiprocessing with WDM Optical Fiber Interconnections.	PARLE	1994	DBLP DOI BibTeX RDF
1	Harald Wabnig, Günter Haring	Petri Net Performance Models of Parallel Systems - Methodology and Case Study.	PARLE	1994	DBLP DOI BibTeX RDF
1	Gilbert Caplain, René Lalement, Thierry Salset	Checking the Serial Correctness of Control-Parallel Programs.	PARLE	1994	DBLP DOI BibTeX RDF
1	Nasser Kalantery, Stephen C. Winter, Derek R. Wilson	From BSP to a Virtual von Neumann Machine.	PARLE	1994	DBLP DOI BibTeX RDF
1	Thomas Johansson 0001, Ewert Bengtsson	A New Parallel MIMD Connected Component Labeling Algorithm.	PARLE	1994	DBLP DOI BibTeX RDF
1	Jen-Shiuh Liu, Wen-Jing Hsu	Efficient Data Communication in Incomplete Hypercube.	PARLE	1994	DBLP DOI BibTeX RDF
1	Ajay K. Gupta 0001, Andreas G. Photiou	Load Balances Priority Queues on Distributed Memory Machines.	PARLE	1994	DBLP DOI BibTeX RDF
1	Herbert Kuchen, Marinus J. Plasmeijer, Holger Stoltze	Efficient Distributed Memory Implementation of a Data Parallel Functional Language.	PARLE	1994	DBLP DOI BibTeX RDF
1	Anna Hondroudakis, Rob Procter	Applying Human Factors Techniques to the Design of a Tool for Parallel Program Performance Analysis and Tuning.	PARLE	1994	DBLP DOI BibTeX RDF
1	Johann Schumann, Manfred R. Jobmann	Analysing the Load Balancing Scheme of a Parallel System on Multiprocessors - A Modeling Approach.	PARLE	1994	DBLP DOI BibTeX RDF
1	Afonso Ferreira, Alfredo Goldman vel Lejbman, Siang W. Song	Bus-Based Parallel Computers: A Viable Way for Massive Parallelism.	PARLE	1994	DBLP DOI BibTeX RDF
1	Ali R. Hurson, Joford T. Lim, Behrooz A. Shirazi, Krishna M. Kavi	Straggered Scheme: A Loop Allocation Policy.	PARLE	1994	DBLP DOI BibTeX RDF
1	Akiyoshi Wakatani, Michael Wolfe	A New Approach to Array Redistribution: Strip Mining Redistribution.	PARLE	1994	DBLP DOI BibTeX RDF
1	Patrick Viry	Rewriting: An Effective Model of Concurrency.	PARLE	1994	DBLP DOI BibTeX RDF
1	David Abramson 0001, M. Cope, R. McKenzie	Modelling Photochemical Pollution using Parallel and Distributed Computing Platforms.	PARLE	1994	DBLP DOI BibTeX RDF
1	Chinhyun Kim, Jean-Luc Gaudiot	A Hierarchical Activation Management Technique for Fine-Grain Multithreaded Execution.	PARLE	1994	DBLP DOI BibTeX RDF
1	Tetsuo Kawano, Shigeru Kusakabe, Rin-Ichiro Taniguchi, Makoto Amamiya	Datarol-II: A Fine-Grain Massively Parallel Architecture.	PARLE	1994	DBLP DOI BibTeX RDF
1	Evripidis Bampis, Jean-Claude König, Denis Trystram	Optimal Parallel Execution of Complete Binary Trees and Grids into most Popular Interconnection Networks.	PARLE	1994	DBLP DOI BibTeX RDF
1	Tsutomu Ishikawa	Bypass Strategy in Hypercube Multiprocessors by adding Bus Connections.	PARLE	1994	DBLP DOI BibTeX RDF
1	Borut Robic, Jurij Silc	Using Parallel Simulated Annealing in the Mapping Problem.	PARLE	1994	DBLP DOI BibTeX RDF
1	Anant Agarwal, John V. Guttag, Christoforos N. Hadjicostis, Marios C. Papaefthymiou	Memory Assignment for Multiprocessor Caches through Grey Coloring.	PARLE	1994	DBLP DOI BibTeX RDF
1	Damien Gautier de Lahaut, Cécile Germain	Static Communications in Parallel Scientific Propgrams.	PARLE	1994	DBLP DOI BibTeX RDF
1	Richard P. Hopkins	Voting on Synchronous Communications.	PARLE	1994	DBLP DOI BibTeX RDF
1	Costas Mourlas, Constantin Halatsis	MAGE: A Massively Agent Execution System for Logic Programming.	PARLE	1994	DBLP DOI BibTeX RDF
1	Cristina Barrado, Jesús Labarta, Patricia Borensztejn	Implementation of GTS.	PARLE	1994	DBLP DOI BibTeX RDF
1	Ricardo Peña-Marí, Luis A. Galán	Introducing Fairness in CSP Systems Specified with State Variables.	PARLE	1994	DBLP DOI BibTeX RDF
1	Ville Leppänen, Martti Penttonen	Simulation of PRAM Models on Meshes.	PARLE	1994	DBLP DOI BibTeX RDF
1	Fubo Zhang, Erik H. D'Hollander	Enhancing Parallelism by Removing Cyclic Data Dependencies.	PARLE	1994	DBLP DOI BibTeX RDF
1	Georg Stellner, Arndt Bode, Stefan Lamberts, Thomas Ludwig 0002	NXLib - A Parallel Programming Environment for Workstation Clusters.	PARLE	1994	DBLP DOI BibTeX RDF
1	Céline Verdier, Anne Lafage, Emmanuel Boutillon, Alain Demeure	A Multi-Dimensional Interconnection Network for SIMD Architectures.	PARLE	1994	DBLP DOI BibTeX RDF
1	Andrew J. Bennett, Paul H. J. Kelly	Eliminating Invalidation in Coherent-Cache Parallel Graph Reduction.	PARLE	1994	DBLP DOI BibTeX RDF
1	Santosh Pande, Kleanthis Psarris	A Compilation Technique for Varying Communication Cost NUMA Architectures.	PARLE	1994	DBLP DOI BibTeX RDF
1	Jean-Louis Roch, Gilles Villard	Parallel Computations with Algebraic Numbers - A Case Study: Jordan Normal Form of Matrices.	PARLE	1994	DBLP DOI BibTeX RDF
1	Stephen P. S. Lam	An Iterative Array Processor Architecture for Matrix Computation.	PARLE	1994	DBLP DOI BibTeX RDF
1	Abdel-Halim Smai, Lars-Erik Thorelli	Dynamic Allocation of Communication Bandwidth in Multicomputers.	PARLE	1994	DBLP DOI BibTeX RDF
1	Kish Shen	Improving the Execution of Dependent And-Parallel Prolog DDAS.	PARLE	1994	DBLP DOI BibTeX RDF
1	Constantine Halatsis, Dimitris G. Maritsas, George Philokyprou, Sergios Theodoridis (eds.)	PARLE '94: Parallel Architectures and Languages Europe, 6th International PARLE Conference, Athens, Greece, July 4-8, 1994, Proceedings	PARLE	1994	DBLP DOI BibTeX RDF
1	H. K. Dai 0001	An Improvement in the Size-Depth Tradeoff for Strictly Non-Blocking Generalized-Concentration Networks.	PARLE	1994	DBLP DOI BibTeX RDF
1	Steven T. Hackstadt, Allen D. Malony	Next-Generation Parallel Performance Visualization: A Prototyping Environment for Visualization Development.	PARLE	1994	DBLP DOI BibTeX RDF
1	J. Mark Bull, T. L. Freeman	Parallel Algorithms and Interval Selection Strategies for Globally Adaptive Quadrature.	PARLE	1994	DBLP DOI BibTeX RDF
1	L. D. J. C. Loyens, Jean R. Moonen	ILIAS, a Sequential Language for Parallel Matrix Computations.	PARLE	1994	DBLP DOI BibTeX RDF
1	Louis H. Ziantz, Can C. Özturan, Boleslaw K. Szymanski	Run-Time Optimization of Sparse Matrix-Vector Multiplication on SIMD Machines.	PARLE	1994	DBLP DOI BibTeX RDF
1	Patricia Prather Pineo	Code Liberation - a Tool for Refitting Code to a Parallel Envionment.	PARLE	1994	DBLP DOI BibTeX RDF
1	Anastasios Vergis, Vassilios S. Verykios	On the Testability of Purely Recursive Digital Filters.	PARLE	1994	DBLP DOI BibTeX RDF
1	Jocelyn Desbiens, Michel Toulouse, Martin Lavoie, Stéphane Pouzyreff, Pierre Raymond, Tahar Tamazouzt	An Actor Based Programming System for Heterogeneous Processing.	PARLE	1994	DBLP DOI BibTeX RDF
1	Jerome Robinson, Shutian Lin	Arithmetic for Parallel Linear Recursive Query Evaluation in Deductive Databases.	PARLE	1993	DBLP DOI BibTeX RDF
1	Xiao-ping Ling, Hideharu Amano	Performance evaluation of WASMII: a data driven computer on a virtual hardware.	PARLE	1993	DBLP DOI BibTeX RDF
1	Jenn-Shiang Lai, Young-Ja Ko, Sy-Yen Kuo	Artificial Neural Networks for the Bipartite and K-partite Subgraph Problems.	PARLE	1993	DBLP DOI BibTeX RDF
1	John Sargeant	Implicit Parallelism: The United Functions and Objects Approach.	PARLE	1993	DBLP DOI BibTeX RDF
1	Henk Schepers, Jozef Hooman	Trace-Based Compositional Reasoning about Fault Tolerant Systems.	PARLE	1993	DBLP DOI BibTeX RDF	Compositional proof theory, fault hypothesis, relative network completeness, fault tolerance, verification, specification, safety, soundness
1	Lothar Borrmann, Erol Gelenbe, Isabella Hofstetter, Petro Istavrinos, Karl Klaus, Mike Ward	EPOCH - European Parallel Operating System based on Chorus.	PARLE	1993	DBLP DOI BibTeX RDF
1	Gaétan Hains, Christian Foisy	The Data-Parallel Categorical Abstract Machine.	PARLE	1993	DBLP DOI BibTeX RDF
1	Xavier Redon, Paul Feautrier	Detection of Recurrences in Sequential Programs with Loops.	PARLE	1993	DBLP DOI BibTeX RDF
1	Thomas Kunz	Issues in Event Abstraction.	PARLE	1993	DBLP DOI BibTeX RDF
1	Nikolay A. Anisimov	A Disabling of Event Structures.	PARLE	1993	DBLP DOI BibTeX RDF
1	John T. O'Donnell	Data Parallel Implementation of Extensible Sparse Functional Arrays.	PARLE	1993	DBLP DOI BibTeX RDF
1	Nicholas Ironmonger	Trace-Splitting for the Parallel Simulation of Cache Memory.	PARLE	1993	DBLP DOI BibTeX RDF
1	Eike Best, Richard P. Hopkins	B(PN)2 - a Basic Petri Net Programming Notation.	PARLE	1993	DBLP DOI BibTeX RDF	Concurrent Programming Notation, Peterson's Mutual Exclusion Algorithm, Petri Nets
1	Simin H. Pakzad, Paul Plaskonos	Implementation of a Digital Modular Chip for a Reconfigurable Artificial Neural Network.	PARLE	1993	DBLP DOI BibTeX RDF
1	Stefan Lüpke	LU-Decomposition on a Massively Parallel Transputer System.	PARLE	1993	DBLP DOI BibTeX RDF

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