Dylan

Results: 1009



#Item
41

From NoSQL Accumulo to NewSQL Graphulo: Design and Utility of Graph Algorithms inside a BigTable Database Dylan Hutchison† Jeremy Kepner‡§ Vijay Gadepally‡§ Bill Howe† arXiv:1606.07085v2 [cs.DB] 11 Aug 2016

Add to Reading List

Source URL: arxiv.org

- Date: 2016-08-11 22:10:50
    42

    Hyperkernel: Push-Button Verification of an OS Kernel Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, and Xi Wang University of Washington {lukenels,helgi,kaiyuanz,dgj16,bo

    Add to Reading List

    Source URL: locore.cs.washington.edu

    - Date: 2017-10-04 19:15:09
      43

      Technical Report UW-CSEPorting Hyperkernel to the ARM Architecture Dylan Johnson University of Washington

      Add to Reading List

      Source URL: locore.cs.washington.edu

      - Date: 2017-08-07 13:53:22
        44

        Hyperkernel: Push-Button Verification of an OS Kernel Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, Xi Wang locore.cs.washington.edu/hyperkernel Goal: Fully automated ker

        Add to Reading List

        Source URL: locore.cs.washington.edu

        - Date: 2017-11-17 15:12:15
          45

          Pragmatic-Pedagogic Value Alignment Jaime F. Fisac, Monica A. Gates, Jessica B. Hamrick, Chang Liu, Dylan Hadfield-Menell, Malayandi Palaniappan, Dhruv Malik, S. Shankar Sastry, Thomas L. Griffiths, and Anca D. Dragan A

          Add to Reading List

          Source URL: people.eecs.berkeley.edu

          - Date: 2018-03-09 06:19:04
            46

            Choice-Based Assessments for the Digital Age Daniel L. Schwartz & Dylan Arena Stanford University, School of Education August, 2009 Educational assessment is a normative endeavor: The ideal assessment both reflects and

            Add to Reading List

            Source URL: dmlcentral.net

            - Date: 2015-12-15 17:21:52
              47

              The Off-Switch Game Dylan Hadfield-Menell1 and Anca Dragan1 and Pieter Abbeel1,2,3 and Stuart Russell1 1 University of California, Berkeley, 2 OpenAI, 3 International Computer Science Institute (ICSI) {dhm, anca, pabbeel

              Add to Reading List

              Source URL: arxiv.org

              - Date: 2017-06-18 20:54:29
                48

                John Benjamins Publishing Company This is a contribution from Corpus Methods for Semantics. Quantitative studies in polysemy and synonymy. Edited by Dylan Glynn and Justyna A. Robinson. © 2014. John Benjamins Publishin

                Add to Reading List

                Source URL: www.linguistics.ucsb.edu

                - Date: 2014-11-20 12:47:30
                  49

                  Web Components HURRICANE by Bob Dylan and Jacques Levy Here comes the story of the Hurricane

                  Add to Reading List

                  Source URL: speakerd.s3.amazonaws.com

                  - Date: 2016-03-05 20:26:12
                    50

                    Dylan R. Harrington9525 Mr. Chairman, Members of the Committee, my name is Dylan Harrington. In 2013 and 2014 I served as a House Intern for Rep. Tony Burkley of the 82nd District, a

                    Add to Reading List

                    Source URL: search-prod.lis.state.oh.us

                      UPDATE