Mahesh Nanjundappa

Publication Activity (10 Years)

Years Active: 2010-2014
Publications (10 Years): 0

Top Topics

Partial Ordering

Signature Verification

Top Venues

Publications

Mahesh Nanjundappa, Sandeep K. Shukla
Compiling polychronous programs into conditional partial orders for ASIP synthesis. FormaliSE (2014)
Mahesh Nanjundappa, Sandeep K. Shukla
Verification of unit and dimensional consistencies in polychronous specifications. FDL (2014)
Mahesh Nanjundappa, Matthew Kracht, Julien Ouy, Sandeep Kumar Shukla
A New Multi-threaded Code Synthesis Methodology and Tool for Correct-by-Construction Synthesis from Polychronous Specifications. ACSD (2013)
Mahesh Nanjundappa, Anirudh M. Kaushik, Hiren D. Patel, Sandeep K. Shukla
Accelerating SystemC simulations using GPUs. HLDVT (2012)
Mahesh Nanjundappa, Hiren D. Patel, Bijoy Antony Jose, Sandeep K. Shukla
SCGPSim: a fast SystemC simulator on GPUs. ASP-DAC (2010)