Jan Kuper

Publication Activity (10 Years)

Years Active: 1991-2017
Publications (10 Years): 6

Top Topics

Functional Programming

Design Space Exploration

Structural Information

Particle Filter

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Robin Appel, Hendrik Folmer, Jan Kuper, Rinse Wester, Jan F. Broenink
Design-time improvement using a functional approach to specify GraphSLAM with deterministic performance on an FPGA. IROS (2017)
Jan Kuper, Lutz Schubert, Kilian Kempf, Colin W. Glass, Daniel Rubio Bonilla, Manuel Carro
Program transformations in the POLCA project. DATE (2016)
Daniel Rubio Bonilla, Colin W. Glass, Jan Kuper
Optimized Polynomial Evaluation with Semantic Annotations. CoRR (2016)
Robert de Groote, Philip K. F. Hölzenspies, Jan Kuper, Gerard J. M. Smit
Incremental Analysis of Cyclo-Static Synchronous Dataflow Graphs. ACM Trans. Embed. Comput. Syst. 14 (4) (2015)
Marco E. T. Gerards, Johann L. Hurink, Jan Kuper
On the Interplay between Global DVFS and Scheduling Tasks with Precedence Constraints. IEEE Trans. Computers 64 (6) (2015)
Daniel Rubio Bonilla, Colin W. Glass, Jan Kuper, Robert de Groote
Introducing and Exploiting Hierarchical Structural Information. CLUSTER (2015)
Marco E. T. Gerards, Johann L. Hurink, Philip K. F. Hölzenspies, Jan Kuper, Gerard J. M. Smit
Analytic Clock Frequency Selection for Global DVFS. PDP (2014)
Robert de Groote, Philip K. F. Hölzenspies, Jan Kuper, Gerard J. M. Smit
Multi-rate Equivalents of Cyclo-Static Synchronous Dataflow Graphs. ACSD (2014)
Math Verstraelen, Jan Kuper, Gerard J. M. Smit
Declaratively Programmable Ultra Low-Latency Audio Effects Processing on FPGA. DAFx (2014)
Rinse Wester, Jan Kuper
Design Space Exploration of a Particle Filter Using Higher-Order Functions. ARC (2014)
Robert de Groote, Philip K. F. Hölzenspies, Jan Kuper, Gerard J. M. Smit
Single-rate approximations of cyclo-static synchronous dataflow graphs. SCOPES (2014)
Anja Niedermeier, Jan Kuper, Gerard J. M. Smit
A Dataflow Inspired Programming Paradigm for Coarse-Grained Reconfigurable Arrays. ARC (2014)
Jan Kuper
Hardware Specification with C \varvecλ aSH. CEFP (2013)
Rinse Wester, Jan Kuper
A space/time tradeoff methodology using higher-order functions. FPL (2013)
Kenneth C. Rovers, Jan Kuper
UniTi: Unified Composition and Time for Multi-domain Model-based Design. Int. J. Parallel Program. 41 (2) (2013)
Anja Niedermeier, Jan Kuper, Gerard J. M. Smit
A dataflow-inspired CGRA for streaming applications. FPL (2013)
Bahram N. Uchevler, Kjetil Svarstad, Jan Kuper, Christiaan Baaij
System-level modelling of dynamic reconfigurable designs using functional programming abstractions. ISQED (2013)
Robert de Groote, Philip K. F. Hölzenspies, Jan Kuper, Hajo Broersma
Back to basics: Homogeneous representations of multi-rate synchronous dataflow graphs. MEMOCODE (2013)
Marco Gerards, Jan Kuper
Optimal DPM and DVFS for frame-based real-time systems. ACM Trans. Archit. Code Optim. 9 (4) (2013)
Christiaan Baaij, Jan Kuper
Using Rewriting to Synthesize Functional Languages to Digital Circuits. Trends in Functional Programming (2013)
Lutz Schubert, Jan Kuper, José Gracia
POLCA - A Programming Model for Large Scale, Strongly Heterogeneous Infrastructures. PARCO (2013)
Rinse Wester, Dimitrios Sarakiotis, Eric Kooistra, Jan Kuper
Specification of APERTIF Polyphase Filter Bank in ClaSH. CPA (2012)
Anja Niedermeier, Jan Kuper, Gerard J. M. Smit
Dataflow-based reconfigurable architecture for streaming applications. ISSoC (2012)
Robert de Groote, Jan Kuper, Hajo Broersma, Gerard J. M. Smit
Max-Plus Algebraic Throughput Analysis of Synchronous Dataflow Graphs. EUROMICRO-SEAA (2012)
Rinse Wester, Christiaan Baaij, Jan Kuper
A two step hardware design method using CλaSH. FPL (2012)
Anja Niedermeier, Jan Kuper, Gerard J. M. Smit
High level structural description of streaming applications. FPL (2012)
Marco Gerards, Christiaan Baaij, Jan Kuper, Matthijs Kooijman
Higher-Order Abstraction in Hardware Descriptions with C?aSH. DSD (2011)
Kenneth C. Rovers, Marcel D. van de Burgwal, Jan Kuper, André B. J. Kokkeler, Gerard J. M. Smit
Multi-domain transformational design flow for embedded systems. ICSAMOS (2011)
Kenneth C. Rovers, Jan Kuper, Gerard J. M. Smit
The problem with time in mixed continuous/discrete time modelling. SIGBED Rev. 8 (2) (2011)
Kenneth C. Rovers, Jan Kuper, Marcel D. van de Burgwal, André B. J. Kokkeler, Gerard J. M. Smit
Mixed continuous/discrete time modelling with exact time adjustments. IWCMC (2011)
Jochem H. Rutgers, Pascal T. Wolkotte, Philip K. F. Hölzenspies, Jan Kuper, Gerard J. M. Smit
An Approximate Maximum Common Subgraph Algorithm for Large Digital Circuits. DSD (2010)
Philip K. F. Hölzenspies, Timon D. ter Braak, Jan Kuper, Gerard J. M. Smit, Johann L. Hurink
Run-time Spatial Mapping of Streaming Applications to Heterogeneous Multi-Processor Systems. Int. J. Parallel Program. 38 (1) (2010)
Jan Kuper, Christiaan Baaij, Matthijs Kooijman
Exercises in Architecture Specification Using CLaSH. FDL (2010)
Timon D. ter Braak, Philip K. F. Hölzenspies, Jan Kuper, Johann L. Hurink, Gerard J. M. Smit
Run-time spatial resource management for real-time applications on heterogeneous MPSoCs. DATE (2010)
Gerard J. M. Smit, Jan Kuper, Christiaan P. R. Baaij
A mathematical approach towards hardware design. Dynamically Reconfigurable Architectures (2010)
Arjan Boeijink, Philip K. F. Hölzenspies, Jan Kuper
Introducing the PilGRIM: A Processor for Executing Lazy Functional Languages. IFL (2010)
Christiaan Baaij, Matthijs Kooijman, Jan Kuper, Arjan Boeijink, Marco Gerards
C?aSH: Structural Descriptions of Synchronous Hardware Using Haskell. DSD (2010)
Marco Gerards, Jan Kuper, André B. J. Kokkeler, Bert Molenkamp
Streaming Reduction Circuit. DSD (2009)
Christiaan Baaij, Matthijs Kooijman, Jan Kuper, Marco Gerards, Bert Molenkamp
Tool DemonstrationCLasHFrom Haskell to Hardware. Haskell (2009)
Leon Evers, Jan Kuper
Partially evaluated sensor networks: automatic specialization for heterogeneous wireless sensor & actuator networks. PEPM (2009)
Kenneth C. Rovers, Marcel D. van de Burgwal, Jan Kuper, Gerard J. M. Smit
Towards Effective Modeling and Programming Multi-core Tiled Reconfigurable Architectures. ERSA (2009)
Philip K. F. Hölzenspies, Johann L. Hurink, Jan Kuper, Gerard J. M. Smit
Run-time Spatial Mapping of Streaming Applications to a Heterogeneous Multi-Processor System-on-Chip (MPSOC). DATE (2008)
Leon Evers, Maria Eva Lijding, Jan Kuper
Generic multi--packet communication through object serialization. MidSens (2008)
Jan W. M. Jacobs, Leroy van Engelen, Jan Kuper, Gerard J. M. Smit, Rui Dai
IRIS: A Firmware Design Methodology for SIMD Architectures. DSD (2008)
Leon Evers, Paul J. M. Havinga, Jan Kuper
Dynamic Sensor Network Reprogramming using Sensorscheme. PIMRC (2007)
Jan W. M. Jacobs, Leroy van Engelen, Jan Kuper, Gerard J. M. Smit
Image Quantisation on a Massively Parallel Embedded Processor. SAMOS (2007)
Philip K. F. Hölzenspies, Jan Kuper, Gerard J. M. Smit, Johann L. Hurink
Demonstration of Run-time Spatial Mapping of Streaming Applications to a Heterogeneous Multi-Processor System-on-Chip (MPSOC). Quantitative Aspects of Embedded Systems (2007)
Leon Evers, Paul J. M. Havinga, Jan Kuper, Maria Eva Lijding, Nirvana Meratnia
SensorScheme: Supply chain management automation using Wireless Sensor Networks. ETFA (2007)
André B. J. Kokkeler, Gerard J. M. Smit, Thijs Krol, Jan Kuper
Cyclostationary feature detection on a tiled-SoC. DATE (2007)
Leon Evers, Paul J. M. Havinga, Jan Kuper
Flexible Sensor Network Reprogramming for Logistics. MASS (2007)
Philip K. F. Hölzenspies, Gerard J. M. Smit, Jan Kuper
Mapping streaming applications on a reconfigurable MPSoC platform at run-time. SoC (2007)
Sander Evers, Peter Achten, Jan Kuper
A Functional Programming Technique for Forms in Graphical User Interfaces. IFL (2004)
Giedre Pajarskaite, Vilma Griciute, Gailius Raskinis, Jan Kuper
Designing HMM-Based Part-of-Speech Tagger for Lithuanian Language. Informatica 15 (2) (2004)
Thierry Declerck, Jan Kuper, Horacio Saggion, Anna Samiotou, Peter Wittenburg, Jesús Contreras
Contribution of NLP to the Content Indexing of Multimedia Documents. CIVR (2004)
Jan Kuper, Dennis Reidsma, Thierry Declerck, Franciska de Jong
The Merging Component of the MUMIS Project. TDM (2004)
Horacio Saggion, Hamish Cunningham, Jan Kuper, Thierry Declerck, Peter Wittenburg
Event-Coreference across Multiple, Multi-lingual Sources in the Mumis Project. EACL (2003)
Jan Kuper, Horacio Saggion, Hamish Cunningham, Thierry Declerck, Franciska de Jong, Dennis Reidsma, Yorick Wilks, Peter Wittenburg
Intelligent Multimedia Indexing and Retrieval through Multi-source Information Extraction and Merging. IJCAI (2003)
Jan Kuper
On the Jacopini Technique. Inf. Comput. 138 (2) (1997)
Jan Kuper
Proving the Genericity Lemma by Leftmost Reduction is Simple. RTA (1995)
Jan Kuper
Usability: Formalising (Un)definedness in Typed Lambda Calculus. CSL (1994)
Jan Kuper
An Axiomatic Theory for Partial Functions Inf. Comput. 107 (1) (1993)
Jan Kuper
An Application of Non-Wellfounded Sets to the Foundations of Geometry. Math. Log. Q. 37 (17) (1991)