From post

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.

 

Другие публикации лиц с тем же именем

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