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.

 

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

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)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)SystemC Implementation of Stochastic Petri Nets for Simulation and Parameterization of Biological Networks., , , , , , , , и . ACM Trans. Embed. Comput. Syst., 20 (4): 31:1-31:20 (2021)APPAGATO: an APproximate PArallel and stochastic GrAph querying TOol for biological networks., , , , , и . Bioinform., 32 (14): 2159-2166 (2016)A Cross-level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors., , , , , и . ACM Trans. Design Autom. Electr. Syst., 24 (3): 27:1-27:23 (2019)Camera- and Viewpoint-Agnostic Evaluation of Axial Postural Abnormalities in People with Parkinson's Disease through Augmented Human Pose Estimation., , , , , , , , и . Sensors, 23 (6): 3193 (марта 2023)