( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Backward Reasoning with Formal Properties: A Methodology for Bug Isolation on Simulation Traces.

, , , и . Asian Test Symposium, стр. 238-243. IEEE Computer Society, (2011)

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.

Abhishek Banerjee

Prabuddha Banerjee

Mita Banerjee

Nandakishore Banerjee

Ishan Banerjee

 

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

On reliability hardening in cyber-physical digital-microfluidic biochips., , , , , и . ASP-DAC, стр. 518-523. IEEE, (2017)Efficient Generation of Dilution Gradients With Digital Microfluidic Biochips., , , , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 38 (5): 874-887 (2019)A Dynamic Assertion-Based Verification Platform for Validation of UML Designs., , , , , и . ATVA, том 5311 из Lecture Notes in Computer Science, стр. 222-227. Springer, (2008)Triforce QNX Syscall Fuzzer., , и . ISSRE Workshops, стр. 59-60. IEEE, (2019)Reliability Hardening Mechanisms in Cyber-Physical Digital-Microfluidic Biochips., , , , и . ACM J. Emerg. Technol. Comput. Syst., 14 (3): 34:1-34:22 (2018)Prioritized Fault Recovery Strategies for Multi-Access Edge Computing Using Probabilistic Model Checking., и . IEEE Trans. Dependable Secur. Comput., 20 (1): 797-812 (2023)Approximate computing for multithreaded programs in shared memory architectures., , и . MEMOCODE, стр. 11:1-11:9. ACM, (2019)Multitask Scheduling of Computer Vision Workload on Edge Graphical Processing Units., , , , , и . COMSNETS, стр. 588-593. IEEE, (2023)Correctness Checking of Bio-chemical Protocol Realizations on a Digital Microfluidic Biochip., , , и . VLSID, стр. 504-509. IEEE Computer Society, (2014)Test generation games from formal specifications., , , , и . DAC, стр. 827-832. ACM, (2006)