Concepedia

G. Gopalakrishnan

GG

Statistics

Publications

10

Citations

324

H-Index

10

Active since

1988

Affiliations

University of Utah(Current)

G. Gopalakrishnan is an author at University of Utah specializing in engineering, computer engineering, and computer architecture.

Top concepts

EngineeringComputer EngineeringComputer ScienceComputer ArchitectureParallel ComputingProgram AnalysisSystems EngineeringFormal MethodsHardware SecurityFormal Verification

Publications per year

1988–2004

10

Publications

10

Design and evaluation of the rollback chip: special purpose hardware for Time Warp

R.M. Fujimoto, Jya-Jang Tsai, G. Gopalakrishnan · IEEE Transactions on Computers · 1992 · 91 citations

Engineering, Vlsi Design, Computer Architecture +24

Nemos: a framework for axiomatic and executable specifications of memory consistency models

Yue Yang, G. Gopalakrishnan, Gary Lindstrom et al. · 2004 · 88 citations

Engineering, Verification, Computer Architecture +18

Design and performance of special purpose hardware for time warp

R.M. Fujimoto, Jya-Jang Tsai, G. Gopalakrishnan · ACM SIGARCH Computer Architecture News · 1988 · 25 citations

Engineering, Computer Architecture, Education +24

A correctness criterion for asynchronous circuit validation and optimization

G. Gopalakrishnan, Erik Brunvand, N. Michell et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1994 · 23 citations

Circuit Complexity, Engineering, Verification +20

High-level asynchronous system design using the ACK framework

Hans Jacobson, Erik Brunvand, G. Gopalakrishnan et al. · 2002 · 23 citations

Engineering, Advanced Computing, Real-time System Design +21

1–5 of 10