The proceedings contain 21 papers. The topics discussed include: an empirical comparison of monitoring algorithms for access anomaly detection;modeling concurrency in parallel debugging;analysis of event synchronizati...
ISBN:
(纸本)0897913507
The proceedings contain 21 papers. The topics discussed include: an empirical comparison of monitoring algorithms for access anomaly detection;modeling concurrency in parallel debugging;analysis of event synchronization in a parallelprogramming tool;programming techniques for efficiently exploiting parallelism in logic programming languages;design and distributed implementation of the parallel logic language shared prolog;multi-model parallelprogramming in psyche;and real-time, concurrent checkpoint for parallel programs.
Granularity collecting (e.g., in OR-parallel Prolog) and removal of synchronization points (e.g., in AND-parallel committed-choice languages), are in general useful techniques for speeding up parallel logic programs. ...
详细信息
Understanding synchronization is important for a parallelprogramming tool that uses dependence analysis as the basis for advising programmers on the correctness of parallel constructs. This paper discusses static ana...
详细信息
We have developed and implemented a checkpointing and restart algorithm for parallel programs running on commercial uniprocessors and shared-memory multipro cessors. The algorithm runs concurrently with the target pro...
详细信息
Many different parallelprogramming models, including lightweight processes that communicate with shared memory and heavyweight processes that communicate with messages, have been used to implement parallel applicatio...
详细信息
The parallel logic language Shared Prolog embeds Prolog as its sequential component. A program in Shared Prolog is composed of a set of logic agents, i.e. Prolog programs, that communicate associatively via a shared w...
详细信息
We have designed and implemented a compiler for the parallel execution of Prolog programs as a machine independent application on top of a run time environment for parallelprogramming called the Chare Kernel. The com...
详细信息
Numerical Weather Prediction (NWP) is acknowledged as being of vital importance to economy. The demand that NWP places on computing system performance has increased dramatically since the introduction of computer syst...
详细信息
Good load balancing is the key to deriving maximal performance from multiprocessors. Several successful dynamic load balancing techniques on tightly-coupled multiprocessors have been developed. However, load balancing...
详细信息
暂无评论