( en | de | ru )

 

Disambiguation of "Mukherjee, Rajdeep"

Author of the publication

copydeleteadd this publication to your clipboard
Equivalence Checking a Floating-point Unit against a High-level C Model (Extended Version).

, , , , and . CoRR, (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.

Oindrilla Mukherjee

Rick Mukherjee

Vera Mukherjee

Santanu Mukherjee

Dipak Mukherjee

 

Other publications of authors with the same name

Equivalence Checking a Floating-point Unit against a High-level C Model (Extended Version)., , , , and . CoRR, (2016)A Multi-objective Perspective for Operator Scheduling using Fine-grained DVS Architecture, , , and . CoRR, (2013)An Integrated Approach for Fine-Grained Power and Peak Temperature Management During High-Level Synthesis., , , and . J. Low Power Electron., 9 (3): 350-362 (2013)Model checking of global power management strategies in software with temporal logic properties., , and . ISEC, page 29-34. ACM, (2013)User-Assisted Code Query Optimization., , , , and . SOAP@PLDI, page 40-46. ACM, (2023)Equivalence Checking Using Trace Partitioning., , , and . ISVLSI, page 13-18. IEEE Computer Society, (2015)A Language-agnostic Framework for Mining Static Analysis Rules from Code Changes., , , , and . ICSE-SEIP, page 327-339. IEEE, (2023)MILDSum: A Novel Benchmark Dataset for Multilingual Summarization of Indian Legal Case Judgments., , , and . EMNLP, page 5291-5302. Association for Computational Linguistics, (2023)How COVID-19 has Impacted the Anti-Vaccine Discourse: A Large-Scale Twitter Study Spanning Pre-COVID and Post-COVID Era., , , , and . CoRR, (2024)Efficient Verification of Multi-Property Designs (The Benefit of Wrong Assumptions) (Extended Version)., , , and . CoRR, (2017)