Kenneth Skovhede

Kenneth Skovhede

Assistant professor


  1. 2019
  2. Published

    Building hardware from C# models

    Skovhede, Kenneth & Vinter, Brian, 1 Jan 2019, 3rd International Workshop on FPGAs for Software Programmers, FSP 2016, co-located with International Conference on Field Programmable Logic and Applications, FPL 2016. Hochberger, C., Koch, A. & Weinhardt, M. (eds.). VDE Verlag GmbH, p. 57-65 9 p. (3rd International Workshop on FPGAs for Software Programmers, FSP 2016, co-located with International Conference on Field Programmable Logic and Applications, FPL 2016).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  3. Published

    Big data analysis with skeletons on SOFA

    Skovhede, Kenneth & Vinter, Brian, 2019, Communicating Process Architectures 2017 and 2018, WoTUG-39 and WoTUG-40 - Proceedings of CPA 2017 (WoTUG-39) and Proceedings of CPA 2018 (WoTUG-40). Pedersen, J. B., Chalmers, K., Broenink, J. F., Vinter, B., Vella, K., Welch, P. H., Smith, M. L. & Skovhede, K. (eds.). IMIA and IOS Press, p. 5-17 13 p. (Concurrent Systems Engineering Series, Vol. 70).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  4. Published

    Evaluating CSP as a programming model to build distributed systems

    Skovhede, Kenneth & Vinter, Brian, 2019, Communicating Process Architectures 2017 and 2018, WoTUG-39 and WoTUG-40 - Proceedings of CPA 2017 (WoTUG-39) and Proceedings of CPA 2018 (WoTUG-40). Pedersen, J. B., Chalmers, K., Broenink, J. F., Vinter, B., Vella, K., Welch, P. H., Smith, M. L. & Skovhede, K. (eds.). IMIA and IOS Press, p. 451-461 11 p. (Concurrent Systems Engineering Series, Vol. 70).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  5. Published

    Implementing a transputer for FPGA in less than 800 lines of code

    Johnsen, Carl-Johannes, Skovhede, Kenneth, Vinter, Brian, Quarrie, L. & Dickson, L., 2019, Communicating Process Architectures 2017 and 2018, WoTUG-39 and WoTUG-40 - Proceedings of CPA 2017 (WoTUG-39) and Proceedings of CPA 2018 (WoTUG-40). Pedersen, J. B., Chalmers, K., Broenink, J. F., Vinter, B., Vella, K., Welch, P. H., Smith, M. L. & Skovhede, K. (eds.). IMIA and IOS Press, p. 559-578 20 p. (Concurrent Systems Engineering Series, Vol. 70).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  6. Published

    Teaching Concurrent and Distributed Programming With Concepts Over Mathematical Proofs

    Marchant, David Gray, Johnsen, Carl-Johannes, Vinter, Brian & Skovhede, Kenneth, 2019, 2019 IEEE/ACM Workshop on Education for High-Performance Computing (EduHPC). Denver, USA: IEEE, 9 p. 19243789

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  7. Published

    Towards automatic program specification using SME models

    Thegler, A., Larsen, M. O., Skovhede, Kenneth & Vinter, Brian, 2019, Communicating Process Architectures 2017 and 2018, WoTUG-39 and WoTUG-40 - Proceedings of CPA 2017 (WoTUG-39) and Proceedings of CPA 2018 (WoTUG-40). Pedersen, J. B., Chalmers, K., Broenink, J. F., Vinter, B., Vella, K., Welch, P. H., Smith, M. L. & Skovhede, K. (eds.). IMIA and IOS Press, p. 415-430 16 p. (Concurrent Systems Engineering Series, Vol. 70).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  8. 2016
  9. Published

    Broadcasting in CSP-Style Programming

    Vinter, Brian, Skovhede, Kenneth & Larsen, M. O., 21 Aug 2016, Communicating Process Architectures 2016: The 38th. WoTUG conference on concurrent and parallel systems. Chalmers, K. & Pedersen, J. B. (eds.). Niels Bohr Institute ed. København, p. 99-108

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  10. Published

    Current Status and Directions for the Bohrium Runtime System: 19th Workshop on Compilers for Parallel Computing, July 6-8 2016, Valladolid, Spain

    Larsen, M. O., Skovhede, Kenneth, Kristensen, M. R. B. & Vinter, Brian, 6 Jul 2016, Valladolid, Spain

    Research output: Other contributionResearch

  11. Published

    NumCIL and Bohrium: High Productivity and High Performance

    Skovhede, Kenneth & Lund, S. A. F., 2 Apr 2016, In : Lecture notes in computer science. 9574, p. 166-175

    Research output: Contribution to journalConference articleResearchpeer-review

  12. Published

    Building hardware from C models

    Skovhede, Kenneth & Vinter, Brian, 2016, FSP 2016; Third International Workshop on FPGAs for Software Programmers; Proceedings of. p. 1-9 9 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Previous 1 2 3 Next

ID: 19872855