Concepedia

Kartik Ramkrishnan

KR

4

Publications

123

Citations

4

H-Index

2013

Active since

Affiliations

University of Minnesota System(Current)

University of Minnesota

Georgia Institute of Technology

University of California San Diego

Kartik Ramkrishnan is an author at University of Minnesota System specializing in computer science, computer architecture, and hardware security.

Top concepts

EngineeringFormal MethodsSoftware DesignComputer ScienceProgram AnalysisHardware SecurityParallel ComputingFormal VerificationComputer EngineeringApproximate Computing

Publications per year

2013–2015

4

Publications

4

Axilog: language support for approximate hardware design

Amir Yazdanbakhsh, Divya Mahajan, Bradley Thwaites et al. · Design, Automation, and Test in Europe · 2015 · 44 citations

Hardware Modeling, Engineering, Hardware Verification Language +21

Axilog: Language Support for Approximate Hardware Design

Amir Yazdanbakhsh, Divya Mahajan, Bradley Thwaites et al. · Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015 · 2015 · 42 citations

Spatiotemporal Evolution and Prediction of [Ca<sup>2+</sup>]<sub>i</sub> and APD Alternans in Isolated Rabbit Hearts

Ramjay Visweswaran, Stephen D. McIntyre, Kartik Ramkrishnan et al. · Journal of Cardiovascular Electrophysiology · 2013 · 23 citations

Axilog: Abstractions for Approximate Hardware Design and Reuse

Divya Mahajan, Kartik Ramkrishnan, Rudra Jariwala et al. · IEEE Micro · 2015 · 14 citations

Hardware Modeling, Engineering, Hardware Verification Language +22

Rows per page

1–4 of 4