External Links

    Journal: Higher-Order and Symbolic Computation

    Volume 7, Issue 2-3

    147 -- 172Soumen Chakrabarti, Katherine A. Yelick. Distributed Data Structures and Algorithms for Gröbner Basis Computation
    173 -- 193Stephen Weeks, Suresh Jagannathan, James Philbin. A Concurrent Abstract Interpreter
    195 -- 210Kinson Ho, Hans W. Guesgen, Paul N. Hilfinger. CONSAT: A Parallel Constraint Satisfaction System
    211 -- 229Hideo Matsuda, Yukio Kaneda. An Application of an OR-Parallel Prolog Systemto Phylogenetic Analysis
    231 -- 247Marc Feeley, Marcel Turcotte, Guy Lapalme. Using Multilisp for Solving Constraint Satisfaction Problems: An Application to Nucleic Acid 3D Structure Determination
    runs on