Mahesh Nanjundappa

According to our database, Mahesh Nanjundappa authored at least 6 papers between 2010 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Formal Techniques for Design and Development of Safety Critical Embedded Systems from Polychronous Models.

Mahesh Nanjundappa

PhD thesis, 2015

2014

Compiling polychronous programs into conditional partial orders for ASIP synthesis.

Mahesh Nanjundappa, Sandeep K. Shukla

Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, 2014

Verification of unit and dimensional consistencies in polychronous specifications.

Mahesh Nanjundappa, Sandeep K. Shukla

Proceedings of the 2014 Forum on Specification and Design Languages, 2014

2013

A New Multi-threaded Code Synthesis Methodology and Tool for Correct-by-Construction Synthesis from Polychronous Specifications.

Mahesh Nanjundappa, Matthew Kracht, Julien Ouy, Sandeep Kumar Shukla

Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013

2012

Accelerating SystemC simulations using GPUs.

Mahesh Nanjundappa, Anirudh M. Kaushik, Hiren D. Patel, Sandeep K. Shukla

Proceedings of the 2012 IEEE International High Level Design Validation and Test Workshop, 2012

2010

SCGPSim: a fast SystemC simulator on GPUs.

Mahesh Nanjundappa, Hiren D. Patel, Bijoy Antony Jose, Sandeep K. Shukla

Proceedings of the 15th Asia South Pacific Design Automation Conference, 2010