Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
EURO-PAR 95 Parallel Processing
Связанные издания:
A Formal Study of the Mcube Interconnection Network
"Agency Scheduling" A Model for Dynamic Task Sheduling
A Model for Efficient Programming of Dynamic Applications on Distributed Memory Multiprocessors
Analysis of Parallel Scan Processing in Shared Disk Database Systems
An Array Partitioning Analysis for Parallel Loop Distribution
An Implementation of Race Detection and Deterministic Replay with MPI
Automatic Vectorization of Communications for Data-Parallel Programs
Bidirectional Ring: An Alternative to the Hierarchy of Unidirectional Rings
Communication in Multicomputers with Nonconvex Faults
Compiler Optimizations in Refform Prolog: Experiments on the KSR-1 Multiprocessor
Costs and Benefits of Multithreading eith Off-the-Shelf RISC Processors
Detecting Quantified Global Predicates in Parallel Programs
Efficient Software Data Prefetching for a Loop with Large Arrays
Efficient Solutions for Mapping Parallel Programs
Execution of Distributed Reactive Systems
Exploiting Parallelism in Cache Coherency Protocol Engines
Featherweight Threads and ANDF Compilation of Concurrency
FFTs on a Linear SIMD Array
Formal and experimental validation of a low overhead execution replay mechanism
Functional Skeletons for Parallel Coordination
Generation of Synchronous Code for Automatic Parallelization of while Loops
Hierarchical Adaptive Routing Under Hybrid Traffic Load
Implementing Flexible Computation Rules with Subexpression-level Loop Transformations
Multiwave Interconnection Networks for MCM-based Parallel Processing
On Efficient Embeddings of Grids into Grids in PARIX
On the completeness of a proof system for a simple data-parallel programming language
On the Duality Between Or-parallelism and And-parallelism in Logic Programming
On the Scalability of Demand-Driven Parallel Systems
Optimal Embeddings in the Hamming Cube Networks
Optimal Emulation of Meshes on Meshes of Trees
Parallel N-Body Simulation on a Large-Scale Homogeneous Distributed System
Polinomial Time Scheduling of Low Level Computer Vision Algorithms on Networks of Heterogeneous Machines
Quiescence Detection in a Distributed KLIC Implementation
Relating Data-Parallelism and (And-) Parallelism in Logic Programs
Scheduling Master-Slave Multiprocessor Systems
StarT-ng: Delivering Seamless Parallel Computing
Super Monaco: Its Portable and Efficient Parallel Runtime System
Synchronization Migration for Performance Enhancement in a DOACROSS Loop
The Oz Programming Model
The Program Compaction Revisited: the Functional Framework
Time Space Sharing Scheduling: A Simulation Analysis
Tolerating Faults in Faulty Hypercubes Using Maximal Fault-Free Subcube-Ring
Transformation Techniques in Pei
Using Knowledge-Based Techniques for Parallelization on Parallelizing Compilers
Verifying Distributed Directory-based Cache Coherence Protocols: S3.mp, a Case Study