- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| c19 |      | Eman Copty, Gila Kamhi, Sasha Novakovsky: Transaction level statistical analysis for efficient micro-architectural power and performance studies. DAC 2011: 351-356 |
| 2010 | ||
| c18 | | Pinkesh J. Shah, Yoni Aizik, Muhammad K. Mhameed, Gila Kamhi: Challenges and methodologies for efficient power budgeting across the die. ACM Great Lakes Symposium on VLSI 2010: 317-322 |
| 2009 | ||
| j3 | | Roni Wiener, Gila Kamhi, Moshe Y. Vardi: Intelligate: An Algorithm for Learning Boolean Functions for Dynamic Power Reduction. J. Low Power Electronics 5(1): 106-112 (2009) |
| c17 | | Gila Kamhi, Alexander Novakovsky, Andreas Tiemeyer, Adriana Wolffberg: MAGENTA: transaction-based statistical micro-architectural root-cause analysis. DAC 2009: 639-643 |
| 2008 | ||
| c16 | | Ranan Fraer, Gila Kamhi, Muhammad K. Mhameed: A new paradigm for synthesis and propagation of clock gating conditions. DAC 2008: 658-663 |
| c15 | | Deian Tabakov, Gila Kamhi, Moshe Y. Vardi, Eli Singerman: A Temporal Language for SystemC. FMCAD 2008: 1-9 |
| c14 | | Roni Wiener, Gila Kamhi, Moshe Y. Vardi: Intelligate: Scalable Dynamic Invariant Learning for Power Reduction. PATMOS 2008: 52-61 |
| c13 | | Yoni Aizik, Gila Kamhi, Yael Zbar, Hadas Ronen, Muhammad Abozaed: Power-Aware Design via Micro-architectural Link to Implementation. PATMOS 2008: 72-81 |
| 2007 | ||
| c12 | | Gila Kamhi, Sarah Miller, Stephen Bailey Mentor, Wolfgang Nebel, Y. C. Wong, Juergen Karmann, Enrico Macii, Stephen V. Kosonocky, Steve Curtis: Early Power-Aware Design & Validation: Myth or Reality? DAC 2007: 210-211 |
| c11 | | Pietro Babighian, Gila Kamhi, Moshe Y. Vardi: Interactive presentation: PowerQuest: trace driven data mining for power optimization. DATE 2007: 1078-1083 |
| 2003 | ||
| j2 | | Fady Copty, Amitai Irron, Osnat Weissberg, Nathan P. Kropp, Gila Kamhi: Efficient debugging in a formal verification environment. STTT 4(3): 335-348 (2003) |
| c10 | | Marcelo Glusman, Gila Kamhi, Sela Mador-Haim, Ranan Fraer, Moshe Y. Vardi: Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation. TACAS 2003: 176-191 |
| 2002 | ||
| c9 | | Scott Hazelhurst, Osnat Weissberg, Gila Kamhi, Limor Fix: A hybrid verification approach: getting deep into the design. DAC 2002: 111-116 |
| c8 | | Ranan Fraer, Shahid Ikram, Gila Kamhi, Tim Leonard, Abdel Mokkedem: Accelerated verification of RTL assertions based on satisfiability solvers. HLDVT 2002: 107-110 |
| 2001 | ||
| c7 | | Fady Copty, Limor Fix, Ranan Fraer, Enrico Giunchiglia, Gila Kamhi, Armando Tacchella, Moshe Y. Vardi: Benefits of Bounded Model Checking at an Industrial Setting. CAV 2001: 436-453 |
| c6 | | Fady Copty, Amitai Irron, Osnat Weissberg, Nathan P. Kropp, Gila Kamhi: Efficient Debugging in a Formal Verification Environment. CHARME 2001: 275-292 |
| c5 | | Kathi Fisler, Ranan Fraer, Gila Kamhi, Moshe Y. Vardi, Zijiang Yang: Is There a Best Symbolic Cycle-Detection Algorithm? TACAS 2001: 420-434 |
| 2000 | ||
| c4 | | Ranan Fraer, Gila Kamhi, Barukh Ziv, Moshe Y. Vardi, Limor Fix: Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification. CAV 2000: 389-402 |
| 1999 | ||
| j1 | | Ranan Fraer, Gila Kamhi, Limor Fix, Moshe Y. Vardi: Evaluating Semi-Exhaustive Verification Techniques for Bug Hunting. Electr. Notes Theor. Comput. Sci. 23(2): 11-22 (1999) |
| 1998 | ||
| c3 | | |
| c2 | | Gila Kamhi, Limor Fix: Adaptive variable reordering for symbolic model checking. ICCAD 1998: 359-365 |
| 1997 | ||
| c1 | | Gila Kamhi, Osnat Weissberg, Limor Fix: Automatic Datapath Extraction for Efficient Usage of HDD. CAV 1997: 95-106 |
Colors in the list of coauthors
Last update Sun May 19 03:31:25 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page