Research Output per year
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 journal › Article › Academic › peer-review
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 journal › Article › Academic › peer-review
File
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 proceeding › Conference contribution › Academic › peer-review
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 proceeding › Conference contribution › Academic › peer-review
File
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 proceeding › Conference contribution › Academic › peer-review
File
Activities
- 4 Oral presentation
Formalising meaningfulness in typed lambda calculus
Jan Kuper (Invited speaker)7 Mar 1995
Activity: Talk or presentation › Oral presentation
Two general proofs of the easiness of Omega
Jan Kuper (Speaker)20 May 1994
Activity: Talk or presentation › Oral presentation
Approaches to partial logic
Jan Kuper (Speaker)5 Feb 1991
Activity: Talk or presentation › Oral presentation
Theories for partial functions
Jan Kuper (Speaker)7 Feb 1991
Activity: Talk or presentation › Oral presentation