# RIPL: An Efficient Image Processing DSL for FPGAs

@article{Stewart2007RIPLAE, title={RIPL: An Efficient Image Processing DSL for FPGAs}, author={Robert J. Stewart and Deepayan Bhowmik and Greg J. Michaelson and Andrew M. Wallace}, journal={Journal of Functional Programming}, year={2007}, volume={17}, pages={428 - 429} }

Field programmable gate arrays (FPGAs) can accelerate image processing by exploiting finegrained parallelism opportunities in image operations. FPGA language designs are often subsets or extensions of existing languages, though these typically lack suitable hardware computation models so compiling them to FPGAs leads to inefficient designs. Moreover, these languages lack image processing domain specificity. Our solution is RIPL1, an image processing domain specific language (DSL) for FPGAs. It… Expand

#### Topics from this paper

#### References

SHOWING 1-10 OF 14 REFERENCES

Algorithmic Skeletons: Structured Management of Parallel Computation

- Computer Science
- 1989

This book introduces a new approach to the design and implementation of software systems which will help users of large scale parallel systems coordinate many concurrent activities toward a single goal and proposes a selection of independent algorithmic skeletons which describes the structure of a particular style of algorithm. Expand

Programming from specifications

- Computer Science
- Prentice Hall International Series in computer science
- 1990

This second edition features substantial restructuring of earlier material, streamlining the introduction of programming language features; simplified presentation of procedures, parameters and recursion; an expanded chapter on data refinement, giving the much simpler laws that specialize to functional abstractions. Expand

Genetic programming - on the programming of computers by means of natural selection

- Computer Science
- Complex adaptive systems
- 1993

This book discusses the evolution of architecture, primitive functions, terminals, sufficiency, and closure, and the role of representation and the lens effect in genetic programming. Expand

The B-Method

- Computer Science
- VDM Europe
- 1991

The B-method is designed to provide a homogeneous language and a methodology for the formal specification, design and implementation of real-life software systems. Therefore, the features of… Expand

CAL language report: Specification of the CAL actor language

- Computer Science
- 2003

ly, indexing is the invocation of a special function, the indexerof a given datatype. The type of the resulting expression may depend on the number and types of the indices, and of course also on the… Expand

Inductive Synthesis of Functional Programs

- Computer Science, Mathematics
- Künstliche Intell.
- 2002

We present an approach to folding of finite program terms based on the detection of recurrence relations in a single given term which is considered as the kth unfolding of an unknown recursive… Expand

Specifications are not (necessarily) executable

- Computer Science
- 1989

This paper presents a number of arguments against the idea that specifications might be executed, and warns of the dangers of limiting specification languages to the point where all of their constructs can be executed. Expand

Discovering applications of higher order functions through proof planning

- Computer Science
- Formal Aspects of Computing
- 2004

A theorem proving approach to discovering HOFs in functional programs is presented using proof planning, an automated theorem proving technique in which high-level proof plans are used to guide proof search. Expand

Programming in Martin-Lo¨f's type theory: an introduction

- Mathematics
- 1990

Part 1 Polymorphic sets: the semantics of the judgement forms general rules enumeration sets Cartesian product of a family of sets equality sets natural numbers lists cartesian product of two sets… Expand

Program Construction: Calculating Implementations from Specifications

- Computer Science
- 2003

From the Publisher:
The book covers the elements of logic and program correctness that form the foundations of further study - the logical connectives and their algebraic properties, induction,… Expand