Mayank Manjrekar

According to our database, Mayank Manjrekar authored at least 4 papers between 2012 and 2022.

Collaborative distances:

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

2022

Formal Verification of a Chained Multiply-Add Design: Combining Theorem Proving and Equivalence Checking.

David M. Russinoff, Javier D. Bruguera, Cuong Chau, Mayank Manjrekar, Nicholas Pfister, Harsha Valsaraju

Proceedings of the 29th IEEE Symposium on Computer Arithmetic, 2022

2020

A Mean Field Game Approach to Scheduling in Cellular Systems.

Mayank Manjrekar, Vinod Ramaswamy, Vamseedhar Reddyvari Raja, Srinivas Shakkottai

IEEE Trans. Control. Netw. Syst., 2020

2014

A mean field game approach to scheduling in cellular systems.

Mayank Manjrekar, Vinod Ramaswamy, Srinivas Shakkottai

Proceedings of the 2014 IEEE Conference on Computer Communications, 2014

2012

Harnessing multiple wireless interfaces for guaranteed QoS in proximate P2P networks.

Navid Abedini, Mayank Manjrekar, Srinivas Shakkottai, Libin Jiang

Proceedings of the 2012 1st IEEE International Conference on Communications in China (ICCC), 2012