Mrunal Patel

Orcid: 0000-0002-1517-3129

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Practical Model Checking on FPGAs.
ACM Trans. Reconfigurable Technol. Syst., 2021

2019
Runtime-Programmable Pipelines for Model Checkers on FPGAs.
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.
Proceedings of the 2018 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, 2018

2017
Automated cleaning of wind turbine blades with no downtime.
Proceedings of the IEEE International Conference on Industrial Technology, 2017

Micro-controller driven wind turbine blade cleaning peripheries.
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.
Proceedings of the 2013 ACM SIGCHI Conference on Human Factors in Computing Systems, 2013


  Loading...