Search Images Videos Maps News Shopping Gmail More »
Web History | Settings | Sign in

About 4,080,000 results

Search Options

      Show search tools
      1. Project: Self-Adjusting Computation - Umut A. Acar

        Self-adjusting computation refers to a model of computing where ... The basic
        abstractions and algorithms for self-adjusting computation were invented during ...
        umut.mpi-sws.org/self-adjusting-computation - Similar
      2. CEAL: A C-Based Language for Self-Adjusting Computation

        Self-adjusting computation offers a language-centric approach to writing ...
        however, all previous implementations of self-adjusting computation assume
        mostly ...
        www.mpi-sws.org/~chenyan/papers/ceal-tr.pdf - Cached - Similar
      3. Self-Adjusting Computation - School of Computer Science ...

        Keywords: Self-adjusting computation, dynamic algorithms, dynamic data
        structures, ... This thesis investigates a model of computation, called self-
        adjusting ...
        www.cs.cmu.edu/~rwh/theses/acar.pdf - Similar
      4. Self-Adjusting Computation - TTI-Chicago

        Self-adjusting computation is an evaluation model in which programs can
        respond efficiently to small changes to their input data by using a change-
        propagation ...
        ttic.uchicago.edu/~pl/sa-sml/ - Cached - Similar
      5. Imperative Self-Adjusting Computation

        Self-adjusting computation enables writing programs that can au- tomatically ...
        Introduction. Self-adjusting computation concerns the problem of updating the ...
        citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.84.8582&rep... - Cached - Similar
      6. Traceable Data Types for Self-Adjusting Computation | Lambda the ...

        Jul 3, 2010 ... Traceable Data Types for Self-Adjusting Computation. This post is triggered by
        Jules asking, essentially, how could FRP support imperative ...
        lambda-the-ultimate.org/node/4004 - Cached - Similar
      7. An Experimental Analysis of Self-Adjusting Computation

        Self-Adjusting Computation. Umut A. Acar1, Guy Blelloch2,. Matthias Blume1,
        Kanat Tangwongsan2. 1) Toyota Technological Institute. 2) Carnegie Mellon ...
        research.microsoft.com/en-us/um/redmond/events/.../self_adjust_pldi06.pdf - Cached - Similar
      8. A Consistent Semantics of Self-Adjusting Computation

        Jun 2, 2011 ... Abstract: This paper presents a semantics of self-adjusting computation and
        proves that the semantics are correct and consistent.
        arxiv.org/abs/1106.0478 - Cached - Similar
      9. Self-adjusting computation | Mendeley

        (2008) Acar. PEPM 09 Proceedings of the 2009 ACM SIGPLAN workshop on
        Partial evaluation and program manipulation. Read by researchers in: 50% ...
        www.mendeley.com/research/selfadjusting-computation-3/ - Cached - Similar
      10. Implicit self-adjusting computation for purely functional programs

        Building on this work, recent advances in self-adjusting computation have
        developed techniques that enable programs to respond automatically and
        efficiently to ...
        dl.acm.org/citation.cfm?id=2034792 - Similar