Mrunal Patel

According to our database, Mrunal Patel authored at least 6 papers between 2013 and 2021.

Collaborative distances:

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

2021

Practical Model Checking on FPGAs.

Shenghsun Cho, Mrunal Patel, Michael Ferdman, Peter A. Milder

ACM Trans. Reconfigurable Technol. Syst., 2021

2019

Runtime-Programmable Pipelines for Model Checkers on FPGAs.

Mrunal Patel, Shenghsun Cho, Michael Ferdman, Peter A. Milder

Proceedings of the 29th International Conference on Field Programmable Logic and Applications, 2019

2018

A Full-System VM-HDL Co-Simulation Framework for Servers with PCIe-Connected FPGAs.

Shenghsun Cho, Mrunal Patel, Han Chen, Michael Ferdman, Peter A. Milder

Proceedings of the 2018 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, 2018

2017

Automated cleaning of wind turbine blades with no downtime.

Dipankar Deb, Mrunal Patel, Himmat Singh

Proceedings of the IEEE International Conference on Industrial Technology, 2017

Micro-controller driven wind turbine blade cleaning peripheries.

Nisarg Brahmbhatt, Mrunal Patel, Dipankar Deb

Proceedings of the 2017 International Conference on Advances in Computing, 2017

2013

Villains, architects and micro-managers: what tabula rasa teaches us about game orchestration.

T. C. Nicholas Graham, Irina Schumann, Mrunal Patel, Quentin Bellay, Raimund Dachselt

Proceedings of the 2013 ACM SIGCHI Conference on Human Factors in Computing Systems, 2013