• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 20 matches

• 2020
• 
  Karthik V. Aadithya, Paul Kuberry, Biliana S. Paskaleva, Pavel B. Bochev, K. Leeson, A. Mar, Ting Mei, Eric R. Keiter:
  Data-driven Compact Models for Circuit Design and Analysis. MSML 2020: 555-569
• 
  Karthik V. Aadithya, Paul Kuberry, Biliana S. Paskaleva, Pavel B. Bochev, K. Leeson, A. Mar, Ting Mei, Eric R. Keiter:
  Development, Demonstration, and Validation of Data-driven Compact Diode Models for Circuit Simulation and Analysis. CoRR abs/2001.01699 (2020)
• 2017
• 
  Karthik V. Aadithya, Eric R. Keiter, Ting Mei:
  DAGSENS: Directed acyclic graph based direct and adjoint transient sensitivity analysis for event-driven objective functions. ICCAD 2017: 155-162
• 2016
• 
  Karthik Venkatraman Aadithya:
  Accurate Booleanization of Continuous Dynamics for Analog/Mixed-Signal Design. University of California, Berkeley, USA, 2016
• 2015
• 
  Aadithya V. Karthik, Sayak Ray, Jaijeet Roychowdhury:
  BEE: Predicting realistic worst case and stochastic eye diagrams by accounting for correlated bitstreams and coding strategies. ASP-DAC 2015: 366-371
• 
  Tianshi Wang, Aadithya V. Karthik, Bichen Wu, Jian Yao, Jaijeet Roychowdhury:
  MAPP: The Berkeley Model and Algorithm Prototyping Platform. CICC 2015: 1-8
• 
  Tianshi Wang, Aadithya V. Karthik, Bichen Wu, Jaijeet Roychowdhury:
  Poster: MAPP: The Berkeley Model and Algorithm Prototyping Platform. ICSE (2) 2015: 825-826
• 2014
• 
  Aadithya V. Karthik, Sayak Ray, Pierluigi Nuzzo, Alan Mishchenko, Robert K. Brayton, Jaijeet Roychowdhury:
  ABCD-NL: Approximating Continuous non-linear dynamical systems using purely Boolean models for analog/mixed-signal verification. ASP-DAC 2014: 250-255
• 
  Aadithya V. Karthik, David Soloveichik, Sayak Ray, Baruch Sterin, Alan Mishchenko, Robert K. Brayton, Jaijeet Roychowdhury:
  NINJA: boolean modelling and formal verification of tiered-rate chemical reaction networks (extended abstract). BCB 2014: 623-624
• 
  Tomasz Pawel Michalak, Aadithya V. Karthik, Piotr L. Szczepanski, Balaraman Ravindran, Nicholas R. Jennings:
  Efficient Computation of the Shapley Value for Game-Theoretic Network Centrality. CoRR abs/1402.0567 (2014)
• 2013
• 
  Tomasz P. Michalak, Aadithya V. Karthik, Piotr L. Szczepanski, Balaraman Ravindran, Nicholas R. Jennings:
  Efficient Computation of the Shapley Value for Game-Theoretic Network Centrality. J. Artif. Intell. Res. 46: 607-650 (2013)
• 
  Aadithya V. Karthik, Alper Demir, Sriramkumar Venugopalan, Jaijeet S. Roychowdhury:
  Accurate Prediction of Random Telegraph Noise Effects in SRAMs and DRAMs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 32(1): 73-86 (2013)
• 
  Aadithya V. Karthik, Jaijeet S. Roychowdhury:
  ABCD-L: approximating continuous linear systems using boolean models. DAC 2013: 63:1-63:9
• 2012
• 
  Aadithya V. Karthik, Jaijeet S. Roychowdhury:
  DAE2FSM: automatic generation of accurate discrete-time logical abstractions for continuous-time circuit dynamics. DAC 2012: 311-316
• 
  Aadithya V. Karthik, Yingyan Lin, Chenjie Gu, Aolin Xu, Jaijeet S. Roychowdhury, Naresh R. Shanbhag:
  A fully automated technique for constructing FSM abstractions of non-ideal latches in communication systems. ICASSP 2012: 5289-5292
• 2011
• 
  Aadithya V. Karthik, Tomasz P. Michalak, Nicholas R. Jennings:
  Representation of coalitional games with algebraic decision diagrams. AAMAS 2011: 1121-1122
• 
  Aadithya V. Karthik, Sriramkumar Venugopalan, Alper Demir, Jaijeet S. Roychowdhury:
  MUSTARD: a coupled, stochastic/deterministic, discrete/continuous technique for predicting the impact of random telegraph noise on SRAMs and DRAMs. DAC 2011: 292-297
• 
  Aadithya V. Karthik, Alper Demir, Sriramkumar Venugopalan, Jaijeet S. Roychowdhury:
  SAMURAI: An accurate method for modelling and simulating non-stationary Random Telegraph Noise in SRAMs. DATE 2011: 1113-1118
• 2010
• 
  Aadithya V. Karthik, Balaraman Ravindran:
  Game theoretic network centrality: exact formulas and efficient algorithms. AAMAS 2010: 1459-1460
• 
  Aadithya V. Karthik, Balaraman Ravindran, Tomasz P. Michalak, Nicholas R. Jennings:
  Efficient Computation of the Shapley Value for Centrality in Networks. WINE 2010: 1-13