( en | de | ru )

 

Disambiguation of "Singh, Gaurav"

Author of the publication

copydeleteadd this publication to your clipboard
Model Checking Bluespec Specified Hardware Designs.

, and . MTV, page 39-43. IEEE Computer Society, (2007)

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.

Gaurav Aggarwal

Gaurav Dhiman

Gaurav Baruah

Gaurav Gupta

Gaurav Sharma

 

Other publications of authors with the same name

Improving keyphrase extraction by using document topic information., and . GrC, page 463-467. IEEE Computer Society, (2011)A Formally Verified Peak-Power Reduction Technique for Hardware Synthesis from Concurrent Action-Oriented Specifications., , and . J. Low Power Electron., 5 (2): 135-144 (2009)Fast and robust visual SLAM for dynamic environments. Nanyang Technological University, Singapore, (2022)X-Gene™: 64-bit ARM CPU and SoC., , and . Hot Chips Symposium, page 1-19. IEEE, (2012)Multimodal Brain Tumor Segmentation Using Modified UNet Architecture., and . BrainLes@MICCAI (1), volume 12962 of Lecture Notes in Computer Science, page 295-305. Springer, (2021)A 3-10GHz 21.5mW/Channel RX and 8.9mW TX IR-UWB 802.15.4a/z 1T3R Transceiver., , , , , , , , , and 16 other author(s). ESSCIRC, page 421-424. IEEE, (2022)Revisiting Visual Odometry for Real-Time Performance., , and . MVA, page 1-6. IEEE, (2019)IoT Based System for Smart Policing in India., , , and . ICCCNT, page 1-6. IEEE, (2021)Parameter estimation and modeling of a pneumatic continuum manipulator with asymmetric building blocks., , and . RoboSoft, page 528-533. IEEE, (2018)Low-power hardware synthesis from TRS-based specifications., and . MEMOCODE, page 49-58. IEEE Computer Society, (2006)