1982 …2015

Research output per year

If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Jan Kuper is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 2 Similar Profiles

Research Output

Incremental analysis of cyclo-static synchronous dataflow graphs

de Groote, R., Holzenspies, P. K. F., Kuper, J. & Smit, G. J. M., Dec 2015, In : ACM transactions on embedded computing systems. 14, 4, p. 68 25 p.

Research output: Contribution to journalArticleAcademicpeer-review

2 Citations (Scopus)

On the interplay between global DVFS and scheduling tasks with precedence constraints

Gerards, M. E. T., Hurink, J. L. & Kuper, J., Jun 2015, In : IEEE transactions on computers. 64, 6, p. 1742-1754 13 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
32 Citations (Scopus)
93 Downloads (Pure)

A dataflow inspired programming paradigm for coarse-grained reconfigurable arrays

Niedermeier, A., Kuper, J. & Smit, G. J. M., 14 Apr 2014, International Conference on Reconfigurable Computing: Architectures, Tools, and Applications, ARC 2014. Berlin: Springer, p. 275-282 8 p. (Lecture Notes in Computer Science; vol. 8405).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

4 Citations (Scopus)

Analytic clock frequency selection for global DVFS

Gerards, M. E. T., Hurink, J. L., Holzenspies, P. K. F., Kuper, J. & Smit, G. J. M., 2014, 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2014. USA: IEEE Computer Society, p. 512-519 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
10 Citations (Scopus)
23 Downloads (Pure)

Declaratively programmable ultra-low latency audio effects processing on FPGA

Verstraelen, M. J. W., Kuper, J. & Smit, G. J. M., 1 Sep 2014, Proceedings of the 17th International Conference on Digital Audio Effects (DAFx-14). Erlangen: Fraunhofer Institut, p. 263-270 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
2 Citations (Scopus)
136 Downloads (Pure)

Activities

  • 5 Oral presentation

Formalising meaningfulness in typed lambda calculus

Jan Kuper (Invited speaker)
7 Mar 1995

Activity: Talk or presentationOral presentation

Two general proofs of the easiness of Omega

Jan Kuper (Speaker)
20 May 1994

Activity: Talk or presentationOral presentation

Partial logic as a simple restriction of standard logic

Jan Kuper (Speaker)
7 Nov 1991

Activity: Talk or presentationOral presentation

Theories for partial functions

Jan Kuper (Speaker)
7 Feb 1991

Activity: Talk or presentationOral presentation

Approaches to partial logic

Jan Kuper (Speaker)
5 Feb 1991

Activity: Talk or presentationOral presentation