Luke

Results: 4333



#Item
41Hyperkernel: 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: homes.cs.washington.edu

Language: English - Date: 2017-11-14 17:29:18
    42Fiscal Conditions & Trends Rebecca Bishop John Leatherman With the assistance of Luke Willis, Alana McLain, Brandon Entz, and

    Fiscal Conditions & Trends Rebecca Bishop John Leatherman With the assistance of Luke Willis, Alana McLain, Brandon Entz, and

    Add to Reading List

    Source URL: www.ksu-olg.info

    Language: English - Date: 2018-03-15 09:51:24
      43Fiscal Conditions & Trends Rebecca Bishop John Leatherman With the assistance of Luke Willis, Alana McLain, Brandon Entz, and

      Fiscal Conditions & Trends Rebecca Bishop John Leatherman With the assistance of Luke Willis, Alana McLain, Brandon Entz, and

      Add to Reading List

      Source URL: www.ksu-olg.info

      Language: English - Date: 2018-03-15 10:17:15
        44Reporting issues: N2O emissions and HWP JRC LULUCF workshop 2-3 May2016, Stresa, Italy Tarja Tuomainen, Luke Sini Niinistö, Statistics Finland

        Reporting issues: N2O emissions and HWP JRC LULUCF workshop 2-3 May2016, Stresa, Italy Tarja Tuomainen, Luke Sini Niinistö, Statistics Finland

        Add to Reading List

        Source URL: forest.jrc.ec.europa.eu

        Language: English - Date: 2016-05-05 05:34:12
          45Fiscal Conditions & Trends Rebecca Bishop John Leatherman With the assistance of Luke Willis, Alana McLain, Brandon Entz, and

          Fiscal Conditions & Trends Rebecca Bishop John Leatherman With the assistance of Luke Willis, Alana McLain, Brandon Entz, and

          Add to Reading List

          Source URL: www.ksu-olg.info

          Language: English - Date: 2018-03-19 15:16:23
            46Randomness in Digital Art: Reconstituting the sublime through radiation Luke Murphy 2008 I would like to start with the proposition that the use of the random number generator in digital art marks the dividing line betwe

            Randomness in Digital Art: Reconstituting the sublime through radiation Luke Murphy 2008 I would like to start with the proposition that the use of the random number generator in digital art marks the dividing line betwe

            Add to Reading List

            Source URL: caeno.org

            Language: English - Date: 2008-12-31 15:16:41
              47Evolving The Mobile Phone Orchestra Jieun Oh, Jorge Herrera, Nicholas J. Bryan, Luke Dahl, Ge Wang Center for Computer Research in Music and Acoustics (CCRMA) Stanford University 660 Lomita Drive Stanford, California, US

              Evolving The Mobile Phone Orchestra Jieun Oh, Jorge Herrera, Nicholas J. Bryan, Luke Dahl, Ge Wang Center for Computer Research in Music and Acoustics (CCRMA) Stanford University 660 Lomita Drive Stanford, California, US

              Add to Reading List

              Source URL: ccrma.stanford.edu

              Language: English - Date: 2012-01-03 23:07:18
                48Signs, Tools & Equipment Order FormFor Items Provided by the National Park Service Send orders to Luke Jordan (). Administrative staff will respond by email acknowledging receipt of your order.

                Signs, Tools & Equipment Order FormFor Items Provided by the National Park Service Send orders to Luke Jordan (). Administrative staff will respond by email acknowledging receipt of your order.

                Add to Reading List

                Source URL: www.northcountrytrail.org

                Language: English - Date: 2016-11-02 09:20:57
                  49Fiscal Conditions & Trends Rebecca Bishop John Leatherman With the assistance of Luke Willis, Alana McLain, Brandon Entz, and

                  Fiscal Conditions & Trends Rebecca Bishop John Leatherman With the assistance of Luke Willis, Alana McLain, Brandon Entz, and

                  Add to Reading List

                  Source URL: www.ksu-olg.info

                  Language: English - Date: 2018-03-15 10:00:28
                    50The Dry Chain Can Maintain Seed Quality in Humid Regions Peetambar Dahal1, Pedro Bello1,2; Johan Van Asbrouck2, Keshavulu Kunusoth3, Indra Raj Pandey4, Luke Colavito5, Kent J. Bradford1 1University of California, Davis,

                    The Dry Chain Can Maintain Seed Quality in Humid Regions Peetambar Dahal1, Pedro Bello1,2; Johan Van Asbrouck2, Keshavulu Kunusoth3, Indra Raj Pandey4, Luke Colavito5, Kent J. Bradford1 1University of California, Davis,

                    Add to Reading List

                    Source URL: www.seedcentral.org

                    Language: English - Date: 2014-06-22 11:55:54