DMCA
On slicing a distributed computation (2001)
Cached
Download Links
- [www.utdallas.edu]
- [www.utdallas.edu]
- [www.utdallas.edu]
- [www.utdallas.edu]
- [www.utdallas.edu]
- [users.ece.utexas.edu]
- [www.ece.utexas.edu]
- [www.ece.utexas.edu]
- DBLP
Other Repositories/Bibliography
| Venue: | In Proceedings of the 21st IEEE International Conference on Distributed Computing Systems (ICDCS |
| Citations: | 67 - 20 self |
BibTeX
@INPROCEEDINGS{Garg01onslicing,
author = {Vijay K. Garg},
title = {On slicing a distributed computation},
booktitle = {In Proceedings of the 21st IEEE International Conference on Distributed Computing Systems (ICDCS},
year = {2001},
pages = {322--329},
publisher = {John Wiley & Sons}
}
Share
 |
 |
 |
 |
||
OpenURL
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. 1.
