Search results for "J. Roger Mitchell"

Found 8 publication records. Showing 8 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	J. Roger Mitchell, Vijay K. Garg	A Non-Blocking Recovery Algorithm for Causal Message Logging.	SRDS	1998	DBLP BibTeX RDF
1	Vijay K. Garg, J. Roger Mitchell	Distributed Predicate Detection in a Faulty Environment.	ICDCS	1998	DBLP DOI BibTeX RDF
1	Vijay K. Garg, J. Roger Mitchell	Implementable Failure Detectors in Asynchronous Systems.	FSTTCS	1998	DBLP DOI BibTeX RDF
1	Vijay K. Garg, J. Roger Mitchell	Detecting Conjunctions of Global Predicates.	Inf. Process. Lett.	1997	DBLP DOI BibTeX RDF
1	Vijay K. Garg, Craig M. Chase, Richard B. Kilgore, J. Roger Mitchell	Efficient Detection of Channel Predicates in Distributed Systems.	J. Parallel Distrib. Comput.	1997	DBLP DOI BibTeX RDF
1	J. Roger Mitchell, Vijay K. Garg	Optimistic agreement in distributed systems.	PDPTA	1997	DBLP BibTeX RDF
1	J. Roger Mitchell, Vijay K. Garg	Deriving distributed algorithms from a general predicate detector. (PDF / PS)	COMPSAC	1995	DBLP DOI BibTeX RDF	generalized conjunctive predicate detector, distributed system debugging, condition detection, application status monitoring, periodic global virtual time calculation, optimized base algorithm, software engineering, computational complexity, distributed algorithms, distributed algorithms, program debugging, system monitoring, termination detection, virtual time, distributed system design, detection algorithms
1	Vijay K. Garg, Craig M. Chase, J. Roger Mitchell, Richard B. Kilgore	Detecting conjunctive channel predicates in a distributed programming environment.	HICSS	1995	DBLP DOI BibTeX RDF	conjunctive channel predicates detection, efficient global predicate detection, local predicates, global virtual time computation, distributed processing, message passing, Boolean functions, programming environments, communication complexity, programming theory, monotonicity, message complexity, Boolean formula, termination detection, telecommunication channels, distributed programming environment

Displaying result #1 - #8 of 8 (100 per page; Change: )

Publications of "J. Roger Mitchell" ( http://dblp.L3S.de/Authors/J._Roger_Mitchell )