UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

A large 'discovery' experiment: Gender Initiative for Excellence (Genie) at Chalmers University of Technology

QRB discovery, 2021, Vol.2, p.e5-e5, Article e5

2021

Volltextzugriff (PDF)

Obsidian: A Domain Specific Embedded Language for Parallel Programming of Graphics Processors

Implementation and Application of Functional Languages, 2011, Vol.5836, p.156-173

2011

Volltextzugriff (PDF)

Functional and dynamic programming in the design of parallel prefix networks

Journal of functional programming, 2011-01, Vol.21 (1), p.59-114

SHEERAN, MARY

2011

Volltextzugriff (PDF)

Checking safety properties using induction and a SAT-solver

Lecture notes in computer science, 2000, p.108-125

2000

Volltextzugriff (PDF)

Special issue dedicated to ICFP 2014: Editorial

Journal of functional programming, 2016-01, Vol.26, Article e20

2016

Volltextzugriff (PDF)

Generating Fast Multipliers Using Clever Circuits

Formal Methods in Computer-Aided Design, 2004, Vol.3312, p.6-20

2004

Volltextzugriff (PDF)

A language for hierarchical data parallel design-space exploration on GPUs

Journal of functional programming, 2016-01, Vol.26, Article e6

2016

Volltextzugriff (PDF)

Efficient GPU Implementation of Affine Index Permutations on Arrays

Proceedings of the 11th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, 2023, p.15-28

2023

Volltextzugriff (PDF)

Hardware software co-design in Haskell

Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017, p.162-173

2017

Volltextzugriff (PDF)

Hailstorm: A Statically-Typed, Purely Functional Language for IoT Applications

Proceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming, 2020, p.1-16

2020

Volltextzugriff (PDF)

Formal Methods in Computer Aided Design

2007

Volltextzugriff (PDF)

The Design and Implementation of Feldspar: An Embedded Language for Digital Signal Processing

Implementation and Application of Functional Languages, 2011, Vol.6647, p.121-136

2011

Volltextzugriff (PDF)

Functional programming and hardware design: still interesting after all these years

SIGPLAN notices, 2015-12, Vol.50 (9), p.165-165

Sheeran, Mary

2015

Volltextzugriff (PDF)

Functional programming and hardware design: still interesting after all these years

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015, p.165-165

Sheeran, Mary

2015

Volltextzugriff (PDF)

Feldspar: Application and Implementation

4th Summer School on Central European Functional Programming School, CEFP 2011, Budapest, Hungary, 2012, Vol.7241, p.402-439

2012

Volltextzugriff (PDF)

GPGPU kernel implementation and refinement using Obsidian

ICCS 2010 conference proceedings; Amsterdam, NETHERLANDS, MAY 31-JUN 02, 2010, 2010, Vol.1 (1), p.2065-2074

2010

Volltextzugriff (PDF)

Hardware software co-design in Haskell

SIGPLAN notices, 2017, Vol.52 (10), p.162-173

2017

Volltextzugriff (PDF)

Tutorial on Stalmarck's proof procedure for propositional logic

Formal methods in system design, 2000-01, Vol.16 (1), p.23-58

2000

Volltextzugriff (PDF)

SAT-Solving in Practice, with a Tutorial Example from Supervisory Control

Discrete event dynamic systems, 2009-12, Vol.19 (4), p.495-524

2009

Volltextzugriff (PDF)

Finding Regularity: Describing and Analysing Circuits That Are Not Quite Regular

Correct Hardware Design and Verification Methods, 2003, p.4-18

2003

Volltextzugriff (PDF)

Wired: Wire-Aware Circuit Design

Correct Hardware Design and Verification Methods, 2005, Vol.3725, p.5-19

1ère éd, 2005

Volltextzugriff (PDF)

A Tutorial on Stålmarck’s Proof Procedure for Propositional Logic

Formal Methods in Computer-Aided Design, 2002, p.82-99

2002

Volltextzugriff (PDF)

Higher-order concurrency for microcontrollers

Octopi: Säker Programering för Sakernas Internet, 2021, p.26-35

2021

Volltextzugriff (PDF)

Safety at speed: in-place array algorithms from pure functional programs by safely re-using storage

8th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, FHPNC 2019, Berlin, Germany, 2019, p.34-46

2019

Volltextzugriff (PDF)

Using Lava to design and verify recursive and periodic sorters

International journal on software tools for technology transfer, 2003-05, Vol.4 (3), p.349-358

2003

Volltextzugriff (PDF)

1 – 25 von 62

Menü

Weitere Dienste

Einstellungen

A large 'discovery' experiment: Gender Initiative for Excellence (Genie) at Chalmers University of Technology

Obsidian: A Domain Specific Embedded Language for Parallel Programming of Graphics Processors

Functional and dynamic programming in the design of parallel prefix networks

Checking safety properties using induction and a SAT-solver

Special issue dedicated to ICFP 2014: Editorial

Generating Fast Multipliers Using Clever Circuits

A language for hierarchical data parallel design-space exploration on GPUs

Efficient GPU Implementation of Affine Index Permutations on Arrays

Hardware software co-design in Haskell

Hailstorm: A Statically-Typed, Purely Functional Language for IoT Applications

Formal Methods in Computer Aided Design

The Design and Implementation of Feldspar: An Embedded Language for Digital Signal Processing

Functional programming and hardware design: still interesting after all these years

Functional programming and hardware design: still interesting after all these years

Feldspar: Application and Implementation

GPGPU kernel implementation and refinement using Obsidian

Hardware software co-design in Haskell

Tutorial on Stalmarck's proof procedure for propositional logic

SAT-Solving in Practice, with a Tutorial Example from Supervisory Control

Finding Regularity: Describing and Analysing Circuits That Are Not Quite Regular

Wired: Wire-Aware Circuit Design

A Tutorial on Stålmarck’s Proof Procedure for Propositional Logic

Higher-order concurrency for microcontrollers

Safety at speed: in-place array algorithms from pure functional programs by safely re-using storage

Using Lava to design and verify recursive and periodic sorters

Suchergebnisse filtern