Author of the publication

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

Reliable scalable symbolic computation: The design of SymGridPar2., , and . Comput. Lang. Syst. Struct., 40 (1): 19-35 (2014)Verifying parallel dataflow transformations with model checking and its application to FPGAs., , , , , and . J. Syst. Archit., (2019)A Dataflow IR for Memory Efficient RIPL Compilation to FPGAs., , , , and . ICA3PP Workshops, volume 10049 of Lecture Notes in Computer Science, page 174-188. Springer, (2016)Design-Space Exploration of Quantized Transposed Convolutional Neural Networks for FPGA-based Systems-on-Chip., , and . DASC/PiCom/CBDCom/CyberSciTech, page 1-6. IEEE, (2022)Profile driven dataflow optimisation of mean shift visual tracking., , , , and . GlobalSIP, page 1-5. IEEE, (2014)Demonstrating SerenA: Chance Encounters in the Space of Ideas., , , , , , , , , and . PAAMS, 7879, page 275-278. Springer, (2013)Time-Resolved Infrared Spectroscopy Directly Probes Free and Trapped Carriers in Organo-Halide Perovskites, , , , and . ACS Energy Letters, 0 (0): 651-658 (0)Customer control of network services., , and . IEEE Commun. Mag., 22 (10): 8-14 (1984)Reliable massively parallel symbolic computing: fault tolerance for a distributed Haskell.. Heriot-Watt University, Edinburgh, UK, (2013)British Library, EThOS.Logic of Differentiable Logics: Towards a Uniform Semantics of DL., , , , and . LPAR, volume 94 of EPiC Series in Computing, page 473-493. EasyChair, (2023)