Kenneth Skovhede

Kenneth Skovhede

Adjunkt


  1. 2019
  2. Udgivet

    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. (red.). VDE Verlag GmbH, s. 57-65 9 s. (3rd International Workshop on FPGAs for Software Programmers, FSP 2016, co-located with International Conference on Field Programmable Logic and Applications, FPL 2016).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  3. Udgivet

    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. (red.). IMIA and IOS Press, s. 5-17 13 s. (Concurrent Systems Engineering Series, Bind 70).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  4. Udgivet

    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. (red.). IMIA and IOS Press, s. 451-461 11 s. (Concurrent Systems Engineering Series, Bind 70).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  5. Udgivet

    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. (red.). IMIA and IOS Press, s. 559-578 20 s. (Concurrent Systems Engineering Series, Bind 70).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  6. Udgivet

    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 s. 19243789

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  7. Udgivet

    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. (red.). IMIA and IOS Press, s. 415-430 16 s. (Concurrent Systems Engineering Series, Bind 70).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

ID: 19872855