( en | de | ru )

 

Disambiguation of "Pradhan, Dhiraj K."

Author of the publication

copydeleteadd this publication to your clipboard
Novel Verification Framework Combining Structural and OBDD Methods in a Synthesis Environment.

, , and . DAC, page 414-419. ACM Press, (1995)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Prakash Pradhan

Merina Pradhan

Swapna Pradhan

Anup Pradhan

Amir Man Pradhan

 

Other publications of authors with the same name

The De Bruijn Multiprocessor Network: A Versatile Parallel Processing and Sorting Network for VLSI., and . IEEE Trans. Computers, 38 (4): 567-581 (1989)Correction: IEEE Transactions on Computers 41(1): 122-123 (1991).A Fault Tolerant Hybrid Memory Structure and Memory Management Algorithms., and . IEEE Trans. Computers, 44 (3): 408-418 (1995)Roll-Forward and Rollback Recovery: Performance-Reliability Trade-Off., and . IEEE Trans. Computers, 46 (3): 372-378 (1997)Modeling Live and Dead Lines in Cache Memory Systems., , and . IEEE Trans. Computers, 42 (1): 1-14 (1993)Design and Analysis of a Gracefully Degrading Interleaved Memory System., , , and . IEEE Trans. Computers, 39 (1): 63-71 (1990)Store Address Generator with On-Line Fault-Detection Capability., , and . IEEE Trans. Computers, 26 (11): 1144-1151 (1977)The Effect of Program Behavior on Fault Observability., and . IEEE Trans. Computers, 45 (8): 868-880 (1996)RTRAM: Reconfigurable and Testable Multi-Bit RAM Design., and . ITC, page 263-278. IEEE Computer Society, (1988)ULS: A dual-Vth/high-kappa nano-CMOS universal level shifter for system-level power management., and . JETC, 6 (2): 8:1-8:26 (2010)Roll-Forward Checkpointing Schemes., , and . Hardware and Software Architectures for Fault Tolerance, volume 774 of Lecture Notes in Computer Science, page 95-116. Springer, (1993)