Jan Kuper - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 61 from 61

2017

Design-time improvement using a functional approach to specify GraphSLAM with deterministic performance on an FPGARobin Appel, Hendrik Folmer, Jan Kuper, Rinse Wester, Jan Broenink. iros 2017: 797-803 [doi]

2016

Program transformations in the POLCA projectJan Kuper, Lutz Schubert, Kilian Kempf, Colin W. Glass, Daniel Rubio Bonilla, Manuel Carro. date 2016: 882-887 [doi]

2015

2014

Single-rate approximations of cyclo-static synchronous dataflow graphsRobert de Groote, Philip K. F. Hölzenspies, Jan Kuper, Gerard J. M. Smit. scopes 2014: 11-20 [doi]

Multi-rate Equivalents of Cyclo-Static Synchronous Dataflow GraphsRobert de Groote, Philip K. F. Hölzenspies, Jan Kuper, Gerard J. M. Smit. acsd 2014: 62-71 [doi]

Analytic Clock Frequency Selection for Global DVFSMarco E. T. Gerards, Johann L. Hurink, Philip K. F. Hölzenspies, Jan Kuper, Gerard J. M. Smit. pdp 2014: 512-519 [doi]

A Dataflow Inspired Programming Paradigm for Coarse-Grained Reconfigurable ArraysAnja Niedermeier, Jan Kuper, Gerard J. M. Smit. arc 2014: 275-282 [doi]

Declaratively Programmable Ultra Low-Latency Audio Effects Processing on FPGAMath Verstraelen, Jan Kuper, Gerard J. M. Smit. dafx 2014: 263-270 [doi]

Design Space Exploration of a Particle Filter Using Higher-Order FunctionsRinse Wester, Jan Kuper. arc 2014: 219-226 [doi]

2013

Using Rewriting to Synthesize Functional Languages to Digital CircuitsChristiaan Baaij, Jan Kuper. sfp 2014: 17-33 [doi]

Back to basics: Homogeneous representations of multi-rate synchronous dataflow graphsRobert de Groote, Philip K. F. Hölzenspies, Jan Kuper, Hajo Broersma. memocode 2013: 35-46 [doi]

Optimal DPM and DVFS for frame-based real-time systemsMarco Gerards, Jan Kuper. taco, 9(4):41, 2013. [doi]

Hardware Specification with C \varvecλ aSHJan Kuper. cefp 2015: 336-380 [doi]

A dataflow-inspired CGRA for streaming applicationsAnja Niedermeier, Jan Kuper, Gerard J. M. Smit. fpl 2013: 1-2 [doi]

UniTi: Unified Composition and Time for Multi-domain Model-based DesignKenneth C. Rovers, Jan Kuper. ijpp, 41(2):261-304, 2013. [doi]

POLCA - A Programming Model for Large Scale, Strongly Heterogeneous InfrastructuresLutz Schubert, Jan Kuper, José Gracia. parco 2014: 43-52 [doi]

System-level modelling of dynamic reconfigurable designs using functional programming abstractionsBahram N. Uchevler, Kjetil Svarstad, Jan Kuper, Christiaan Baaij. isqed 2013: 379-385 [doi]

A space/time tradeoff methodology using higher-order functionsRinse Wester, Jan Kuper. fpl 2013: 1-2 [doi]

2012

2011

2010

C?aSH: Structural Descriptions of Synchronous Hardware Using HaskellChristiaan Baaij, Matthijs Kooijman, Jan Kuper, Arjan Boeijink, Marco Gerards. dsd 2010: 714-721 [doi]

Introducing the PilGRIM: A Processor for Executing Lazy Functional LanguagesArjan Boeijink, Philip K. F. Hölzenspies, Jan Kuper. IFL 2011: 54-71 [doi]

Run-time Spatial Mapping of Streaming Applications to Heterogeneous Multi-Processor SystemsPhilip K. F. Hölzenspies, Timon D. ter Braak, Jan Kuper, Gerard J. M. Smit, Johann Hurink. ijpp, 38(1):68-83, 2010. [doi]

Exercises in Architecture Specification Using CLaSHJan Kuper, Christiaan Baaij, Matthijs Kooijman. fdl 2010: 178-183

An Approximate Maximum Common Subgraph Algorithm for Large Digital CircuitsJochem H. Rutgers, Pascal T. Wolkotte, Philip K. F. Hölzenspies, Jan Kuper, Gerard J. M. Smit. dsd 2010: 699-705 [doi]

A mathematical approach towards hardware designGerard J. M. Smit, Jan Kuper, Christiaan P. R. Baaij. Dagstuhl 2010: [doi]

Run-time spatial resource management for real-time applications on heterogeneous MPSoCsTimon D. ter Braak, Philip K. F. Hölzenspies, Jan Kuper, Johann Hurink, Gerard J. M. Smit. date 2010: 357-362 [doi]

2009

2008

2007

SensorScheme: Supply chain management automation using Wireless Sensor NetworksLeon Evers, Paul J. M. Havinga, Jan Kuper, Maria Eva Lijding, Nirvana Meratnia. etfa 2007: 448-455 [doi]

Dynamic Sensor Network Reprogramming using SensorschemeLeon Evers, Paul J. M. Havinga, Jan Kuper. pimrc 2007: 1-5 [doi]

Flexible Sensor Network Reprogramming for LogisticsLeon Evers, Paul J. M. Havinga, Jan Kuper. mass 2007: 1-4 [doi]

Demonstration of Run-time Spatial Mapping of Streaming Applications to a Heterogeneous Multi-Processor System-on-Chip (MPSOC)Philip K. F. Hölzenspies, Jan Kuper, Gerard J. M. Smit, Johann Hurink. Dagstuhl 2007: [doi]

Mapping streaming applications on a reconfigurable MPSoC platform at run-timePhilip K. F. Hölzenspies, Gerard J. M. Smit, Jan Kuper. issoc 2007: 1-4 [doi]

Image Quantisation on a Massively Parallel Embedded ProcessorJan W. M. Jacobs, Leroy van Engelen, Jan Kuper, Gerard J. M. Smit. samos 2007: 139-148 [doi]

Cyclostationary feature detection on a tiled-SoCAndré B. J. Kokkeler, Gerard J. M. Smit, Thijs Krol, Jan Kuper. date 2007: 171-176 [doi]

2004

2003

Intelligent Multimedia Indexing and Retrieval through Multi-source Information Extraction and MergingJan Kuper, Horacio Saggion, Hamish Cunningham, Thierry Declerck, Franciska de Jong, Dennis Reidsma, Yorick Wilks, Peter Wittenburg. IJCAI 2003: 409-414

Event-Coreference across Multiple, Multi-lingual Sources in the Mumis ProjectHoracio Saggion, Hamish Cunningham, Jan Kuper, Thierry Declerck, Peter Wittenburg. eacl 2003: 239-242 [doi]

1997

On the Jacopini TechniqueJan Kuper. iandc, 138(2):101-123, 1997.

1995

Proving the Genericity Lemma by Leftmost Reduction is SimpleJan Kuper. RTA 1995: 271-278

1994

Usability: Formalising (Un)definedness in Typed Lambda CalculusJan Kuper. csl 1995: 76-90

1993

An Axiomatic Theory for Partial FunctionsJan Kuper. iandc, 107(1):104-150, November 1993.

1991

An Application of Non-Wellfounded Sets to the Foundations of GeometryJan Kuper. mlq, 37(17):257-264, 1991. [doi]

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Jan Kuper'

Viewing Publication 1 - 61 from 61

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2004

2003

1997

1995

1994

1993

1991

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by TagOR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Jan Kuper'

Viewing Publication 1 - 61 from 61

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2004

2003

1997

1995

1994

1993

1991

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1