Treffer 1 - 20 von 76 für Suche 'SHEERAN, Mary', Suchdauer: 1,13s Treffer weiter einschränken
  1. 1
    A large 'discovery' experiment: Gender Initiative for Excellence (Genie) at Chalmers University of Technology

    A large 'discovery' experiment: Gender Initiative for Excellence (Genie) at Chalmers University of Technology von Saline, Maria, Sheeran, Mary, Wittung-Stafshede, Pernilla

    Veröffentlicht in QRB discovery

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Obsidian: A Domain Specific Embedded Language for Parallel Programming of Graphics Processors

    Obsidian: A Domain Specific Embedded Language for Parallel Programming of Graphics Processors von Svensson, Joel, Sheeran, Mary, Claessen, Koen


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Functional and dynamic programming in the design of parallel prefix networks

    Functional and dynamic programming in the design of parallel prefix networks von SHEERAN, MARY


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Checking safety properties using induction and a SAT-solver

    Checking safety properties using induction and a SAT-solver von SHEERAN, Mary, SINGH, Satnam, STALMARCK, Gunnar


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Special issue dedicated to ICFP 2014: Editorial

    Special issue dedicated to ICFP 2014: Editorial von DREYER, DEREK, SHEERAN, MARY


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    A language for hierarchical data parallel design-space exploration on GPUs

    A language for hierarchical data parallel design-space exploration on GPUs von SVENSSON, BO JOEL, NEWTON, RYAN R., SHEERAN, MARY


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Efficient GPU Implementation of Affine Index Permutations on Arrays

    Efficient GPU Implementation of Affine Index Permutations on Arrays von Bouverot-Dupuis, Mathis, Sheeran, Mary

    Volltext bestellen
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Hailstorm : A Statically-Typed, Purely Functional Language for IoT Applications

    Hailstorm : A Statically-Typed, Purely Functional Language for IoT Applications von Sarkar, Abhiroop, Sheeran, Mary

    Volltext bestellen
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Efficient GPU Implementation of Affine Index Permutations on Arrays

    Efficient GPU Implementation of Affine Index Permutations on Arrays von Bouverot-Dupuis, Mathis, Sheeran, Mary

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Hailstorm : A Statically-Typed, Purely Functional Language for IoT Applications

    Hailstorm : A Statically-Typed, Purely Functional Language for IoT Applications von Sarkar, Abhiroop, Sheeran, Mary

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Formal Methods in Computer Aided Design

    Formal Methods in Computer Aided Design

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  12. 12
    The Design and Implementation of Feldspar: An Embedded Language for Digital Signal Processing

    The Design and Implementation of Feldspar: An Embedded Language for Digital Signal Processing von Axelsson, Emil, Claessen, Koen, Sheeran, Mary, Svenningsson, Josef, Engdal, David, Persson, Anders


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Generating Fast Multipliers Using Clever Circuits

    Generating Fast Multipliers Using Clever Circuits von Sheeran, Mary


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    SAT-Solving in Practice, with a Tutorial Example from Supervisory Control

    SAT-Solving in Practice, with a Tutorial Example from Supervisory Control von Claessen, Koen, Een, Niklas, Sheeran, Mary, Sörensson, Niklas, Voronov, Alexey, Åkesson, Knut

    Veröffentlicht in Discrete event dynamic systems

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Synchron -- An API and Runtime for Embedded Systems

    Synchron -- An API and Runtime for Embedded Systems von Sarkar, Abhiroop, Svensson, Bo Joel, Sheeran, Mary

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Functional programming and hardware design: still interesting after all these years

    Functional programming and hardware design: still interesting after all these years von Sheeran, Mary

    Veröffentlicht in SIGPLAN notices

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Synchron - An API and Runtime for Embedded Systems

    Synchron - An API and Runtime for Embedded Systems von Sarkar, Abhiroop, Svensson, Joel, Sheeran, Mary


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Feldspar: Application and Implementation

    Feldspar: Application and Implementation von Axelsson, Emil, Sheeran, Mary


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    GPGPU kernel implementation and refinement using Obsidian

    GPGPU kernel implementation and refinement using Obsidian von Svensson, Joel, Claessen, Koen, Sheeran, Mary


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Hardware software co-design in Haskell

    Hardware software co-design in Haskell von Aronsson, Markus, Sheeran, Mary


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: