Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
2010
Baaij, C.P.R. and Kooijman, M. and Kuper, J. and Boeijink, W.A. and Gerards, M.E.T.
(2010)
CλaSH: Structural Descriptions of Synchronous Hardware using Haskell.
In: Proceedings of the 13th EUROMICRO Conference on Digital System Design: Architectures, Methods and Tools, 1-3 Sep 2010, Lille, France.
pp. 714-721.
IEEE Computer Society.
ISBN 978-0-7695-4171-6
Kuper, J. and Baaij, C.P.R. and Kooijman, M. and Gerards, M.E.T.
(2010)
Exercises in architecture specification using CλaSH.
In: Proceedings of Forum on Specification and Design Languages, FDL 2010, 13-16 September 2010, Southampton, England.
pp. 178-183.
ECSI Electronic Chips & Systems design Initiative.
ISSN 1636-9874
Smit, G.J.M. and Kuper, J. and Baaij, C.P.R.
(2010)
A mathematical approach towards hardware design.
In: Dagstuhl Seminar on Dynamically Reconfigurable Architectures, 11-16 Jul 2010, Dagstuhl, Germany.
11.
Dagstuhl Seminar Proceedings 10281.
Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI).
ISSN 1862-4405
2009
Baaij, C.P.R. and Kooijman, M. and Kuper, J. and Gerards, M.E.T. and Molenkamp, E.
(2009)
Tool Demonstration: CLasH - From Haskell to Hardware.
In: Proceedings of the 2nd ACM SIGPLAN symposium on Haskell, Edinburgh, Scotland.
pp. 3-3.
ACM.
ISBN 978-1-60558-508-6
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||