Dylan

Results: 1009



#Item
41From 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

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
    42Hyperkernel: 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

    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
      43Technical Report UW-CSEPorting Hyperkernel to the ARM Architecture Dylan Johnson University of Washington

      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
        44Hyperkernel: 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

        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
          45Pragmatic-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

          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
            46Choice-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

            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
              47The 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

              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
                48John 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

                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
                  49Web Components HURRICANE by Bob Dylan and Jacques Levy Here comes the story of the Hurricane

                  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
                    50Dylan 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

                    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