Jonathan

Results: 11063



#Item
341

The Global Sequence Protocol a Memory Model for Distributed Systems Sebastian Burckhardt

Add to Reading List

Source URL: jonathan.protzenko.fr

- Date: 2016-02-21 18:19:49
    342

    Protocols course Low-level and stateful programming using F* Jonathan Protzenko (MSR)

    Add to Reading List

    Source URL: jonathan.protzenko.fr

    - Date: 2017-01-20 06:30:18
      343

      Graphics HardwareM. Meissner, B.- O. Schneider (Editors) GPU-Accelerated High-Quality Hidden Surface Removal Daniel Wexler, Larry Gritz, Eric Enderton, Jonathan Rice† NVIDIA

      Add to Reading List

      Source URL: enderton.org

      - Date: 2010-01-08 12:14:05
        344

        Secure compilation from F∗ to C using the KreMLin compiler K. Bharghavan, C. Hritcu, J-K. Zinzindohoué INRIA

        Add to Reading List

        Source URL: jonathan.protzenko.fr

        - Date: 2017-04-29 10:06:31
          345

          EXECUTIVE BIOGRAPHY Jonathan Hanly Jonathan Hanly is managing director of CSC® Capital Markets Europe in Ireland and is responsible for general management, including finance, and operations. Before joining CSC, Jonatha

          Add to Reading List

          Source URL: www.cscglobal.com

          - Date: 2017-12-11 14:52:44
            346

            Jonathan Harris Releases “I Love Your Work” — Groundbreaking Documentary about Private Lives of Lesbian Porn Stars — Tests New Economic Model for Digital Work April 29, 2013 — Brooklyn, NY Award-winning multi

            Add to Reading List

            Source URL: iloveyourwork.net

            - Date: 2013-04-28 11:05:14
              347

              Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers Stuart Pernsteiner1 , Calvin Loncaric1 , Emina Torlak1 , Zachary Tatlock1 , Xi Wang1 , Michael D. Ernst1 , and Jonathan Jacky2 1

              Add to Reading List

              Source URL: homes.cs.washington.edu

              - Date: 2017-06-23 18:20:16
                348

                JONATHAN E. LAUDERBACH of MIDLAND Term Expires: September 30, 2018 Mr. Lauderbach is a partner in the Midland office of Warner Norcross & Judd LLP. He specializes in commercial litigation and bankruptcy matters, represen

                Add to Reading List

                Source URL: www.adbmich.org

                - Date: 2017-01-12 13:31:32
                  349

                  ON THE FUZZY CONCEPT COMPLEX Jonathan Arthur Elliott A thesis submitted for the degree of Doctor of Philosophy

                  Add to Reading List

                  Source URL: etheses.whiterose.ac.uk

                  - Date: 2017-09-29 10:41:19
                    350

                    tifact st OPL * * P se * Consi

                    Add to Reading List

                    Source URL: jonathan.protzenko.fr

                    - Date: 2016-12-18 19:45:41
                      UPDATE