Prabhat Jain

Publication Activity (10 Years)

Years Active: 1992-2013
Publications (10 Years): 0

Top Topics

Memory Subsystem

Multiprocessor Systems

Ibm Power Processor

Top Venues

Massachusetts Institute of Technology, Cambridge, MA, USA (PHD)

Education History

Massachusetts Institute of Technology, Cambridge, MA, USA

PHD

Publications

Aditya Agrawal, Prabhat Jain, Amin Ansari, Josep Torrellas
Refrint: Intelligent refresh to minimize power in on-chip multiprocessor cache hierarchies. HPCA (2013)
Kunal Korgaonkar, Prabhat Jain, Deepak Tomar, Kashyap Garimella, Veezhinathan Kamakoti
Reconstructing Hardware Transactional Memory for Workload Optimized Systems. APPT (2011)
Prabhat Jain, G. Edward Suh, Srinivas Devadas
Embedded intelligent SRAM. DAC (2003)
Prabhat Jain, Srinivas Devadas, Daniel W. Engels, Larry Rudolph
Software-Assisted Cache Replacement Mechanisms for Embedded Systems. ICCAD (2001)
Derek Chiou, Prabhat Jain, Larry Rudolph, Srinivas Devadas
Application-specific memory management for embedded systems using software-controlled caches. DAC (2000)
Prabhat Jain, Ganesh Gopalakrishnan
Efficient symbolic simulation-based verification using the parametric form of Boolean expressions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 13 (8) (1994)
Prabhat Jain, Ganesh Gopalakrishnan
Hierarchical Constraint Solving in the Parametric Form with Applications to Efficient Symbolic Simulation Based Verification. ICCD (1993)
Prabhat Jain, Prabhakar Kudva, Ganesh Gopalakrishnan
Towards a Verification Technique for Large Synchronous Circuits. CAV (1992)
Prabhat Jain, Ganesh Gopalakrishnan
Some Techniques for Efficient Symbolic Simulation-Based Verification. ICCD (1992)