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

Slicers

**Figure:** (a) A computation and (b) its slice with respect to $(x_1 \geq 1) \wedge (x_3 \leq 3)$ .
$\begin{figure}\centerline{\epsfbox{figs/motivation1.eps}}\end{figure}$

**Figure:** (a) An example of a distributive lattice (b) its partial order representation.
$\begin{figure}\centerline{\epsfbox{figs/myjoin.eps}}\end{figure}$

**Figure:** (a) A computation, (b) its lattice, (c) a sublattice, and (d) the corresponding slice.
$\begin{figure}\centerline{\epsfbox{figs/sublattice.eps}}\end{figure}$

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

Vijay K. Garg 2005-02-08