Kenneth Skovhede
Adjunkt
Programming Languages and Theory of Computing
Universitetsparken 5, Bygning B, 2100 København Ø
- 2019
- Udgivet
Building hardware from C# models
Skovhede, Kenneth & Vinter, B., 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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Big data analysis with skeletons on SOFA
Skovhede, Kenneth & Vinter, B., 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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Evaluating CSP as a programming model to build distributed systems
Skovhede, Kenneth & Vinter, B., 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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Implementing a transputer for FPGA in less than 800 lines of code
Johnsen, Carl-Johannes, Skovhede, Kenneth, Vinter, B., 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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Teaching Concurrent and Distributed Programming With Concepts Over Mathematical Proofs
Marchant, David Gray, Johnsen, Carl-Johannes, Vinter, B. & Skovhede, Kenneth, 2019, 2019 IEEE/ACM Workshop on Education for High-Performance Computing (EduHPC). Denver, USA: IEEE, 9 s. 19243789Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Towards automatic program specification using SME models
Thegler, A., Larsen, M. O., Skovhede, Kenneth & Vinter, B., 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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2016
- Udgivet
Broadcasting in CSP-Style Programming
Vinter, B., 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. (red.). Niels Bohr Institute udg. København, s. 99-108Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
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, B., 6 jul. 2016, Valladolid, SpainPublikation: Andet › Andet bidrag › Forskning
- Udgivet
NumCIL and Bohrium: High Productivity and High Performance
Skovhede, Kenneth & Lund, S. A. F., 2 apr. 2016, I : Lecture notes in computer science. 9574, s. 166-175Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › fagfællebedømt
- Udgivet
Building hardware from C models
Skovhede, Kenneth & Vinter, B., 2016, FSP 2016; Third International Workshop on FPGAs for Software Programmers; Proceedings of. s. 1-9 9 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
ID: 19872855
Flest downloads
-
1797
downloads
Doubling the Performance of Python/NumPy with less than 100 SLOC
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Udgivet -
68
downloads
Broadcasting in CSP-Style Programming
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Udgivet