Jan Kuper

According to our database, Jan Kuper authored at least 62 papers between 1991 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2017

Design-time improvement using a functional approach to specify GraphSLAM with deterministic performance on an FPGA.

Robin Appel, Hendrik Folmer, Jan Kuper, Rinse Wester, Jan F. Broenink

Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017

2016

Optimized Polynomial Evaluation with Semantic Annotations.

Daniel Rubio Bonilla, Colin W. Glass, Jan Kuper

CoRR, 2016

Program transformations in the POLCA project.

Jan Kuper, Lutz Schubert, Kilian Kempf, Colin W. Glass, Daniel Rubio Bonilla, Manuel Carro

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

2015

Incremental Analysis of Cyclo-Static Synchronous Dataflow Graphs.

Robert de Groote, Philip K. F. Hölzenspies, Jan Kuper, Gerard J. M. Smit

ACM Trans. Embed. Comput. Syst., 2015

On the Interplay between Global DVFS and Scheduling Tasks with Precedence Constraints.

Marco E. T. Gerards, Johann L. Hurink, Jan Kuper

IEEE Trans. Computers, 2015

Introducing and Exploiting Hierarchical Structural Information.

Daniel Rubio Bonilla, Colin W. Glass, Jan Kuper, Robert de Groote

Proceedings of the 2015 IEEE International Conference on Cluster Computing, 2015

2014

Single-rate approximations of cyclo-static synchronous dataflow graphs.

Robert de Groote, Philip K. F. Hölzenspies, Jan Kuper, Gerard J. M. Smit

Proceedings of the 17th International Workshop on Software and Compilers for Embedded Systems, 2014

Analytic Clock Frequency Selection for Global DVFS.

Marco E. T. Gerards, Johann L. Hurink, Philip K. F. Hölzenspies, Jan Kuper, Gerard J. M. Smit

Proceedings of the 22nd Euromicro International Conference on Parallel, 2014

Declaratively Programmable Ultra Low-Latency Audio Effects Processing on FPGA.

Math Verstraelen, Jan Kuper, Gerard J. M. Smit

Proceedings of the 17th International Conference on Digital Audio Effects, 2014

Design Space Exploration of a Particle Filter Using Higher-Order Functions.

Rinse Wester, Jan Kuper

Proceedings of the Reconfigurable Computing: Architectures, Tools, and Applications, 2014

A Dataflow Inspired Programming Paradigm for Coarse-Grained Reconfigurable Arrays.

Anja Niedermeier, Jan Kuper, Gerard J. M. Smit

Proceedings of the Reconfigurable Computing: Architectures, Tools, and Applications, 2014

Multi-rate Equivalents of Cyclo-Static Synchronous Dataflow Graphs.

Robert de Groote, Philip K. F. Hölzenspies, Jan Kuper, Gerard J. M. Smit

Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014

2013

Optimal DPM and DVFS for frame-based real-time systems.

Marco Gerards, Jan Kuper

ACM Trans. Archit. Code Optim., 2013

UniTi: Unified Composition and Time for Multi-domain Model-based Design.

Kenneth C. Rovers, Jan Kuper

Int. J. Parallel Program., 2013

Using Rewriting to Synthesize Functional Languages to Digital Circuits.

Christiaan Baaij, Jan Kuper

Proceedings of the Trends in Functional Programming - 14th International Symposium, 2013

POLCA - A Programming Model for Large Scale, Strongly Heterogeneous Infrastructures.

Lutz Schubert, Jan Kuper, José Gracia

Proceedings of the Parallel Computing: Accelerating Computational Science and Engineering (CSE), 2013

Back to basics: Homogeneous representations of multi-rate synchronous dataflow graphs.

Robert de Groote, Philip K. F. Hölzenspies, Jan Kuper, Hajo Broersma

Proceedings of the 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2013

System-level modelling of dynamic reconfigurable designs using functional programming abstractions.

Bahram N. Uchevler, Kjetil Svarstad, Jan Kuper, Christiaan Baaij

Proceedings of the International Symposium on Quality Electronic Design, 2013

A space/time tradeoff methodology using higher-order functions.

Rinse Wester, Jan Kuper

Proceedings of the 23rd International Conference on Field programmable Logic and Applications, 2013

A dataflow-inspired CGRA for streaming applications.

Anja Niedermeier, Jan Kuper, Gerard J. M. Smit

Proceedings of the 23rd International Conference on Field programmable Logic and Applications, 2013

Hardware Specification with C \varvecλ aSH.

Jan Kuper

Proceedings of the Central European Functional Programming School - 5th Summer School, 2013

2012

Specification of APERTIF Polyphase Filter Bank in ClaSH.

Rinse Wester, Dimitrios Sarakiotis, Eric Kooistra, Jan Kuper

Proceedings of the 34th Communicating Process Architectures, 2012

Dataflow-based reconfigurable architecture for streaming applications.

Anja Niedermeier, Jan Kuper, Gerard J. M. Smit

Proceedings of the 2012 International Symposium on System on Chip, 2012

A two step hardware design method using CλaSH.

Rinse Wester, Christiaan Baaij, Jan Kuper

Proceedings of the 22nd International Conference on Field Programmable Logic and Applications (FPL), 2012

High level structural description of streaming applications.

Anja Niedermeier, Jan Kuper, Gerard J. M. Smit

Proceedings of the 22nd International Conference on Field Programmable Logic and Applications (FPL), 2012

Max-Plus Algebraic Throughput Analysis of Synchronous Dataflow Graphs.

Robert de Groote, Jan Kuper, Hajo Broersma, Gerard J. M. Smit

Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications, 2012

2011

The problem with time in mixed continuous/discrete time modelling.

Kenneth C. Rovers, Jan Kuper, Gerard J. M. Smit

SIGBED Rev., 2011

Multi-domain transformational design flow for embedded systems.

Kenneth C. Rovers, Marcel D. van de Burgwal, Jan Kuper, André B. J. Kokkeler, Gerard J. M. Smit

Proceedings of the 2011 International Conference on Embedded Computer Systems: Architectures, 2011

Mixed continuous/discrete time modelling with exact time adjustments.

Kenneth C. Rovers, Jan Kuper, Marcel D. van de Burgwal, André B. J. Kokkeler, Gerard J. M. Smit

Proceedings of the 7th International Wireless Communications and Mobile Computing Conference, 2011

Higher-Order Abstraction in Hardware Descriptions with C?aSH.

Marco Gerards, Christiaan Baaij, Jan Kuper, Matthijs Kooijman

Proceedings of the 14th Euromicro Conference on Digital System Design, 2011

2010

Run-time Spatial Mapping of Streaming Applications to Heterogeneous Multi-Processor Systems.

Philip K. F. Hölzenspies, Timon D. ter Braak, Jan Kuper, Gerard J. M. Smit, Johann L. Hurink

Int. J. Parallel Program., 2010

Introducing the PilGRIM: A Processor for Executing Lazy Functional Languages.

Arjan Boeijink, Philip K. F. Hölzenspies, Jan Kuper

Proceedings of the Implementation and Application of Functional Languages, 2010

Exercises in Architecture Specification Using CLaSH.

Jan Kuper, Christiaan Baaij, Matthijs Kooijman

Proceedings of the 2010 Forum on specification & Design Languages, 2010

An Approximate Maximum Common Subgraph Algorithm for Large Digital Circuits.

Jochem H. Rutgers, Pascal T. Wolkotte, Philip K. F. Hölzenspies, Jan Kuper, Gerard J. M. Smit

Proceedings of the 13th Euromicro Conference on Digital System Design, 2010

C?aSH: Structural Descriptions of Synchronous Hardware Using Haskell.

Christiaan Baaij, Matthijs Kooijman, Jan Kuper, Arjan Boeijink, Marco Gerards

Proceedings of the 13th Euromicro Conference on Digital System Design, 2010

Run-time spatial resource management for real-time applications on heterogeneous MPSoCs.

Timon D. ter Braak, Philip K. F. Hölzenspies, Jan Kuper, Johann L. Hurink, Gerard J. M. Smit

Proceedings of the Design, Automation and Test in Europe, 2010

A mathematical approach towards hardware design.

Gerard J. M. Smit, Jan Kuper, Christiaan P. R. Baaij

Proceedings of the Dynamically Reconfigurable Architectures, 11.07. - 16.07.2010, 2010

2009

Partially evaluated sensor networks: automatic specialization for heterogeneous wireless sensor & actuator networks.

Leon Evers, Jan Kuper

Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2009

Tool DemonstrationCLasHFrom Haskell to Hardware.

Christiaan Baaij, Matthijs Kooijman, Jan Kuper, Marco Gerards, Bert Molenkamp

Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, 2009

Towards Effective Modeling and Programming Multi-core Tiled Reconfigurable Architectures.

Kenneth C. Rovers, Marcel D. van de Burgwal, Jan Kuper, Gerard J. M. Smit

Proceedings of the 2009 International Conference on Engineering of Reconfigurable Systems & Algorithms, 2009

Streaming Reduction Circuit.

Marco Gerards, Jan Kuper, André B. J. Kokkeler, Bert Molenkamp

Proceedings of the 12th Euromicro Conference on Digital System Design, 2009

2008

Generic multi--packet communication through object serialization.

Leon Evers, Maria Eva Lijding, Jan Kuper

Proceedings of the Third International Workshop on Middleware for Sensor Networks, 2008

IRIS: A Firmware Design Methodology for SIMD Architectures.

Jan W. M. Jacobs, Leroy van Engelen, Jan Kuper, Gerard J. M. Smit, Rui Dai

Proceedings of the 11th Euromicro Conference on Digital System Design: Architectures, 2008

Run-time Spatial Mapping of Streaming Applications to a Heterogeneous Multi-Processor System-on-Chip (MPSOC).

Philip K. F. Hölzenspies, Johann L. Hurink, Jan Kuper, Gerard J. M. Smit

Proceedings of the Design, Automation and Test in Europe, 2008

2007

Image Quantisation on a Massively Parallel Embedded Processor.

Jan W. M. Jacobs, Leroy van Engelen, Jan Kuper, Gerard J. M. Smit

Proceedings of the Embedded Computer Systems: Architectures, 2007

Dynamic Sensor Network Reprogramming using Sensorscheme.

Leon Evers, Paul J. M. Havinga, Jan Kuper

Proceedings of the IEEE 18th International Symposium on Personal, 2007

Flexible Sensor Network Reprogramming for Logistics.

Leon Evers, Paul J. M. Havinga, Jan Kuper

Proceedings of the IEEE 4th International Conference on Mobile Adhoc and Sensor Systems, 2007

Mapping streaming applications on a reconfigurable MPSoC platform at run-time.

Philip K. F. Hölzenspies, Gerard J. M. Smit, Jan Kuper

Proceedings of the International Symposium on System-on-Chip, 2007

SensorScheme: Supply chain management automation using Wireless Sensor Networks.

Leon Evers, Paul J. M. Havinga, Jan Kuper, Maria Eva Lijding, Nirvana Meratnia

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2007

Cyclostationary feature detection on a tiled-SoC.

André B. J. Kokkeler, Gerard J. M. Smit, Thijs Krol, Jan Kuper

Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

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 L. Hurink

Proceedings of the Quantitative Aspects of Embedded Systems, 04.03. - 09.03.2007, 2007

2004

Designing HMM-Based Part-of-Speech Tagger for Lithuanian Language.

Giedre Pajarskaite, Vilma Griciute, Gailius Raskinis, Jan Kuper

Informatica, 2004

The Merging Component of the MUMIS Project.

Jan Kuper, Dennis Reidsma, Thierry Declerck, Franciska de Jong

Proceedings of the First Twente Data Management Workshop (TDM 2004) on XML Databases and Information Retrieval, 2004

A Functional Programming Technique for Forms in Graphical User Interfaces.

Sander Evers, Peter Achten, Jan Kuper

Proceedings of the Implementation and Application of Functional Languages, 2004

Contribution of NLP to the Content Indexing of Multimedia Documents.

Thierry Declerck, Jan Kuper, Horacio Saggion, Anna Samiotou, Peter Wittenburg, Jesús Contreras

Proceedings of the Image and Video Retrieval: Third International Conference, 2004

2003

Intelligent Multimedia Indexing and Retrieval through Multi-source Information Extraction and Merging.

Jan Kuper, Horacio Saggion, Hamish Cunningham, Thierry Declerck, Franciska de Jong, Dennis Reidsma, Yorick Wilks, Peter Wittenburg

Proceedings of the IJCAI-03, 2003

Event-Coreference across Multiple, Multi-lingual Sources in the Mumis Project.

Horacio Saggion, Hamish Cunningham, Jan Kuper, Thierry Declerck, Peter Wittenburg

Proceedings of the EACL 2003, 2003

1997

On the Jacopini Technique.

Jan Kuper

Inf. Comput., 1997

1995

Proving the Genericity Lemma by Leftmost Reduction is Simple.

Jan Kuper

Proceedings of the Rewriting Techniques and Applications, 6th International Conference, 1995

1994

Usability: Formalising (Un)definedness in Typed Lambda Calculus.

Jan Kuper

Proceedings of the Computer Science Logic, 8th International Workshop, 1994

1993

An Axiomatic Theory for Partial Functions

Jan Kuper

Inf. Comput., November, 1993

1991

An Application of Non-Wellfounded Sets to the Foundations of Geometry.

Jan Kuper

Math. Log. Q., 1991