Deriving Distributed Algorithms from a General Predicate Detector

CC
COMPSAC
1995
19th International Computer Software and Applications Conference (COMPSAC'95)
Abstract - Deriving Distributed Algorithms from a General Predicate Detector

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by J.R. Mitchell Articles by V.K. Garg

19th International Computer Software and Applications Conference (COMPSAC'95)

Dallas, Texas

August 09-August 11

ISBN: 0-8186-7119-X

	ASCII Text	x
	J.R. Mitchell, V.K. Garg, "Deriving Distributed Algorithms from a General Predicate Detector," Computer Software and Applications Conference, Annual International, pp. 268, 19th International Computer Software and Applications Conference (COMPSAC'95), 1995.

	BibTex	x
	@article{ 10.1109/CMPSAC.1995.524790, author = {J.R. Mitchell and V.K. Garg}, title = {Deriving Distributed Algorithms from a General Predicate Detector}, journal ={Computer Software and Applications Conference, Annual International}, volume = {0}, year = {1995}, isbn = {0-8186-7119-X}, pages = {268}, doi = {http://doi.ieeecomputersociety.org/10.1109/CMPSAC.1995.524790}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Computer Software and Applications Conference, Annual International TI - Deriving Distributed Algorithms from a General Predicate Detector SN - 0-8186-7119-X SP EP A1 - J.R. Mitchell, A1 - V.K. Garg, PY - 1995 KW - distributed algorithms; program debugging; system monitoring; software engineering; computational complexity; distributed algorithms; generalized conjunctive predicate detector; distributed system debugging; distributed system design; condition detection; application status monitoring; termination detection; virtual time; periodic global virtual time calculation; detection algorithms; optimized base algorithm VL - 0 JA - Computer Software and Applications Conference, Annual International ER -

J.R. Mitchell

V.K. Garg

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CMPSAC.1995.524790

Abstract: Designing and debugging distributed systems requires the detection of conditions across the entire system. As an illustration, monitoring the status of an application requires detection of termination, and using virtual time requires the periodic calculation of the global virtual time. The generalized conjunctive predicate (GCP) detector offers a method to derive detection algorithms for these and other problems based on optimizing the base algorithm.

Index Terms:

distributed algorithms; program debugging; system monitoring; software engineering; computational complexity; distributed algorithms; generalized conjunctive predicate detector; distributed system debugging; distributed system design; condition detection; application status monitoring; termination detection; virtual time; periodic global virtual time calculation; detection algorithms; optimized base algorithm

Citation:

J.R. Mitchell, V.K. Garg, "Deriving Distributed Algorithms from a General Predicate Detector," compsac, pp.268, 19th International Computer Software and Applications Conference (COMPSAC'95), 1995

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.