( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Mangrove: An Inference-Based Dynamic Invariant Mining for GPU Architectures.

, , , , и . IEEE Trans. Computers, 69 (4): 606-620 (2020)

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.

Nicola Galabaroff

Rudolf Nicola

Nicola Damianoff

Nicola Degen

Nicola Mende

 

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

Correct-by-construction generation of device drivers based on RTL testbenches., , , и . DATE, стр. 1500-1505. IEEE, (2009)A SystemC Platform for Signal Transduction Modelling and Simulation in Systems Biology., , , , и . ACM Great Lakes Symposium on VLSI, стр. 233-236. ACM, (2015)CUBE: A CUDA Approach for Bucket Elimination on GPUs., , и . ECAI, том 285 из Frontiers in Artificial Intelligence and Applications, стр. 125-132. IOS Press, (2016)Hybrid, Incremental Assertion-Based Verification for TLM Design Flows., , , и . IEEE Des. Test Comput., 24 (2): 140-152 (2007)cuRnet: an R package for graph traversing on GPU., , , , , , , , , и . BMC Bioinform., 19-S (10): 221-230 (2018)FAST: An RTL Fault Simulation Framework based on RTL-to-TLM Abstraction., , и . J. Electron. Test., 28 (4): 495-510 (2012)An Efficient Implementation of the Bellman-Ford Algorithm for Kepler GPU Architectures., и . IEEE Trans. Parallel Distributed Syst., 27 (8): 2222-2233 (2016)FAST-GP: An RTL functional verification framework based on fault simulation on GP-GPUs., , и . DATE, стр. 562-565. IEEE, (2012)On the Load Balancing Techniques for GPU Applications Based on Prefix-Scan., и . MCSoC, стр. 88-95. IEEE Computer Society, (2015)Exploiting GPU architectures for dynamic invariant mining., , , , и . ICCD, стр. 192-195. IEEE Computer Society, (2015)