In an asynchronous system, where processes can crash, perfect predicate detection for general predicates is difficult to achieve. A general predicate thereby is of the form , where and refer to a normal process variable and to the operational state of that process, respectively. Indeed, the accuracy of predicate detection largely depends on the quality of failure detection. In this paper, we in...

In this paper we study the most-demanding predicate for computing the Euclidean Voronoi diagram of axes-aligned line segments, namely the Incircle predicate. Our contribution is twofold: firstly, we describe, in algorithmic terms, how to compute the Incircle predicate for axesaligned line segments, and secondly we compute its algebraic degree. Our primary aim is to minimize the algebraic degree...

This paper discusses the position of Set B pronouns in Proto-Mayan. While previous reconstructions differ from each other with regard to exact that occupied respect predicate (alwayspreceding, always following, or sometimes preceding and following word), all them assume attached just as they usually do modern Mayan languages. Based on cases colonial languages where attach either a non-predicate...

Debugging distributed programs is considerably more difficult than debugging sequential programs. We address issues in debugging distributed programs and provide a general framework for observing and controlling a distributed computation and its applications to distributed debugging. Observing distributed computations involves solving the predicate detection problem. We present the main ideas i...