Relational Possible Global Predicates

  • Vijay K. Garg


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.


Boolean Variable Flow Graph Trace File Input Queue Relational Predicate 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Kluwer Academic Publishers 1996

Authors and Affiliations

  • Vijay K. Garg
    • 1
  1. 1.Department of Electrical and Computer EngineeringUniversity of Texas at AustinAustinUSA

Personalised recommendations