Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Jump to: 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2005 | 2004 | 2003 | 2002 | 2001 | 1997 | 1995 | 1993 | 1982
Number of items: 66.

2014

Baaij, Christiaan and Kuper, Jan (2014) Using rewriting to synthesize functional languages to digital circuits. In: 14th International Symposium Trends in Functional Programming, TFP 2013, 14-16 May 2013, Provo, UT, USA (pp. pp. 17-33).

Gerards, Marco E.T. and Hurink, Johann L. and Hölzenspies, Philip K.F. and Kuper, Jan and Smit, Gerard J.M. (2014) Analytic clock frequency selection for global DVFS. In: 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2014, 12-14 February 2014, Turin, Italy (pp. pp. 512-519).

Groote, Robert de and Hölzenspies, Philip K.F. and Kuper, Jan and Smit, Gerard J.M. (2014) Single-rate approximations of cyclo-static synchronous dataflow graphs. In: 17th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2014, 10-11 June 2014, St. Goar, Germany (pp. pp. 11-20).

Wester, Rinse and Kuper, Jan (2014) Design space exploration of a particle filter using higher-0rder functions. In: Reconfigurable Computing: Architectures, Tools, and Applications. Lecture Notes in Computer Science, 8405 . Springer, London, UK, pp. 219-226. ISBN 9783319059594

2013

Gerards, Marco E.T. and Kuper, Jan (2013) Optimal DPM and DVFS for frame-based real-time systems. ACM transactions on architecture and code optimization, 9 (4). 41:1-41:23. ISSN 1544-3566

Groote, Robert de and Hölzenspies, Philip K.F. and Kuper, Jan and Broersma, Hajo (2013) Back to basics: homogeneous representations of multi-rate synchronous dataflow graphs. In: 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2013, 18-20 October 2013, Portland, OR, USA (pp. pp. 35-46).

Niedermeier, Anja and Kuper, Jan and Smit, Gerard J.M. (2013) A dataflow-inspired CGRA for streaming applications. In: 23rd International Conference on Field Programmable Logic and Applications, FPL 2013, 2-4 September 2013, Porto, Portugal.

Rovers, K.C. and Kuper, J. (2013) UniTi: Unified composition and time for multi-domain model-based design. International Journal of Parallel Programming, 41 (2). pp. 261-304. ISSN 1573-7640

Uchevler, B.N. and Svarstad, Kjetil and Kuper, Jan and Baaij, Christiaan (2013) System-level modelling of dynamic reconfigurable designs using functional programming abstractions. In: 14th International Symposium on Quality Electronic Design, ISQED 2013, 4-6 March 2013, Santa Clara, CA, USA (pp. pp. 379-385).

Wester, Rinse and Kuper, Jan (2013) A space/time tradeoff methodology using higher-order functions. In: 22nd International Conference on Field Programmable Logic and Applications, FPL 2013, 2-4 September 2013, Porto, Portugal (pp. pp. 1-2).

2012

Baaij, Christiaan and Kuper, Jan and Schubert, Lutz (2012) SoOSiM: Operating System and Programming Language Exploration. In: 3rd International Workshop on Analysis Tools and Methodologies for Embedded and Real-time System (WATERS 2012), 10 Jul 2012, Pisa, Italy (pp. pp. 63-68).

Groote, Robert de and Kuper, Jan and Broersma, Hajo and Smit, Gerard J.M. (2012) Max-plus algebraic throughput analysis of synchronous dataflow graphs. In: 38th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2012, 5-8 September 2012, Cesme, Izmir, Turkey (pp. pp. 29-38).

Niedermeier, A. and Kuper, J. and Smit, G.J.M. (2012) High level structural description of streaming applications. In: Field Programmable Logic and Applications (FPL), 2012 22nd International Conference on, 29-31 Oct 2012, Oslo, Norway (pp. pp. 485-486).

Niedermeier, A. and Kuper, J. and Smit, G.J.M. (2012) Dataflow-based reconfigurable architecture for streaming applications. In: Proceedings of System on Chip (SoC), 2012 International Symposium on System-on-Chip, 11-12 Oct 2012, Tampere, Finland (pp. pp. 1-4).

Niedermeier, Anja and Kuper, Jan and Smit, Gerard (2012) A Haskell-Based Programming Paradigm for Coarse-Grained Reconfigurable Arrays. In: 38th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA 2012) and the 15th EUROMICRO Conference on Digital System Design (DSD 2012), 5-8 September 2012, Çeşme, Izmir, Turkey (pp. pp. 17-18).

Wester, R. and Baaij, C.P.R. and Kuper, J. (2012) A two step hardware design method using CλaSH. In: 22nd International Conference on Field Programmable Logic and Applications, FPL 2012, 29-31 August 2012, Oslo, Norway (pp. pp. 181-188).

Wester, R. and Sarakiotis, D. and Kooistra, E. and Kuper, J. (2012) Specification of APERTIF Polyphase Filter Bank in CλaSH. In: Communicating Process Architectures 2012, 26-29 August 2012, Dundee, Scotland (pp. pp. 53-64).

2011

Boeijink, Arjan and Hölzenspies, Philip K.F. and Kuper, Jan (2011) Introducing the PilGRIM: A Processor for Executing Lazy Functional Languages. In: 22nd International Symposium on Implementation and Application of Functional Languages, IFL 2010, 1-3 September 2010, Alphen a/d Rijn, The Netherlands (pp. pp. 54-71).

Gerards, Marco and Baaij, Christiaan and Kuper, Jan and Kooijman, Matthijs (2011) Higher-Order Abstraction in Hardware Descriptions with CλaSH. In: 14th EUROMICRO Conference on Digital System Design, DSD 2011, 31 Aug - 2 Sept 2011, Oulu, Finland (pp. pp. 495-502).

Kuper, Jan and Baaij, Christiaan and Kooijman, Matthijs and Gerards, Marco (2011) Architecture Specifications in CλaSH. In: System Specification and Design Languages. Lecture Notes in Electrical Engineering, 106 . Springer Verlag, New York, pp. 191-206. ISBN 9781461414261

Rovers, Kenneth C. and Burgwal, Marcel D. van de and Kuper, Jan and Kokkeler, André B.J. and Smit, Gerard J.M. (2011) Multi-domain transformational design flow for embedded systems. In: International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, IC-SAMOS 2011, 18-21 July 2011, Samos, Greece (pp. pp. 93-101).

Rovers, Kenneth C. and Kuper, Jan and Burgwal, Marcel D. van de and Kokkeler, André B.J. and Smit, Gerard J.M. (2011) Mixed continuous/discrete time modelling with exact time adjustments. In: First IEEE Workshop on Design, Modeling and Evaluation of Cyber Physical Systems, CyPhy 2011, 6-7 July 2011, Istanbul, Turkey (pp. pp. 1111-1116).

Rovers, Kenneth C. and Kuper, Jan and Smit, Gerard J.M. (2011) The problem with time in mixed continuous/discrete time modelling. ACM SIGBED Review, 8 (2). pp. 27-30. ISSN 1551-3688

2010

Baaij, Christiaan and Kooijman, Matthijs and Kuper, Jan and Boeijink, Arjan and Gerards, Marco (2010) CλaSH: Structural Descriptions of Synchronous Hardware using Haskell. In: 13th Euromicro Conference on Digital System Design, DSD 2010, 1-3 September 2010, Lille, France (pp. pp. 714-721).

Braak, Timon D. ter and Hölzenspies, Philip K.F. and Kuper, Jan and Hurink, Johann L. and Smit, Gerard J.M. (2010) Run-time Spatial Resource Management for Real-Time Applications on Heterogeneous MPSoCs. In: Conference on Design, Automation and Test in Europe, DATE 2010, 8-12 March 2010, Dresden, Germany (pp. pp. 357-362).

Gerards, Marco and Baaij, Christiaan and Kuper, Jan and Kooijman, Matthijs (2010) Hiding State in CλaSH Hardware Descriptions. In: 22nd Symposium on Implementation and Application of Functional Languages, IFL 2010, 1-3 Sept 2010, Alphen aan den Rijn, the Netherlands (pp. pp. 107-119).

Kuper, Jan and Baaij, Christiaan and Kooijman, Matthijs and Gerards, Marco (2010) Exercises in architecture specification using CλaSH. In: Forum on Specification and Design Languages, FDL 2010, 13-16 September 2010, Southampton, England (pp. pp. 178-183).

Niedermeier, Anja and Wester, Rinse and Baaij, Christiaan and Kuper, Jan and Smit, Gerard (2010) Comparing CλaSH and VHDL by implementing a dataflow processor. In: PROGRESS 2010 Workshop on PROGram for Research on Embedded Systems and Software, 18-19 November, 2010, Veldhoven, the Netherlands (pp. pp. 216-221).

Niedermeier, Anja and Wester, Rinse and Rovers, Kenneth and Baaij, Christiaan and Kuper, Jan and Smit, Gerard (2010) Designing a dataflow processor using CλaSH. In: 28th Norchip Conference, NORCHIP 2010, 15-16 November 2010, Tampere, Finland (pp. p. 69).

Rutgers, Jochem H. and Wolkotte, Pascal T. and Hölzenspies, Philip K.F. and Kuper, Jan and Smit, Gerard J.M. (2010) An Approximate Maximum Common Subgraph Algorithm for Large Digital Circuits. In: 13th Euromicro Conference on Digital System Design, DSD 2010, 1-3 September 2010, Lille, France (pp. pp. 699-705).

Smit, Gerard J.M. and Kuper, Jan and Baaij, Christiaan P.R. (2010) A mathematical approach towards hardware design. In: Dagstuhl Seminar on Dynamically Reconfigurable Architectures, 11-16 July 2010, Dagstuhl, Germany.

2009

Evers, L. and Kuper, J. (2009) Partially Evaluated Sensor Networks: Automatic Specialization for Heterogeneous Wireless Sensor & Actuator Networks. In: Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation, january 19-20, 2009, Savannah, GA, USA (pp. pp. 73-80).

Gerards, Marco and Kuper, Jan and Kokkeler, André and Molenkamp, Bert (2009) Streaming Reduction Circuit. In: 12th Euromicro Conference on Digital System Design, Architectures, Methods and Tools, DSD, 27-29 Aug 2009, Patras, Greece (pp. pp. 287-292).

Hölzenspies, Philip K.F. and Braak, Timon D. ter and Kuper, Jan and Smit, Gerard J.M. and Hurink, Johann L. (2009) Run-time Spatial Mapping of Streaming Applications to Heterogeneous Multi-Processor Systems. International Journal of Parallel Programming, 38 (1). pp. 68-83. ISSN 1573-7640

Rovers, K.C. and van de Burgwal, M.D. and Kuper, J. and Smit, G.J.M. (2009) Towards effective modeling and programming multi-core tiled reconfigurable architectures. In: Proceedings of the 2009 International Conference on Engineering of Reconfigurable Systems & Algorithms, 13-16 Jul 2009, Las Vegas, Nevada, USA (pp. pp. 167-174).

Rovers, Kenneth C. and Burgwal, Marcel D. van de and Kuper, Jan and Kokkeler, Andre B.J. and Smit, Gerard J.M. (2009) On reconfigurable tiled multi-core programming. In: ProRISC 2009, Annual Workshop on Circuits, Systems and Signal Processing, 26-27 Nov 2009, Veldhoven, the Netherlands (pp. pp. 507-514).

2008

Evers, L. and Lijding, M.E.M. and Kuper, J. (2008) Generic Multi–Packet Communication through Object Serialization. In: Proceedings of the 3rd international workshop on Middleware for sensor networks, 1-5 december 2008, Leuven, Belgium (pp. pp. 25-30).

Hölzenspies, Philip K.F. and Hurink, Johann L. and Kuper, Jan and Smit, Gerard J.M. (2008) Run-time Spatial Mapping of Streaming Applications to a Heterogeneous Multi-Processor System-on-Chip (MPSOC). In: Eleventh Conference on Design, Automation and Test in Europe, DATE08, 10-14 March 2008, Munich, Germany (pp. pp. 212-217).

Jacobs, Jan and Engelen, Leroy van and Kuper, Jan and Smit, Gerard J.M. and Dai, Rui (2008) IRIS: a firmware design methodology for SIMD architectures. In: 11th EUROMICRO Conference on Digital System Design, DSD 2008, September 3-5, 2008, Parma, Italy (pp. pp. 609-617).

Rovers, Kenneth C. and Kuper, Jan and Smit, Gerard J.M. (2008) Semantic programming model-based design. In: ProRISC 2008, 19th Annual Workshop on Circuits, Systems and Signal Processing, 27-28 November 2008, Veldhoven, the Netherlands (pp. pp. 83-88).

2007

Evers, L. and Havinga, P.J.M. and Kuper, J. (2007) Dynamic Sensor Network Reprogramming using SensorScheme. In: Proceedings of the 18th Annual IEEE Symposium on Personal, Indoor and Mobile Radio Communications, 3-7 september 2007, Athens, Greece (pp. pp. 1-5).

Evers, L. and Havinga, P.J.M. and Kuper, J. (2007) Flexible Sensor Network Reprogramming for Logistics. [Report]

Evers, L. and Havinga, P.J.M. and Kuper, J. (2007) Flexible Sensor Network Reprogramming for Logistics. In: Proceedings of the Fourth IEEE International Conference on Mobile Ad-hoc and Sensor Systems, MASS 2007, 8 - 11 October 2007, Pisa, Italy.

Evers, L. and Havinga, P.J.M. and Kuper, J. and Lijding, M.E.M. and Meratnia, N. (2007) SensorScheme: Supply chain management automation using Wireless Sensor Networks. In: 12th IEEE Conference on Emerging Technologies & Factory Automation, ETFA 2007, 25-28 September 2007 , Patras, Greece (pp. pp. 448-455).

Hölzenspies, P.K.F. and Kuper, J. and Smit, G.J.M. and Hurink, J.L. (2007) Demonstration of Run-time Spatial Mapping of Streaming Applications to a Heterogeneous Multi-Processor System-on-Chip (MPSoC). In: Dagstuhl Seminar 2007, 4-9 Mar 2007, Dagstuhl Wadern, Germany.

Hölzenspies, P.K.F. and Smit, G.J.M. and Kuper, J. (2007) Mapping streaming applications on a reconfigurable MPSoC platform at run-time. In: Proceedings of the International Symposium on System-on-Chip (SoC 2007), 19-21 Nov 2007, Tampere, Finland (pp. pp. 74-77).

Jacobs, Jan and Engelen, Leroy van and Kuper, Jan and Smit, Gerard J.M. (2007) Image Quantisation on a Massively Parallel Embedded Processor. In: Embedded Computer Systems: Architectures, Modeling, and Simulation, 16-19 July 2007, Samos, Greece (pp. pp. 139-148).

Kokkeler, André B.J. and Smit, Gerard J.M. and Krol, Thijs and Kuper, Jan (2007) Cyclostationary Feature Detection on a tiled-SoC. In: Design, Automation & Test in Europe Conference & Exhibition, DATE 2007, 16-20 April 2007, Nice, France (pp. pp. 171-176).

Kuper, J. (2007) Binary Relations as a Foundation of Mathematics. In: Reflections on Type Theory, Lambda Calculus, and the Mind: Essays Dedicated to Henk Barendregt on the Occasion of his 60th Birthday. Radboud University, Nijmegen, pp. 223-232. ISBN 9789090224466

2005

Evers, S. and Kuper, J. and Achten, P.M. (2005) A Functional Programming Technique for Forms in Graphical User Interfaces. In: Proceedings of the 16th International Workshop on Implementation and Application of Functional Languages (IFL 2004), 8-10 Sep 2004, Lübeck, Germany (pp. pp. 35-51).

Oosterhof, N.N. and Hölzenspies, P.K.F. and Kuper, J. (2005) Application Patterns. In: Trends in Functional Programming, 23-24 Sep 2005, Tallinn, Estonia (pp. pp. 370-382).

2004

Declerck, T. and Saggion, H. and Kuper, J. and Samiotou, A. and Wittenburg, P. and Contreras, J. (2004) Contribution of NLP to the Content Indexing of Multimedia Documents. In: International Conference on Image and Video Retrieval (CIVR'04), 21-23 July 2004, Dublin (pp. pp. 610-618).

Kuper, J. (2004) Grafische Ondersteuning bij Programmeeronderwijs (Dutch). In: Proceedings Nationaal Informatica Onderwijs Congres (NIOC'04), 3-4 November 2004, Groningen (pp. pp. 67-72).

Pajarskaite, G. and Griciute, V. and Raskinis, G. and Kuper, J. (2004) Designing HMM-based part-of-speech tagger for Lithuanian language. Informatica, 15 (2). pp. 231-242. ISSN 0868-4952

2003

Declerck, T. and Cunningham, H. and Saggion, H. and Kuper, J. and Reidsma, D. and Wittenburg, P. (2003) MUMIS -- Advanced information extraction for multimedia indexing and searching. In: Digital Media Processing for Multimedia Interactive Services: Proceedings of the 4th European Workshop on Image Analysis for Multimedia Interactive Services (WIAMIS'03), 9-11 April 2003, London (pp. pp. 553-556).

Kuper, J. and Saggion, H. and Cunningham, H. and Declerck, T. and Hoenkamp, E. and Puts, M. and de Jong, F.M.G. and Wilks, Y. and Wittenburg, P. (2003) Event-coreference across Multiple Multi-lingual Sources in the MUMIS project (Extended Abstract). In: 15th Belgium-Netherlands Conference on Arificial Intelligence (BNAIC'03), 23-24 October 2003, Nijmegen (pp. pp. 425-426).

Kuper, J. and Saggion, H. and Cunningham, H. and Declerck, T. and de Jong, F.M.G. and Reidsma, D. and Wilks, Y. and Wittenburg, P. (2003) Intelligent multimedia indexing and retrieval through multi-source information extraction and merging. In: 18th International Joint Conference of Artificial Intelligence (IJCAI), 9-15 August 2003, Acapulco (pp. pp. 409-414).

Saggion, H. and Kuper, J. and Cunningham, H. and Declerck, T. and Wittenburg, P. and Puts, M. and Hoenkamp, E. and Jong, F.M.G. de and Wilks, Y. (2003) Event-Coreference across Multiple, Multi-Lingual Sources in the Mumis Project. In: 10th Conference of the European Chapter of the Association for Computational Linguistics (EACL'03, Conference Companion), 12-17 April 2003, Budapest, Hungary (pp. pp. 239-242).

2002

Eysink, Tessa H.S. and Dijkstra, Sanne and Kuper, Jan (2002) The role of guidance in computer-based problem solving for the development of concepts of logic. Instructional Science, 30 (4). pp. 307-333. ISSN 0020-4277

2001

Eysink, T.H.S. and Dijkstra, S. and Kuper, J. (2001) Cognitive processes in solving variants of computer-based problems used in logic teaching. Computers in Human Behavior, 17 (1). pp. 1-19. ISSN 0747-5632

Fokkinga, Maarten and Kuper, Jan (2001) An alternative approach to I/O. [Report]

1997

Kuper, Jan (1997) On the Jacopini Technique. Information and Computation, 138 (2). pp. 101-123. ISSN 0890-5401

1995

Kuper, J. (1995) Usability: Formalising (un)definedness in typed lambda calculu. In: Selected Papers from the 8th International Workshop on Computer Science Logic (CSL'94), 25-30 September 1994, Kazimierz, Poland (pp. pp. 76-90).

Kuper, J. (1995) Proving the genericity lemma by leftmost reduction is simple. In: Rewriting Techniques and Applications, 5-7 April 1995, Kaiserslautern, Germany (pp. pp. 271-278).

1993

Kuper, Jan (1993) An axiomatic theory for partial functions. Information and Computation, 107 (1). pp. 104-150. ISSN 0890-5401

1982

Fleischhacker, L.E. and Kuper, J. (1982) Deontic logic and the axoim of necessity: the consequences of a misinterpretation. Journal of value inquiry, 16 (1). pp. 67-74. ISSN 0022-5363

This list was generated on Sat Aug 23 05:20:31 2014 CEST.