Author of the publication

System-level Linking of Synthesised Hardware and Compiled Software Using a Higher-order Type System.

, , , and . FPGA, page 214-217. ACM, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Injecting FPGA Configuration Faults in Parallel., and . FPT, page 198-205. IEEE, (2018)Accelerating Position-Aware Top-k ListNet for Ranking Under Custom Precision Regimes., , , , and . FPL, page 81-87. IEEE, (2019)Hardware Acceleration of Matrix Multiplication over Small Prime Finite Fields., and . ARC, volume 7806 of Lecture Notes in Computer Science, page 103-114. Springer, (2013)System-level Linking of Synthesised Hardware and Compiled Software Using a Higher-order Type System., , , and . FPGA, page 214-217. ACM, (2015)Termination detection for fine-grained message-passing architectures., , , , , , , , and . ASAP, page 17-24. IEEE, (2020)Efficient Memory Arbitration in High-Level Synthesis From Multi-Threaded Code., , , , , and . IEEE Trans. Computers, 71 (4): 933-946 (2022)General hardware multicasting for fine-grained message-passing architectures., , , , , , , , and . PDP, page 126-133. IEEE, (2021)FPGA based control for real time systems., and . FPL, page 1-2. IEEE, (2013)Heterogeneous Heartbeats: A framework for dynamic management of Autonomous SoCs., and . FPL, page 1-6. IEEE, (2014)PushPush: Seamless integration of hardware and software objects via function calls over AXI., , , , and . FPL, page 1-8. IEEE, (2015)