Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Jump to: 2014 | 2013 | 2012 | 2011 | 2010
Number of items: 12.

2014

Baaij, Christiaan and Kuper, Jan (2014) Using rewriting to synthesize functional languages to digital circuits. In: 14th International Symposium Trends in Functional Programming, TFP 2013, 14-16 May 2013, Provo, UT, USA (pp. pp. 17-33).

2013

Uchevler, B.N. and Svarstad, Kjetil and Kuper, Jan and Baaij, Christiaan (2013) System-level modelling of dynamic reconfigurable designs using functional programming abstractions. In: 14th International Symposium on Quality Electronic Design, ISQED 2013, 4-6 March 2013, Santa Clara, CA, USA (pp. pp. 379-385).

2012

Baaij, Christiaan and Kuper, Jan and Schubert, Lutz (2012) SoOSiM: Operating System and Programming Language Exploration. In: 3rd International Workshop on Analysis Tools and Methodologies for Embedded and Real-time System (WATERS 2012), 10 Jul 2012, Pisa, Italy (pp. pp. 63-68).

Wester, R. and Baaij, C.P.R. and Kuper, J. (2012) A two step hardware design method using CλaSH. In: 22nd International Conference on Field Programmable Logic and Applications, FPL 2012, 29-31 August 2012, Oslo, Norway (pp. pp. 181-188).

2011

Gerards, Marco and Baaij, Christiaan and Kuper, Jan and Kooijman, Matthijs (2011) Higher-Order Abstraction in Hardware Descriptions with CλaSH. In: 14th EUROMICRO Conference on Digital System Design, DSD 2011, 31 Aug - 2 Sept 2011, Oulu, Finland (pp. pp. 495-502).

Kuper, Jan and Baaij, Christiaan and Kooijman, Matthijs and Gerards, Marco (2011) Architecture Specifications in CλaSH. In: System Specification and Design Languages. Lecture Notes in Electrical Engineering, 106 . Springer Verlag, New York, pp. 191-206. ISBN 9781461414261

2010

Baaij, Christiaan and Kooijman, Matthijs and Kuper, Jan and Boeijink, Arjan and Gerards, Marco (2010) CλaSH: Structural Descriptions of Synchronous Hardware using Haskell. In: 13th Euromicro Conference on Digital System Design, DSD 2010, 1-3 September 2010, Lille, France (pp. pp. 714-721).

Gerards, Marco and Baaij, Christiaan and Kuper, Jan and Kooijman, Matthijs (2010) Hiding State in CλaSH Hardware Descriptions. In: 22nd Symposium on Implementation and Application of Functional Languages, IFL 2010, 1-3 Sept 2010, Alphen aan den Rijn, the Netherlands (pp. pp. 107-119).

Kuper, Jan and Baaij, Christiaan and Kooijman, Matthijs and Gerards, Marco (2010) Exercises in architecture specification using CλaSH. In: Forum on Specification and Design Languages, FDL 2010, 13-16 September 2010, Southampton, England (pp. pp. 178-183).

Niedermeier, Anja and Wester, Rinse and Baaij, Christiaan and Kuper, Jan and Smit, Gerard (2010) Comparing CλaSH and VHDL by implementing a dataflow processor. In: PROGRESS 2010 Workshop on PROGram for Research on Embedded Systems and Software, 18-19 November, 2010, Veldhoven, the Netherlands (pp. pp. 216-221).

Niedermeier, Anja and Wester, Rinse and Rovers, Kenneth and Baaij, Christiaan and Kuper, Jan and Smit, Gerard (2010) Designing a dataflow processor using CλaSH. In: 28th Norchip Conference, NORCHIP 2010, 15-16 November 2010, Tampere, Finland (pp. p. 69).

Smit, Gerard J.M. and Kuper, Jan and Baaij, Christiaan P.R. (2010) A mathematical approach towards hardware design. In: Dagstuhl Seminar on Dynamically Reconfigurable Architectures, 11-16 July 2010, Dagstuhl, Germany.

This list was generated on Fri Nov 28 05:22:08 2014 CET.