Author of the publication

Implementing an Efficient Path Based Equivalence Checker for Parallel Programs.

, and . SEM4HPC@HPDC, page 3-10. ACM, (2016)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Multiple Criteria Analysis Based Robot Selection for Material Handling: A De Novo Approach., , and . ICITAM, volume 863 of Studies in Computational Intelligence, page 538-548. Springer, (2019)Implementing an Efficient Path Based Equivalence Checker for Parallel Programs., and . SEM4HPC@HPDC, page 3-10. ACM, (2016)Designing a Vision Transformer based Enhanced Text Extractor for Product Images., , , , and . COMAD/CODS, page 208-212. ACM, (2023)Optimizing Deep Learning RNN Topologies on Intel Architecture., , , , , , and . Supercomput. Front. Innov., 6 (3): 64-85 (2019)Exploring Alternatives to Softmax Function., , , , , and . CoRR, (2020)From Pixels to Words: A Scalable Journey of Text Information from Product Images to Retail Catalog., , , , , , and . CIKM, page 3787-3795. ACM, (2021)Designing, Developing and Deploying an Enterprise Scale Network Monitoring System., , , , and . ISEC, page 18:1-18:5. ACM, (2022)A Value Propagation Based Equivalence Checking Method for Verification of Code Motion Techniques., , , and . ISED, page 67-71. IEEE, (2012)Designing DPA Resistant Circuits Using BDD Architecture and Bottom Pre-charge Logic., , , and . DSD, page 641-644. IEEE Computer Society, (2013)A translation validation framework for symbolic value propagation based equivalence checking of FSMDAs., , and . SCAM, page 247-252. IEEE Computer Society, (2015)