On Parallel Algorithms for Single-Fault Diagnosis in Fault Propagation Graph Systems
Systems modeled as directed graphs where nodes represent components and edges represent fault propagation between components, are studied from a parallel computation viewpoint. Some of the components are equipped with alarms that ring in response to an ...
Characterizing the Memory Behavior of Compiler-Parallelized Applications
Compiler-parallelized applications are increasing in importance as moderate-scale multiprocessors become common. This paper evaluates how features of advanced memory systems (e.g., longer cache lines) impact memory system behavior for applications ...
Loop Transformations for Fault Detection in Regular Loops on Massively Parallel Systems
Distributed-memory systems can incorporate thousands of processors at a reasonable cost. However, with an increasing number of processors in a system, fault detection and fault tolerance become critical issues. By replicating the computation on more ...
Data Forwarding in Scalable Shared-Memory Multiprocessors
Scalable shared-memory multiprocessors are often slowed down by long-latency memory accesses. One way to cope with this problem is to use data forwarding to overlap memory accesses with computation. With data forwarding, when a processor produces a ...
A Concurrent Architecture for Serializable Production Systems
This paper presents a new production system architecture that takes advantage of modern associative memory devices to allow parallel production firing, concurrent matching, and overlap among matching, selection, and firing of productions. We prove that ...
Mesh-Connected Trees: A Bridge Between Grids and Meshes of Trees
The grid and the mesh of trees (or MOT) are among the best-known parallel architectures in the literature. Both of them enjoy efficient VLSI layouts, simplicity of topology, and a large number of parallel algorithms that can efficiently execute on them. ...
Optimal Information Dissemination in Star and Pancake Networks
This paper presents a new decomposition technique for hierarchical Cayley graphs. This technique yields a very easy implementation of the divide and conquer paradigm for some problems on very complex architectures as the star graph or the pancake. As ...
CGIN: A Fault Tolerant Modified Gamma Interconnection Network
To improve the terminal reliability of the Gamma interconnection network (GIN), we consider altering its connecting patterns between stages to attain multiple disjoint paths between any source and destination pair. The new modified GIN, referred to as a ...
An Application of Petri Net Reduction for Ada Tasking Deadlock Analysis
As part of our continuing research on using Petri nets to support automated analysis of Ada tasking behavior, we have investigated the application of Petri net reduction for deadlock analysis. Although reachability analysis is an important method to ...
Detection of Strong Unstable Predicates in Distributed Programs
This paper discusses detection of global predicates in a distributed program. A run of a distributed program results in a set of sequential traces, one for each process. These traces may be combined to form many global sequences consistent with the ...
1996 Index IEEE Transactions on Parallel and Distributed Systems vol. 7
First Page of the Article