next up previous
Next: Distributed Shared Memory Up: Figures in the book Previous: Synchronizers


Figure: (a) A computation and (b) its slice with respect to $(x_1 \geq 1) \wedge (x_3 \leq 3)$.

Figure: (a) An example of a distributive lattice (b) its partial order representation.

Figure: (a) A computation, (b) its lattice, (c) a sublattice, and (d) the corresponding slice.

Figure: An algorithm to construct the slice
\fbox{\begin{minipage}{0.98 \textwidth}\sf
\begin{center}\begin{minipage}{0.95 \...
\end{minipage} \end{center}

Vijay K. Garg 2005-02-08