( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability Solving.

, , , , , , и . MILCOM, стр. 944-949. 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.

Rickard Stridh

 

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

Construction of Latency-Bounded Clock Trees., , и . ISPD, стр. 81-88. ACM, (2016)A Useful Skew Tree Framework for Inserting Large Safety Margins., и . ISPD, стр. 85-92. ACM, (2015)On the Robustness of AlphaFold: A COVID-19 Case Study., , , , , , , и . CoRR, (2023)XMAP: Programming Memristor Crossbars for Analog Matrix-Vector Multiplication: Toward High Precision Using Representable Matrices., , , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 41 (6): 1827-1841 (2022)Towards Resilient Deployment of In-Memory Neural Networks with High Throughput., и . DAC, стр. 1081-1086. IEEE, (2021)Automated Synthesis for In-Memory Computing., , , и . ICCAD, стр. 1-9. IEEE, (2023)Delay-driven layer assignment for advanced technology nodes., , , , , и . ASP-DAC, стр. 456-462. IEEE, (2017)Latency constraint guided buffer sizing and layer assignment for clock trees with useful skew., , и . ASP-DAC, стр. 761-766. ACM, (2019)Noise Injection Adaption: End-to-End ReRAM Crossbar Non-ideal Effect Adaption for Neural Network Mapping., , , , и . DAC, стр. 57. ACM, (2019)Computational Restructuring: Rethinking Image Processing using Memristor Crossbar Arrays., , и . DATE, стр. 1594-1597. IEEE, (2020)