Frameworks Supporting The Polyhedral Model - Differences in Approach or Implementation Status

Differences in Approach or Implementation Status

Some of the libraries have seen more extensive development than the Omega Library in the early 2000s, and in many places has much more sophisticated algorithms. In particular, users have reported good results with the Cloog code generator (both in terms of the code generated, and in terms of ability to control trade-offs when generating code), and with the algorithms for counting integer solutions (Alexander Barvinok's work requires a vertex description of the polytope, which is not supported in the Omega Library).

There are several other points on which the frameworks differ, specifically:

Read more about this topic:  Frameworks Supporting The Polyhedral Model

Famous quotes containing the words differences in, differences, approach and/or status:

    Generally there is no consistent evidence of significant differences in school achievement between children of working and nonworking mothers, but differences that do appear are often related to maternal satisfaction with her chosen role, and the quality of substitute care.
    Ruth E. Zambrana, U.S. researcher, M. Hurst, and R.L. Hite. “The Working Mother in Contemporary Perspectives: A Review of Literature,” Pediatrics (December 1979)

    Quintilian [educational writer in Rome about A.D. 100] hoped that teachers would be sensitive to individual differences of temperament and ability. . . . Beating, he thought, was usually unnecessary. A teacher who had made the effort to understand his pupil’s individual needs and character could probably dispense with it: “I will content myself with saying that children are helpless and easily victimized, and that therefore no one should be given unlimited power over them.”
    C. John Sommerville (20th century)

    This is an approach to that universal language which men have sought in vain.
    Henry David Thoreau (1817–1862)

    screenwriter
    Policemen so cherish their status as keepers of the peace and protectors of the public that they have occasionally been known to beat to death those citizens or groups who question that status.
    David Mamet (b. 1947)