David Miller

Results: 511



#Item
1Language-level Symmetry Reduction for Probabilistic Model Checking Alastair F. Donaldson Alice Miller David Parker Computing Laboratory Department of Computing Science

Language-level Symmetry Reduction for Probabilistic Model Checking Alastair F. Donaldson Alice Miller David Parker Computing Laboratory Department of Computing Science

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2009-07-01 05:37:09
    2IPV6 Routing Revamp David S. Miller Red Hat Inc. Goals No more cloning in ipv6 routing trie.

    IPV6 Routing Revamp David S. Miller Red Hat Inc. Goals No more cloning in ipv6 routing trie.

    Add to Reading List

    Source URL: vger.kernel.org

    Language: English - Date: 2015-02-24 15:50:27
      3Let’s Be a Little Less Indirect... David S. Miller NetconfBoston All Hail Spectre! We all now know that speculative executation can be exploited.

      Let’s Be a Little Less Indirect... David S. Miller NetconfBoston All Hail Spectre! We all now know that speculative executation can be exploited.

      Add to Reading List

      Source URL: vger.kernel.org

      Language: English - Date: 2018-05-31 04:16:02
        4Visterra Closes $8.1 Million Financing and Expands Executive Team to Accelerate Company Growth – Appoints David Arkowitz as Chief Operating Officer and Chief Financial Officer, and Greg Miller as Vice President of Busi

        Visterra Closes $8.1 Million Financing and Expands Executive Team to Accelerate Company Growth – Appoints David Arkowitz as Chief Operating Officer and Chief Financial Officer, and Greg Miller as Vice President of Busi

        Add to Reading List

        Source URL: visterrainc.com

        Language: English - Date: 2017-10-03 19:39:43
          5Human-powered Sorts and Joins Adam Marcus Eugene Wu David Karger Samuel Madden Robert Miller MIT CSAIL {marcua,sirrice,karger,madden,rcm}@csail.mit.edu ABSTRACT Crowdsourcing markets like Amazon’s Mechanical Turk (MTur

          Human-powered Sorts and Joins Adam Marcus Eugene Wu David Karger Samuel Madden Robert Miller MIT CSAIL {marcua,sirrice,karger,madden,rcm}@csail.mit.edu ABSTRACT Crowdsourcing markets like Amazon’s Mechanical Turk (MTur

          Add to Reading List

          Source URL: marcua.net

          Language: English - Date: 2011-11-11 10:22:50
            6TwitInfo: Aggregating and Visualizing Microblogs for Event Exploration Adam Marcus, Michael S. Bernstein, Osama Badar, David R. Karger, Samuel Madden, Robert C. Miller MIT CSAIL 32 Vassar St., Cambridge MA

            TwitInfo: Aggregating and Visualizing Microblogs for Event Exploration Adam Marcus, Michael S. Bernstein, Osama Badar, David R. Karger, Samuel Madden, Robert C. Miller MIT CSAIL 32 Vassar St., Cambridge MA

            Add to Reading List

            Source URL: people.csail.mit.edu

            Language: English - Date: 2011-02-22 23:27:23
              7IRRATIONALITY FROM THE BOOK STEVEN J. MILLER AND DAVID MONTAGUE √ A right of passage to theoretical mathematics is often a proof of the irrationality of 2, or at least this is where a lot of our engineering friends par

              IRRATIONALITY FROM THE BOOK STEVEN J. MILLER AND DAVID MONTAGUE √ A right of passage to theoretical mathematics is often a proof of the irrationality of 2, or at least this is where a lot of our engineering friends par

              Add to Reading List

              Source URL: web.williams.edu

              Language: English - Date: 2010-08-22 19:19:47
                8Demonstration of Qurk: A Query Processor for Human Operators Adam Marcus, Eugene Wu, David R. Karger, Samuel Madden, Robert C. Miller MIT CSAIL {marcua,sirrice,karger,madden,rcm}@csail.mit.edu

                Demonstration of Qurk: A Query Processor for Human Operators Adam Marcus, Eugene Wu, David R. Karger, Samuel Madden, Robert C. Miller MIT CSAIL {marcua,sirrice,karger,madden,rcm}@csail.mit.edu

                Add to Reading List

                Source URL: marcua.net

                Language: English - Date: 2011-11-11 10:22:50
                  9Human-powered Sorts and Joins Adam Marcus Eugene Wu David Karger Samuel Madden Robert Miller MIT CSAIL {marcua,sirrice,karger,madden,rcm}@csail.mit.edu ABSTRACT

                  Human-powered Sorts and Joins Adam Marcus Eugene Wu David Karger Samuel Madden Robert Miller MIT CSAIL {marcua,sirrice,karger,madden,rcm}@csail.mit.edu ABSTRACT

                  Add to Reading List

                  Source URL: www.vldb.org

                  Language: English - Date: 2011-09-28 10:12:22
                    10

                    ITAC Meeting MinutesAttendance: B. Allbritten , P. Baurer , T. Burgess, , David McGary (for Jim DeBoer), D. Harris, T. Ray, D. Perry , A. McGinnis, M. Ballard (for D. McKenna), T. McNeely, L. Miller, R. Morr

                    Add to Reading List

                    Source URL: campus.murraystate.edu

                    Language: English - Date: 2006-05-08 14:36:31