Hai

Results: 1637



#Item
11Computing / Computer architecture / Concurrent computing / Parallel computing / GPGPU / Graphics hardware / OpenCL / General-purpose computing on graphics processing units / Graphics processing unit / Compute kernel / CUDA / Hardware acceleration

Native Offload of Haskell Repa Programs to Integrated GPUs Hai Liu Laurence E. Day Neal Glew

Add to Reading List

Source URL: thev.net

Language: English - Date: 2014-07-02 20:23:04
12

Causal Commutative Arrows and Their Optimization Hai Liu Eric Cheng Paul Hudak

Add to Reading List

Source URL: thev.net

Language: English - Date: 2009-07-23 11:34:59
    13Computing / Computer programming / Software engineering / Functional languages / Intel C++ Compiler / LLVM / Haskell / Glasgow Haskell Compiler / SIMD / Benchmark / Clean / Static single assignment form

    Measuring the Haskell Gap Leaf Petersen Todd A. Anderson Hai Liu

    Add to Reading List

    Source URL: thev.net

    Language: English - Date: 2014-02-12 14:22:50
    14

    Causal Commutative Arrows Revisited Jeremy Yallop Hai (Paul) Liu University of Cambridge

    Add to Reading List

    Source URL: thev.net

    Language: English - Date: 2016-09-29 13:08:21
      15Mathematics / Algebra / Cryptography / Post-quantum cryptography / Polynomials / Lattice-based cryptography / Coding theory / SWIFFT / BCH code / Polynomial ring / Learning with errors / Binomial coefficient

      SPRING: Fast Pseudorandom Functions from Rounded Ring Products Abhishek Banerjee1? , Hai Brenner2?? , Ga¨etan Leurent3 , Chris Peikert1? ? ? , and Alon Rosen2† 1

      Add to Reading List

      Source URL: who.rocq.inria.fr

      Language: English - Date: 2018-06-14 07:12:40
      16Signal processing / Mathematics / Digital signal processing / Signal / Mathematical logic / Function / Electrical engineering / Proof theory / Programming language semantics

      Virtualizing Real-World Objects in FRP Daniel Winograd-Cort1, Hai Liu2 , and Paul Hudak3 1 Yale University 2

      Add to Reading List

      Source URL: thev.net

      Language: English - Date: 2012-04-02 13:21:00
      17Declarative programming / Computer programming / Functional programming / Software engineering / Arrow / Monad / Function / Currying / F-algebra / Fold / Derivative

      Causal Commutative Arrows Revisited Jeremy Yallop Hai Liu University of Cambridge, UK

      Add to Reading List

      Source URL: thev.net

      Language: English - Date: 2016-08-08 12:30:37
      18Algebra / Abstract algebra / Mathematics / Polynomials / Coding theory / Error detection and correction / Finite fields / SWIFFT / BCH code

      FPGA implementations of SPRING And their Countermeasures against Side-Channel Attacks Hai Brenner1 , Lubos Gaspar2 , Ga¨etan Leurent3 , Alon Rosen1 , Fran¸cois-Xavier Standaert2 1

      Add to Reading List

      Source URL: who.rocq.inria.fr

      Language: English - Date: 2018-06-14 07:12:40
      19

      PDF Document

      Add to Reading List

      Source URL: hai-conference.net

      - Date: 2017-06-29 04:31:51
        20

        PDF Document

        Add to Reading List

        Source URL: www.hai.org.in

        - Date: 2018-07-10 01:09:02
          UPDATE