EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Research Project: POLCA: Programming Large Scale Heterogeneous Infrastructures
Home Policy Brochure Browse Search User Area Contact Help

2016

de Groote, E. (2016) On the analysis of synchronous dataflow graphs: a system-theoretic perspective. PhD thesis, Univ. of Twente. CTIT Ph.D. Thesis series No. 15-382 ISBN 978-90-365-4041-4

2015

Baaij, C.P.R. (2015) Digital circuit in CλaSH: functional specifications and type-directed synthesis. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 14-335 ISBN 978-90-365-3803-9
de Groote, E. and Hölzenspies, P.K.F. and Kuper, J. and Smit, G.J.M. (2015) Incremental analysis of cyclo-static synchronous dataflow graphs. ACM transactions on embedded computing systems, 14 (4). 68. ISSN 1539-9087 *** ISI Impact 0,714 ***

2014

Ahmad, W. and de Groote, E. and Hölzenspies, P.K.F. and Stoelinga, M.I.A. and van de Pol, J.C. (2014) Resource-Constrained Optimal Scheduling of Synchronous Dataflow Graphs via Timed Automata. In: Proceedings of the 14th International Conference on Application of Concurrency to System Design (ACSD 2014), 23-27 June 2014, Tunis, Tunisia. pp. 72-81. IEEE Computer Society. ISSN 1550-4808
Baaij, C.P.R. and Kuper, J. (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. 17-33. Lecture notes in computer science 8322. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-45339-7
de Groote, E. and Hölzenspies, P.K.F. and Kuper, J. and Smit, G.J.M. (2014) Single-rate approximations of cyclo-static synchronous dataflow graphs. In: Proceedings of the 17th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2014), 10-11 Jun 2014, St. Goar, Germany. pp. 11-20. ACM. ISBN 978-1-4503-2941-5
de Groote, E. and Hölzenspies, P.K.F. and Kuper, J. and Smit, G.J.M. (2014) Multi-rate equivalents of cyclo-static synchronous dataflow graphs. In: Proceedings of the 14th International Conference on Application of Concurrency to System Design, ACSD 2014, 23-27 Jun 2014, Tunis, Tunisia. pp. 62-71. IEEE Computer Society. ISSN 1550-4808 ISBN 978-1-4799-4281-7
Kuper, J. and Wester, R. (2014) N queens on an fpga: mathematics,programming, or both? In: Communicating Processes Architectures 2014, 24-27 August 2014, Oxford, UK. pp. 181-203. Open Channel Publishing Ltd. ISBN 978-0-9565409-8-0
Verstraelen, M.J.W. and Kuper, J. and Smit, G.J.M. (2014) Declaratively programmable ultra-low latency audio effects processing on FPGA. In: Proceedings of the 17th International Conference on Digital Audio Effects (DAFx-14), 1-5 Sept 2014, Erlangen, Germany. pp. 263-270. Fraunhofer Institut. ISBN 978-3-00-046825-4