Donaldson

Results: 787



#Item
11

Tackling online game development problems with a novel network scripting language George Russell Alastair F. Donaldson

Add to Reading List

Source URL: www.codeplay.com

Language: English - Date: 2018-03-28 06:41:48
    12

    Intertemporal Social Evaluation* Charles Blackorby, Walter Bossert and David Donaldson January 2005; revised JulyCharles Blackorby: Department of Economics, University of Warwick and GREQAM,

    Add to Reading List

    Source URL: dse.univr.it

    Language: English - Date: 2006-01-05 05:45:27
      13

      Floating-Point Symbolic Execution: A Case Study in N-Version Programming Daniel Liew∗ , Daniel Schemmel† , Cristian Cadar∗ , Alastair F. Donaldson∗ , Rafael Z¨ahl†‡ , Klaus Wehrle† ∗ Imperial College Lo

      Add to Reading List

      Source URL: srg.doc.ic.ac.uk

      - Date: 2017-10-17 05:46:31
        14

        1 Implementing and Evaluating Candidate-Based Invariant Generation Adam Betts, Nathan Chong, Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema Abstract—The discovery of inductive invariants lies at the heart

        Add to Reading List

        Source URL: www.doc.ic.ac.uk

        - Date: 2017-06-15 17:14:58
          15

          Termination Analysis for GPU KernelsI Jeroen Ketema, Alastair F. Donaldson Department of Computing, Imperial College London London, United Kingdom Abstract

          Add to Reading List

          Source URL: www.doc.ic.ac.uk

          - Date: 2017-06-15 17:14:58
            16

            Cohomological Hall algebras, semicanonical bases and Donaldson-Thomas invariants for 2-dimensional Calabi-Yau categories Jie Ren and Yan Soibelman August 31, 2015 to Maxim Kontsevich for his 50th anniversary

            Add to Reading List

            Source URL: www.cims.nyu.edu

            - Date: 2015-08-31 11:19:07
              17

              Noname manuscript No. (will be inserted by the editor) Automatic Analysis of DMA Races Using Model Checking and k-induction Alastair F. Donaldson · Daniel Kroening ·

              Add to Reading List

              Source URL: www.doc.ic.ac.uk

              - Date: 2012-08-31 08:16:46
                18

                Overhauling SC Atomics in C11 and OpenCL Mark Batty Alastair F. Donaldson John Wickerson

                Add to Reading List

                Source URL: www.doc.ic.ac.uk

                - Date: 2016-01-21 05:13:01
                  19

                  Award Ceremony of DOCTOR HONORIS CAUSA Prof. SIMON DONALDSON (Imperial College London, UK, and Simon Center for Geometry and Physics, US)

                  Add to Reading List

                  Source URL: www.mat.ucm.es

                  - Date: 2016-10-20 03:07:39
                    20

                    Math Teachers’ Circles: Partnerships between Mathematicians and Teachers B. Donaldson, M. Nakamaye, K. Umland, and D. White

                    Add to Reading List

                    Source URL: www.ams.org

                    - Date: 2014-11-03 13:18:44
                      UPDATE