Learn More
A systematic approach is given for deriving incremental programs that exploit caching. The <italic>cache-and-prune</italic> method presented in the article consists of three stages: (I) the original program is extended to cache the results of all its intermediate subcomputations as well as the final result, (II)) the extended program is incrementalized so(More)
This article describes a method for transforming any given set of Datalog rules into an efficient specialized implementation with guaranteed worst-case time and space complexities, and for computing the complexities from the rules. The running time is optimal in the sense that only useful combinations of facts that lead to all hypotheses of a rule being(More)
A simple heuristic method for the systematic synthesis of initial sequences for multicomponent separations is proposed and applied to a number of synthesis problems which have been solved previously using other methods. Based on reported costs, it is shown that the initial sequences synthesized for the test problems by the new heuristic method are cheaper(More)
Incremental computation takes advantage of repeated computations on inputs that diier slightly from one another, computing each new output incrementally by making use of the previous output rather than from scratch. This thesis concerns the theory, design, and implementation of a general approach to incremental computation. It also elucidates the essence of(More)
Concurrent Class Machines are a novel state-machine model that directly captures a variety of object-oriented concepts, including classes and inheritance, objects and object creation, methods, method invocation and exceptions , multithreading and abstract collection types. The model can be understood as a precise definition of UML activity diagrams which,(More)
BACKGROUND CD28 is one of a number of costimulatory molecules that play crucial roles in immune regulation and homeostasis. Accumulating evidence indicates that immune factors influence breast carcinogenesis. To clarify the relationships between polymorphisms in the CD28 gene and breast carcinogenesis, a case-control study was conducted in women from(More)
This paper describes a general approach for automatic and accurate time-bound analysis. The approach consists of transformations for building time-bound functions in the presence of partially known input structures, symbolic evaluation of the time-bound function based on input parameters, optimizations to make t h e o verall analysis ecient a s w ell as(More)