SIMON

Results: 12846



#Item
441

Regular, Shape-polymorphic, Parallel Arrays in Haskell Gabriele Keller† Manuel M. T. Chakravarty† Simon Peyton Jones‡

Add to Reading List

Source URL: benl.ouroborus.net

- Date: 2016-06-13 03:19:32
    442

    First public disclosure of Isambard performance results Prof Simon McIntosh-Smith University of Bristol, UK @simonmcs

    Add to Reading List

    Source URL: www.goingarm.com

    - Date: 2018-01-24 12:00:28
      443

      JDK 9: Mission Accomplished What Next For Java? © Copyright Azul Systems 2015 Simon Ritter Deputy CTO, Azul Systems

      Add to Reading List

      Source URL: assets.ctfassets.net

      - Date: 2018-03-04 03:06:14
        444

        Dr. ir. C.E.W. Hesselman, drs. J.R.P. Jansen, drs. M. Wullink, mr. A.K. Vink en mr. M.M. Simon* Wetenschappelijk artikel Een privacyraamwerk voor ‘DNS big data’toepassingen 210 Trefwoorden:

        Add to Reading List

        Source URL: www.sidnlabs.nl

        - Date: 2016-09-01 10:06:58
          445

          Isambard: The World’s First Large-Scale Production 64-Bit ARM Supercomputer Prof Simon McIntosh-Smith University of Bristol, UK Simon McIntosh Smith, ,

          Add to Reading List

          Source URL: www.goingarm.com

          - Date: 2018-01-24 12:00:28
            446

            A COINDUCTIVE APPROACH TO TYPE VALUED EQUIVALENCE RELATIONS SIMON BOULIER, EGBERT RIJKE, AND NICOLAS TABAREAU A BSTRACT. We propose a coinductive definition of ∞-equivalence relations in Homotopy Type Theory, where the

            Add to Reading List

            Source URL: hott-uf.github.io

            - Date: 2018-03-28 14:04:14
              447

              Massively-Parallel Heterogeneous Computing for Solving Large Problems Wen-mei Hwu, Mert Hidayeto˘glu, Carl Pearson, Simon Garcia, Sitao Huang, and Abdul Dakkak Coordinated Science Laboratory, University of Illinois at U

              Add to Reading List

              Source URL: impact.crhc.illinois.edu

              - Date: 2017-11-16 17:45:10
                448

                An Efficient Implementation of Tiled Polymorphic Temporal Media Simon Archipoff LaBRI FARM, 2015

                Add to Reading List

                Source URL: functional-art.org

                - Date: 2018-01-20 12:19:10
                  449

                  Working Group members Participants Dr Simón Barquera Centro de Investigación en Nutrición y Salud Instituto Nacional de Salud Pública

                  Add to Reading List

                  Source URL: publications.iarc.fr

                  - Date: 2017-09-13 04:02:28
                    450

                    MAS115: Mathematical Investigation Skills Dr Sam Marsh Dr Simon Willerton Prof Paul Blackwell About the course

                    Add to Reading List

                    Source URL: mas115.group.shef.ac.uk

                    - Date: 2017-09-27 12:26:05
                      UPDATE