Author of the publication

On the automatic synthesis of parallel SW from RTL models of hardware IPs.

, , , and . ACM Great Lakes Symposium on VLSI, page 71-74. ACM, (2012)

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

A SystemC Platform for Signal Transduction Modelling and Simulation in Systems Biology., , , , and . ACM Great Lakes Symposium on VLSI, page 233-236. ACM, (2015)Correct-by-construction generation of device drivers based on RTL testbenches., , , and . DATE, page 1500-1505. IEEE, (2009)cuRnet: an R package for graph traversing on GPU., , , , , , , , , and . BMC Bioinform., 19-S (10): 221-230 (2018)An Efficient Implementation of the Bellman-Ford Algorithm for Kepler GPU Architectures., and . IEEE Trans. Parallel Distributed Syst., 27 (8): 2222-2233 (2016)CUBE: A CUDA Approach for Bucket Elimination on GPUs., , and . ECAI, volume 285 of Frontiers in Artificial Intelligence and Applications, page 125-132. IOS Press, (2016)Containerization and Orchestration of Software for Autonomous Mobile Robots: a Case Study of Mixed-Criticality Tasks across Edge-Cloud Computing Platforms., , , and . IROS, page 9708-9713. IEEE, (2022)On the Mutation Analysis of SystemC TLM-2.0 Standard., , and . MTV, page 32-37. IEEE Computer Society, (2009)At-Speed Functional Verification of Programmable Devices., , and . DFT, page 386-394. IEEE Computer Society, (2004)On the Load Balancing Techniques for GPU Applications Based on Prefix-Scan., and . MCSoC, page 88-95. IEEE Computer Society, (2015)Exploiting GPU architectures for dynamic invariant mining., , , , and . ICCD, page 192-195. IEEE Computer Society, (2015)