Relational Possible Global Predicates
- 88 Downloads
In this chapter, we discuss detection of relational global predicates which cannot be rewritten as a conjunction, or a disjunction of local predicates. The predicate (x 0 + x 1 < C) belongs to this class, where x0 and x1 are integers in different processes and C is a constant.
KeywordsBoolean Variable Flow Graph Trace File Input Queue Relational Predicate
Unable to display preview. Download preview PDF.