Prabhat Jain

According to our database, Prabhat Jain authored at least 10 papers between 1992 and 2013.

Collaborative distances:

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

2013

Refrint: Intelligent refresh to minimize power in on-chip multiprocessor cache hierarchies.

Aditya Agrawal, Prabhat Jain, Amin Ansari, Josep Torrellas

Proceedings of the 19th IEEE International Symposium on High Performance Computer Architecture, 2013

2011

Reconstructing Hardware Transactional Memory for Workload Optimized Systems.

Kunal Korgaonkar, Prabhat Jain, Deepak Tomar, Kashyap Garimella, Veezhinathan Kamakoti

Proceedings of the Advanced Parallel Processing Technologies - 9th International Symposium, 2011

2008

Software-assisted cache mechanisms for embedded systems.

Prabhat Jain

PhD thesis, 2008

2003

Embedded intelligent SRAM.

Prabhat Jain, G. Edward Suh, Srinivas Devadas

Proceedings of the 40th Design Automation Conference, 2003

2001

Software-Assisted Cache Replacement Mechanisms for Embedded Systems.

Prabhat Jain, Srinivas Devadas, Daniel W. Engels, Larry Rudolph

Proceedings of the 2001 IEEE/ACM International Conference on Computer-Aided Design, 2001

2000

Application-specific memory management for embedded systems using software-controlled caches.

Derek Chiou, Prabhat Jain, Larry Rudolph, Srinivas Devadas

Proceedings of the 37th Conference on Design Automation, 2000

1994

Efficient symbolic simulation-based verification using the parametric form of Boolean expressions.

Prabhat Jain, Ganesh Gopalakrishnan

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1994

1993

Hierarchical Constraint Solving in the Parametric Form with Applications to Efficient Symbolic Simulation Based Verification.

Prabhat Jain, Ganesh Gopalakrishnan

Proceedings of the Proceedings 1993 International Conference on Computer Design: VLSI in Computers & Processors, 1993

1992

Some Techniques for Efficient Symbolic Simulation-Based Verification.

Prabhat Jain, Ganesh Gopalakrishnan

Proceedings of the Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1992

Towards a Verification Technique for Large Synchronous Circuits.

Prabhat Jain, Prabhakar Kudva, Ganesh Gopalakrishnan

Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992