Imperial

Results: 11064



#Item
201

Imperial Hwy-Pioneer Blvd_Fact Sheet_Press Ready

Add to Reading List

Source URL: my5la.com

- Date: 2016-04-15 19:17:07
    202

    Imperial College of Science, Technology and Medicine Department of Computing A String of Ponies Transparent Distributed Programming with Actors Sebastian Blessing

    Add to Reading List

    Source URL: www.ponylang.org

      203

      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
        204

        Programming in Logic Without Logic Programming Robert Kowalski and Fariba Sadri Department of Computing Imperial College London {rak,} _____________________________________________________________________

        Add to Reading List

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

        - Date: 2015-11-14 06:19:31
          205

          Accounting for the UK Productivity Puzzle: A Decomposition and Predictions* Peter Goodridge Imperial College Business School

          Add to Reading List

          Source URL: spiral.imperial.ac.uk

          - Date: 2016-05-11 09:56:10
            206

            Reactive Computing as Model Generation Robert KOWALSKI and Fariba SADRI Imperial College London {rak, fs}@doc.ic.ac.uk Abstract

            Add to Reading List

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

            - Date: 2014-04-22 04:47:48
              207

              Argumentation frameworks for explanation-based reasoning Francesca Toni Tutorial @ KR2016, Cape Town, South Africa Department of Computing, Imperial College London, UK CLArg (Computational Logic and Argumentation) Group

              Add to Reading List

              Source URL: kr2016.cs.uct.ac.za

              - Date: 2016-04-28 05:31:15
                208

                Part I : Introduction to Polyglot with SwapJ Raoul-Gabriel Urma - Imperial College London This is a tutorial written for researchers and students getting started with using Polyglot to modify or extend Java. Many thanks

                Add to Reading List

                Source URL: www.cs.cornell.edu

                - Date: 2011-03-13 16:13:07
                  209

                  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
                    210

                    MODULARITY LIFTING THEOREMS - NOTES FOR ARIZONA WINTER SCHOOL DRAFT VERSION TOBY GEE C ONTENTS 1.

                    Add to Reading List

                    Source URL: wwwf.imperial.ac.uk

                    - Date: 2014-04-27 16:45:24
                      UPDATE