Imperial

Results: 11064



#Item
231

A Theory for Observational Fault Tolerance Adrian Francalanza a , Matthew Hennessy b a Imperial b University College, London SW7 2BZ, England

Add to Reading List

Source URL: staff.um.edu.mt

- Date: 2008-10-06 10:00:15
    232

    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
      233

      Multi-solver Support in Symbolic Execution Hristina Palikareva and Cristian Cadar Department of Computing, Imperial College London London, United Kingdom {h.palikareva, c.cadar}@imperial.ac.uk

      Add to Reading List

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

      - Date: 2013-05-01 10:35:53
        234

        CHAMPAGNES 12cl MOËT & CHANDON BRUT IMPÉRIAL 20€ 120€ MOËT & CHANDON ROSE IMPÉRIAL

        Add to Reading List

        Source URL: 9ba2343032785daa4275-1f55d195fc0a51a3089100e3cd9640cf.r51.cf1.rackcdn.com

        - Date: 2016-12-02 11:06:24
          235

          Microsoft Word - Roque-Rosell-BioorgMedChemLett-2014-PostPrint.docx

          Add to Reading List

          Source URL: spiral.imperial.ac.uk

          - Date: 2015-12-14 09:44:17
            236

            Keep O The Grass: Locking the Right Path for Atomicity Dave Cunningham, Khilan Gudka, and Susan Eisenbach Imperial College London {dc04,kg103,sue}@doc.ic.ac.uk

            Add to Reading List

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

            - Date: 2008-06-08 12:23:32
              237

              Exposing Errors Related to Weak Memory in GPU Applications Tyler Sorensen Alastair F. Donaldson Imperial College London, UK

              Add to Reading List

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

              - Date: 2016-04-13 08:02:31
                238

                Discrete Optimisation for Group-wise Cortical Surface Atlasing Emma C. Robinson, Ben Glocker, Martin Rajchl, Daniel Rueckert Department of Computing, Imperial College London, South Kensington Campus, London. SW7 2AZ,

                Add to Reading List

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

                - Date: 2016-05-09 06:58:33
                  239

                  Warps and Atomics: Beyond Barrier Synchronization in the Verification of GPU Kernels ? Ethel Bardsley and Alastair F. Donaldson Imperial College London {emb2009,afd}@imperial.ac.uk

                  Add to Reading List

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

                  - Date: 2016-05-05 16:39:51
                    240

                    Automatic Verification of Data Race Freedom in Device Drivers∗ (Extended Abstract) Pantazis Deligiannis and Alastair F. Donaldson Imperial College London {p.deligiannis, alastair.donaldson}@imperial.ac.uk Abstract

                    Add to Reading List

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

                    - Date: 2015-07-01 17:41:47
                      UPDATE