yusuke1997/dblp-id-title huggingface dataset:
A Layered Emulator for Design Evaluation of MIMD Multiprocessors with Shared Memory
PSEE: Parallel System Evaluation Environment
Efficient Data Communication in Incomplete Hypercube
Learning Translation Invariant Recognition in Massively Parallel Networks
A General Method for Maximizing the Error-Detecting Ability of Distributed Algorithms
Concurrent Data Structures for Hypercube Machine
Static Analysis of Term Graph Rewriting Systems
Systolic Designs for Evaluation Linear Combinations of Chebyshev Polynomials
Paragon Specifications: Structure, Analysis and Implementation
A Two-Level Approach to Logic plus Functional Programming Integration
Memory Assignment for Multiprocessor Caches through Grey Coloring
Promises and Issues in Optical Computing
OR-Parallel Prolog on Distributed Memory Systems
Message-Brokers and Communicating Prolog Processes
Geometric Transforms on Parallel Architecture
Compiling Rewriting onto SIMD and MIMD/SIMD Maschines
A Formal Specification of the Process Trellis
Boltzmann Machines and their Applications
Static and Dynamic Performance of the Möbius Cubes
Extensibility and Reuse of Object-Oriented Synchronization Components
A Single-Assignment Language in a Distributed Memory Multiprocessor
Arithmetic for Parallel Linear Recursive Query Evaluation in Deductive Databases
Minimizing Loop Storage Allocation for An Argument-Fetching Dataflow Architecture Model
NXLib - A Parallel Programming Environment for Workstation Clusters
Data Parallel Implementation of Extensible Sparse Functional Arrays
Modeling and Analysis of Multiprocessor Systems with Priority and Multiple Recources Allocation to the Tasks
Performance of Interconnection Network in Multithreaded Architectures
On the Semantics of Languages for Massively Parallel SIMD Architectures
A Multi-Dimensional Interconnection Network for SIMD Architectures
An Empirical Study of Vision Programs for Data Dependence Analysis
Extensions to a Parallel Prolog System to Support Real-Time Applications
A Compositional Approach for the Design of a Parallel Query Processing Language
Comparing Two Fully Abstract Dataflow Models
Load Balanced Optimisation of Virtualised Algorithms for Implementation on Massively Parallel SIMD Architectures
New Techniques for Cycle Shrinking
A Toolkit for Debugging Parallel Lisp Programs
Verification of Systolic Architecture Designs
Trace Theory and Systolic Computations
Application-Specific Deadlock Free Wormhole Routing on Multicomputers
Executing a Program on the MIT Tagged-Token Dataflow Architecture
Architecture of a Communication Network Processor
Repeated Matrix Squaring for the Parallel Solution of Linear Systems
Performance Evaluation of Parallel Transaction Processing in Shared Nothing Database Systems
Homogeneous Neuronlike Structures for Optimization Variational Problem Solving
A Refinement of Communicating Processes
A Scalable Bit-Sequential SIMD Architecture for Pattern Recognition
Interfacing Engines and Schedulers in OR-Parallel Prolog Systems
Explicit Expression of Multidimensional Data Parallelism
Embeddings Among Concurrent Programming Languages (Abstract)
Serialisation as a Paradigm for the Engineering of Parallel Programs
A New and Efficient Implementation of Multiprocess Synchronization
Improving the Efficiency of Virtual Channels with Time-Dependent Selection Functions
Correctness of Automated Distribution of Sequential Programs
An Implemented Method for Incremmental Systolic Design
1-Dimensional Parallel FFT Benchmark on SUPRENUM
Specification of a Pipelined Event Driven Simulator using FP2
Petri Net Models for Algebraic Theories of Concurrency
Precis: Distributed Shortest Path Algorithms
Some Design Aspects for VLIW Architectures Exploiting Fine - Grained Parallelism
An Optical Content-Adressable Parallel Processor for Fast Searching and Retrieving
PARLE: A Parallel Target Language for Integrating Symbolic and Numeric Processing
A Denotional Real-Time Semantics for Shared Processes
Evaluation of Futurebus Hierarchical Caching
PEI: a Single Unifying Model to Design Parallel Programs
High-Level Visualisation of Parallel Logic Program Execution
Simulating the Data Diffusion Machine
Experiments in MIMD Parallelism
A Configuration Approach to Parallel Programming
Visual Concurrent Object-Based Programming in GARP
A New Program Transformation to Minimise Communication in Distributed Memory Architecture
Implementation of a Digital Modular Chip for a Reconfigurable Artificial Neural Network
Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages
Compositionality in the Temporal Logic of Concurrent Systems (extended abstract)
Program Refinement in Fair Transition Systems
B(PN) 2 - a Basic Petri Net Programming Notation
A Hierarchical Activation Management Technique for Fine-Grain Multithreaded Execution
Implicit Parallelism: The United Functions and Objects Approach
Using Opportunistic Combining Networks to Reduce Contention in Multicomputers
The Expressive Power of Simple Parallelism
Exploiting Recursion-Parallelism in Prolog
Sparse Generalized HyperGrids for Performance Scalability
Effectiveness of Heuristics and Simulated Annealing for the Scheduling of Concurrent Tasks - An Empirical Comparison
Formal Development of Actor Programs Using Structured Algebraic Petri Nets
Static Allocation of Tasks on Multiprocessor Architectures with Interprocessor Communication Delays
PTAH: Introduction to a New Parallel Architecture for Highly Numeric Processing
A Concurrent and Distributed Extension of Scheme
An Interaction-based Language and its Typing System
SLID - A Cost-Effektive and Scalable Limited-Directory Scheme for Cache Coherence
Mapping Uniform Recurrences onto Small Size Arrays
PARLE '94: Parallel Architectures and Languages Europe, 6th International PARLE Conference, Athens, Greece, July 4-8, 1994, Proceedings
Applause: Application & Assessment of Parallel Programming Using Logic
Multi-Level Simulation For VLSI On The Parallel Object-Oriented Machine
Supporting Multiparadigm Programming on Actor Architectures
A Dataflow-Based Massively Parallel Programming Language and Its Implementation
EDS: A Parallel Computer System for Advanced Information Processing
Effects of Job Size Irregularity on the Dynamic Resource Scheduling of a 2-D Mesh Multicomputer
Using State Variables for the Specification and Verfication of TCSP Processes
Embeddings of Tree-Related Networks in Incomplete Hypercubes
An Iterative Array Processor Architecture for Matrix Computation
Convergence of Asynchronous Iterations of Least Fixed Points
Implementation Conditions for Delay Insensitive Circuits
A Fully Abstract Semantics for Data Flow Nets
Loop Restructuring Techniques For Thrashing Problem
An Implementation of Static Functional Process Networks
A Model to Design Reusable Parallel Software Components
The Feasibility of a General-purpose Parallel Computing using WSI
A Kahn Principle for Networks of Nonmonotonic Real-time Processes
Efficient Distributed Memory Implementation of a Data Parallel Functional Language
Trace-Splitting for the Parallel Simulation of Cache Memory
Introducing Fairness in CSP Systems Specified with State Variables
Routing in Hypercycles. Deadlock Free and Backtracking Strategies
The Stollmann Data Flow Machine
A Novel Deadlock Free and Starvation Free Packet Switching Communication Processor
The Gene Concept and its Implementation for a Dataflow Schemed Parallel Computer
Declarative Programming for Conventional MIMD Multiprocessors
Modelling Photochemical Pollution using Parallel and Distributed Computing Platforms
An Actor Based Programming System for Heterogeneous Processing
Mixed-Mode Multicomputers with Load Adaptability
A Parallel Programming Style and Its Algebra of Programs
Customization of First Class Tuple-Spaces in a Higher-Order Language
Specifying Functional and Timing Behavior for Real-Time Applications
Computing on a Systolic Screen: Hulls, Contours and Applications
Article-Acquisition: A Scenario for Non-Serializability in a Distributed Database
Performance Analysis of a Parallel Prolog: A Correlated Approach
Indirect Reference Counting: A Distributed Garbage Collection Algorithm
A Distributed Protocol for Channel-Based Communication with Choice
XPRAM Model and Programming Interface
Mark DURING Sweep rather than Mark THEN Sweep
Coping with the Process Proliferation Problem in Concurrent Object-Based Language Implementations
Analytic Model of a Cache Only Memory Architecture
Data structures for parallel execution of functional languages
A Temporal-Logic Based Compositional Proof System for Real-Time Message Passing
An operational semantics for a parallel functional language with continuations
Strong Bisimilarity on Nets Revisited
Reduction Operators in ALPHA
Overview of a Parallel Reduction Machine Project II
Datarol-II: A Fine-Grain Massively Parallel Architecture
Enhancing Parallelism by Removing Cyclic Data Dependencies
Implementing Cut in a Distributed Data Driven OR-Parallel Prolog Environment
A Method for Refining Atomicity in Parallel Algorithms
Eliminating Redundant Interleavings During Concurrent Program Verification
The Typed lambda-Calculus with First-Class Processes
IDEAL & K-LEAF implementation: a progress report
Hybrid Structure: A Scheme for Handling Data Structures in a Data Flow Environment
PARLE '93, Parallel Architectures and Languages Europe, 5th International PARLE Conference, Munich, Germany, June 14-17, 1993, Proceedings
Managing a Parallel Heap Efficiently
Towards a Single Model of Efficient Computation in Real Parallel Machines
Models for Dynamically Placed Concurrent Processes
Asynchronous Mobile Processes and Graph Rewriting
Monaco: A High-Performance Flat Concurrent Logic Programming System
Compositional Reasoning about Real-Time Distributed Systems with Limited Resources
Parallel Algorithms and Interval Selection Strategies for Globally Adaptive Quadrature
PARLE '92: Parallel Architectures and Languages Europe, 4th International PARLE Conference, Paris, France, June 15-18, 1992, Proceedings
Checking the Serial Correctness of Control-Parallel Programs
Barrier Semantics in Very Weak Memory
Exegesis of DBC/1012 and P-90 - Industrial Supercomputer Database Machines
An Approach to Programming Process Interconnections Structures: Aggregate Rewriting Graph Grammars
The Use of Parallel Functions in System Design
POOL and DOOM: A survey of Esprit 415 subproject A, Philips Research Laboratories
The Concurrent Assignment Representation of Synchronous Systems
The Data-Parallel Categorical Abstract Machine
Skewed-associative Caches
What Do You get From a Pi-Calculus Semantics?
Correctness of flat data parallel algorithms: an axiomatic approach and examples
A Compositional Approach for Fault-Tolerance Using Specification Transformation
From Data Flow Networks to Process Algebras
A New Approach to Array Redistribution: Strip Mining Redistribution
Synthesis of Systolic arrays for Inductive Problems
A Unifying Look at Semigroup Computations on Meshes with Multiple Broadcasting
Characterizing the Paralation Model using Dynamic Assignment
A Decompositional Approach to the Design of Efficient parallel Programs
A Parallel Architecture for Signal Understanding through Inference on Uncertain Data
Scalability Problems in Multiprocessors with Private Caches
Data-Parallel Portable Software Platform: Principles and Implementation
Formalisation of the Behavior of Actors by Colored Petri Nets and Some Applications
Processing Transactions on GRIP, a Parallel Graph Reducer
Protocol Validation: A Parallel Technique to Reduce the Reachability Tree
Dynamic Concurrent Processes
Efficient Communication in the Folded Petersen Interconnection Network
Deriving Fully Efficient Systolic Arrays by Quasi-Linear Allocation Functions
On the Testability of Purely Recursive Digital Filters
Grid Massively Parallel Processor
The SYnchronous DAtaflow MAchine: Architecture and Performance
ASPEN: A Stream Processing Environment
Generating Memory-Efficient Imperative Data Structures from Systolic Programs
Data Parallel Relational Database Processing on the Connection Machine CM-2 with Data Vault
Computing the Complete Orthogonal Decomposition Using a SIMD Array Processor
Translating Concurrent Programs into VLSI Chips
On the Design of Deadlock-Free Adaptive Routing Algorithms for Multicomputers: Design Methodologies
Multi-Level Simulator for VLSI - An Overview
A Compliling Approach for Exploiting And-parallelism in Parallel Logic Programming Systems
A Dynamic Load Balancing Strategy for Massively Parallel Computers
PARLE '91: Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 10-13, 1991, Proceedings
Reliable Communication in VPL
Parallel Optimisation of Join Queries Using an Enhanced Iterative Improvement Technique
Neurl Network-Based Decision Making for Large Incomplete Database
Universal Mechanisms for Concurrency
The Compaction of Acyclic Terms
Architecture of Parallel Management Kernel for PIE64
Detection of Recurrences in Sequential Programs with Loops
LU-Decomposition on a Massively Parallel Transputer System
Comparative Semantics of µLog
Performance Modeling of Microkernel Thread Schedulers for Shared Memory Multiprocessors
Optimal Parallel Execution of Complete Binary Trees and Grids into most Popular Interconnection Networks
Adaptive Multicast Wormhole Routing in 2D Mesh Multicomputers
The Function Processor: An Architecture for Efficient Execution of Recursive Functions
The DOOM System and its Applications: A Survey of Esprit 415 Subproject A, Philips Research Laboratries
Applying Human Factors Techniques to the Design of a Tool for Parallel Program Performance Analysis and Tuning
Simulation-based Comparison of Hash Functions for Emulated Shared Memory
Affine Timings for Systems of Affine Recurrence Equations
The Twisted Cube
OPTIMUL: A Hybrid Multiprocessor for Distributed and Shared Memory Multiprocessing with WDM Optical Fiber Interconnections
On the Parallelism of Data
PARTHEO: A Parallel Inference Machine
Search Level Parallel Processing of Production Systems
The Topsy Project: a Position Paper
Optimal Algorithms for Disemination of Information in Generalized Communication Modes
Scheduling Algorithms Performance with the pSystem Parallel Programming Environment
Distributed Termination Enforcement
Optical Interconnects for Parallel Systems: Demonstration on an Optical Link with Multiple-Quantum-Well Opto-Electronic Arrays
STREAM: A Scheme Language for Formally Describing Digital Circuits
A New Routing Scheme for Concatenating Two Omega Networks
Dataflow Programs for Parallel Computations of Logic Programs and their Semantics
PARLE '89: Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989, Proceedings
A Reduction Semantics for Imperative Higher-Order Languages
An Evaluation of Set-Associativity in Two-Level Caches for Shared Memory Multiprocessors
Functional Programming and Communicating Processes
Hardware Memory Management for Large Knowledge Bases
Optimistic And-Parallelism in Prolog
A Distributed Garbage Collector for Active Objects
Performance Evaluation of Cache Memories in Tightly Coupled Multiprocessor Systems
From BSP to a Virtual von Neumann Machine
Efficient Parallel Algorithms on Interval Graphs
Communication Abstraction and Refinement
Flexible Scheduling of OR-Parallel Logic Programming Systems
Parallel Programming in Temporal Logic
PARLE '89: Parallel Architectures and Languages Europe, Volume I: Parallel Architectures, Eindhoven, The Netherlands, June 12-16, 1989, Proceedings
The Derivation of Distributed Termination Detection Algorithms from Garbage Collection Schemes
The Impact of Packetization in Wormhole-Routed Networks
Improving the Execution of Dependent And-Parallel Prolog DDAS
Multiprocessor Systems Programming in a High-Level Data-Flow Language
Parallel Associative Combinator Evaluation
Parallel Task Assignment by Graph Partitioning
Dynamic Load Balancing on a Virtually-Shared Memory Parallel Computer System
A Disabling of Event Structures
Using Parallelism and Pipeline for the Optimisation of Join Queries
Distributed Garbage Collection Using Reference Counting
Concurrent Clean
On the Multisearching Problem of Hypercubes
PARLE, Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings
Area Complexity of Multilective Merging
Parallel Computations with Algebraic Numbers - A Case Study: Jordan Normal Form of Matrices
A Fast, Simple Algorithm to Balance a Parallel Multiway Merge
An Axiomatic Approach to the Specification of Distributed Computer Architectures
Run-Time Optimization of Sparse Matrix-Vector Multiplication on SIMD Machines
2DT-FP: An FP Based Programming Language for Efficient Parallel Programming of Multiprocessor Networks
Deriving Histories of Nets with Priority Relation
Towards Systolizing Compilation: An Overview
Pruning and Scheduling Speculative Work in Or-Parallel Prolog
The G-Line: A Distributed Processor for Graph Reduction
EPOCH - European Parallel Operating System based on Chorus
Space-Efficient Parallel Merging
Performance evaluation of WASMII: a data driven computer on a virtual hardware
PARLE, Parallel Architectures and Languages Europe, Volume I: Parallel Architectures, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings
PARLOG: The Language and Its Applications
Distributing Finite Transition Systems Extended Abstract
Dynamic Allocation of Communication Bandwidth in Multicomputers
Voting on Synchronous Communications
A Compositional Proof Theory for Real-Time Distributed Message Passing
Dataflow Analysis of Term Graph Rewriting Systems
Design and Proof of Communicating Sequential Processes
Bus-Based Parallel Computers: A Viable Way for Massive Parallelism
On Embedding Interconnection Networks into Rings of Processors
And-Or Parallelism in Full Prolog with Paged Binding Arrays
A New Parallel MIMD Connected Component Labeling Algorithm
High-Performance parallel graph reduction
A Computational Model for Distributed Systems Using Operator Nets
Multi-Criteria: Degrees of Recoverability in Distributed Databases
Towards A Theory Of Simulation For Verification Of Concurrent Systems
RAPiD A Data Flow Model for Implementing Parallelism and Intelligent Backtracking in Logic Programs
Predicative Polymorphism in Pi-Calculus
Rigorous Development of a Distributed Calendar System
Rewriting Techniques for the Temporal Analysis of Communicating Processes
MAGE: A Massively Agent Execution System for Logic Programming
Emulating Digital Logic using Transputer Networks (very High Parallelism = Simplicity = Performance)
Using Subpages for Coherency Control in Parallel Database Systems
Performance Analysis of the Network of the GFLOPS Parallel Architecture
Simulation of PRAM Models on Meshes
Time-Optimal Nearest-Neighbor Computations on Enhanced Meshes
Next-Generation Parallel Performance Visualization: A Prototyping Environment for Visualization Development
Stanford DASH Multiprocessor: The Hardware and Software Approach
Rendezvous with Metric Semantics
Parallel Complexity of Lattice Basis Reduction and a Floating-Point Parallel Algorithm
TRAPPER: A Graphical Programming Environment for Industrial High-Performance Applications
Parallelizing Recursive Logic Programs through Decomposition
On Designing Fault-Tolerant Extensions With Optimal Fanout For Complete Bipartite Networks
Data Flow Implementation of Generalized Guarded Commands
COBWEB-2: Structured Specification of a Wafer-Scale Supercomputer
The Scriptive Programming Language
Programming Massively Parallel Architectures with Sequential Object Oriented Languages
Improved Probabilistic Routing on Generalized Hypercubes
Batch Dynamic Algorithms for Two Graph Problems
Using Parallel Simulated Annealing in the Mapping Problem
Task Management, Virtual Shared Memory, and Multithreading in a Distributed Memory Implementation of Sisal
Straggered Scheme: A Loop Allocation Policy
Dynamic Action SCheduling in a Parallel Database System
Transputer-Based Experiments with the ZAPP Architecture
Scheduling Task Graphs Onto Distributed Memory Multiprocessors Under Realistic Constaints
Towards an Efficient Hybrid Dataflow Architecture Model
Parallel Programming Using Skeleton Functions
A Novel High-Speed Memory Organization for Fine-Grain Multi-Thread Computing
A static scheduling system for a parallel machine (SM) 2 -II
Parallel Evaluation of Functional Programs: The (v, G)-Machine Approach
Loosely-Coupled Processes
Compositionality Issues of Concurrent Object-Oriented Logic Languages
An Efficient Garbage Collection Scheme for Parallel Computer Architectures
Chaotic Linear System Solvers in a Variable-Grain Data-Driven Multiprocessor System
The Impact of the KSR1 Allcache Architecture on the Behavior of the DBS3 Parallel DBMS
Systolic Array Synthesis by Static Analysis of Program Dependencies
Using Hammock Graphs to Eliminate Nonstructured Branch Statements
Artificial Neural Networks for the Bipartite and K-partite Subgraph Problems
Single-Assignment Semantics for Imperative Programs
Concurrent METATEM - A Language for Modelling Reactive Systems
On the Definition of Speedup
Overview of a Parallel Reduction Machine Project
RUTH: A Functional Language for Real-Time Programming
Deadlock-Free Adaptive Routing Algorithms for the 3D-Torus: Limitations and Solutions
Optimal Mappings of m Dimensional FFT Communication to k Dimensional Mesh for Arbitrary m and k
Term Graph Rewriting
ILIAS, a Sequential Language for Parallel Matrix Computations
Structural Operational Semantics for Kernel Andorra Prolog
A Calculus of Value Broadcasts
Back and Forth Bisimulations On Prime Event Structures
Acceptance Automata: A Framework for Specifying and Verifying TCSP Parallel Systems
An Efficient Distributed Collection Algorithm
PARLE '91: Parallel Architectures and Languages Europe, Volume I: Parallel Architectures and Algorithms, Eindhoven, The Netherlands, June 10-13, 1991, Proceedings
Eliminating Invalidation in Coherent-Cache Parallel Graph Reduction
A Compilation Technique for Varying Communication Cost NUMA Architectures
A Parallel Reduction of Hamiltonian Cycle to Hamiltonian Path in Tournaments
Serial Multiport Memory Multiprocessors
A Coarse Grain Parallel Architecture for Functional Languages
The Translation of Processes into Circuits
On the Performance of Parallel Join Processing in Shared Nothing Database Systems
Periodic Multiprocessor Scheduling
Parallel Object-Oriented Descriptions of Graph Reduction Machines (extended abstract)
Computer Vision Applications Experience with Actors
Trace-Based Compositional Reasoning about Fault Tolerant Systems
A Case Study: Parallel Program Development for a Recursive Numerical Algorithm
An Adaptive Update-Based Cache Coherence Protocol for Reduction of Miss Rate and Traffic
Petri Net Performance Models of Parallel Systems - Methodology and Case Study
A Framework for Parallel Composition of Protocols
Learning by Back-Propagation: Computing in a Systolic Way
Towards a High Precision Massively Parallel Computer
Performance of M3S for the SOR algorithm
XFSM: A Format Model of Communicating State Machines for Implementation Specification
Reduction of Code Space in Parallel Logic Programming Systems
MaRS, a Combinator Graph Reduction Multiprocessor
Strategies for a Massively Parallel Implementation of Simulated Annealing
Achieving Low Cost Synchronization in a Multiprocessor System
Multiple Tuple Spaces in Linda
The Cache Coherence Protocol of the Data Diffusion Machine
A Data Partitioning Algorithm for Distributed Memory Compilation
The Alliant FX/Series: A Language Driven Architecture for Parallel Processing of Dusty Deck Fortran
Modelling Replicated Processing
Load Balancing for Extraplation Methods on Distributed Memory Multiprocessors
Task Sequencing Language for Specifying Distributed Ada Systems
PRELUDE: A System for Portable Parallel Software
Mercury: Object-Affinity Scheduling and Continuation Passing on Multiprocessors
Code Liberation - a Tool for Refitting Code to a Parallel Envionment
A Parallel Database Accelerator
Efficient Global Computations on a Processor Network with Programmable Logic
Load Balances Priority Queues on Distributed Memory Machines
A Formal Approach to Modeling Expected Behavior in Parallel Program Visualizations