loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
21st IEEE International Conference on Distributed Computing Systems (ICDCS'01)
On Slicing a Distributed Computation
Mesa, AZ
April 16-April 19
ISBN: 0-7695-1077-9
ASCII Text
x 
 
Vijay K. Garg, Neeraj Mittal, "On Slicing a Distributed Computation," Distributed Computing Systems, International Conference on, pp. 0322, 21st IEEE International Conference on Distributed Computing Systems (ICDCS'01), 2001.
 
 
BibTex
x
 
@article{ 10.1109/ICDSC.2001.918962,
author = {Vijay K. Garg and Neeraj Mittal},
title = {On Slicing a Distributed Computation},
journal ={Distributed Computing Systems, International Conference on},
volume = {0},
year = {2001},
isbn = {0-7695-1077-9},
pages = {0322},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICDSC.2001.918962},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Distributed Computing Systems, International Conference on
TI - On Slicing a Distributed Computation
SN - 0-7695-1077-9
SP
EP
A1 - Vijay K. Garg,
A1 - Neeraj Mittal,
PY - 2001
VL - 0
JA - Distributed Computing Systems, International Conference on
ER -
 
Vijay K. Garg, The University of Texas at Austin
Neeraj Mittal, The University of Texas at Austin
Abstract: We introduce the notion of a slice of a distributed computation. A slice of a distributed computation with respect to a global predicate is a computation which captures those and only those consistent cuts of the original computation which satisfy the global predicate. We show that a slice exists for a global predicate iff the predicate is a regular predicate. We then give an efficient algorithm for computing the slice and show applications of slicing to testing and debugging of distributed programs.
Citation:
Vijay K. Garg, Neeraj Mittal, "On Slicing a Distributed Computation," icdcs, pp.0322, 21st IEEE International Conference on Distributed Computing Systems (ICDCS'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.