( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Explaining Unsolvability of Planning Problems in Hybrid Systems with Model Reconciliation.

, , и . MEMOCODE, стр. 47-58. ACM / IEEE, (2023)

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

 

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

Efficient Generation of Dilution Gradients With Digital Microfluidic Biochips., , , , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 38 (5): 874-887 (2019)Reliability Hardening Mechanisms in Cyber-Physical Digital-Microfluidic Biochips., , , , и . ACM J. Emerg. Technol. Comput. Syst., 14 (3): 34:1-34:22 (2018)Test generation games from formal specifications., , , , и . DAC, стр. 827-832. ACM, (2006)Performance Attacks on Branch Predictors in Embedded Processors with SMT Support., , , и . ICISS, том 10717 из Lecture Notes in Computer Science, стр. 313-322. Springer, (2017)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)A Dynamic Assertion-Based Verification Platform for Validation of UML Designs., , , , , и . ATVA, том 5311 из Lecture Notes in Computer Science, стр. 222-227. Springer, (2008)Multitask Scheduling of Computer Vision Workload on Edge Graphical Processing Units., , , , , и . COMSNETS, стр. 588-593. IEEE, (2023)Debugging Errors in Microfluidic Executions., , и . ACSS (2), том 996 из Advances in Intelligent Systems and Computing, стр. 143-158. Springer, (2019)Flexible Droplet Routing in Active Matrix-Based Digital Microfluidic Biochips., , , , , , и . ACM Trans. Design Autom. Electr. Syst., 23 (3): 37:1-37:25 (2018)