Travelled to:1 × Israel
1 × Italy
1 × Poland
2 × France
6 × USA
Collaborated with:R.Fraer M.Y.Vardi L.Fix O.Weissberg E.Copty S.Novakovsky M.K.Mhameed P.Babighian A.Novakovsky A.Tiemeyer A.Wolffberg S.Hazelhurst M.Glusman S.Mador-Haim K.Fisler Z.Yang B.Ziv F.Copty E.Giunchiglia A.Tacchella S.Miller S.B.Mentor W.Nebel Y.C.Wong J.Karmann E.Macii S.V.Kosonocky S.Curtis
Talks about:power (4) analysi (3) effici (3) architectur (2) transact (2) industri (2) statist (2) design (2) verif (2) micro (2)
Person: Gila Kamhi
DBLP: Kamhi:Gila
Contributed to:
2011200920082007
2007
20032002
2001200120001997Wrote 11 papers:
- DAC-2011-CoptyKN #analysis #architecture #performance #statistics #transaction
- Transaction level statistical analysis for efficient micro-architectural power and performance studies (EC, GK, SN), pp. 351–356.
- DAC-2009-KamhiNTW #analysis #architecture #named #statistics #transaction
- MAGENTA: transaction-based statistical micro-architectural root-cause analysis (GK, AN, AT, AW), pp. 639–643.
- DAC-2008-FraerKM #paradigm #synthesis
- A new paradigm for synthesis and propagation of clock gating conditions (RF, GK, MKM), pp. 658–663.
- DAC-2007-KamhiMMNWKMKC #design #power management #question #validation
- Early Power-Aware Design & Validation: Myth or Reality? (GK, SM, SBM, WN, YCW, JK, EM, SVK, SC), pp. 210–211.
- DATE-2007-BabighianKV #data mining #interactive #mining #optimisation
- Interactive presentation: PowerQuest: trace driven data mining for power optimization (PB, GK, MYV), pp. 1078–1083.
- TACAS-2003-GlusmanKMFV #abstraction #evaluation #industrial #multi #refinement
- Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation (MG, GK, SMH, RF, MYV), pp. 176–191.
- DAC-2002-HazelhurstWKF #approach #design #hybrid #verification
- A hybrid verification approach: getting deep into the design (SH, OW, GK, LF), pp. 111–116.
- CAV-2001-CoptyFFGKTV #bound #industrial #model checking
- Benefits of Bounded Model Checking at an Industrial Setting (FC, LF, RF, EG, GK, AT, MYV), pp. 436–453.
- TACAS-2001-FislerFVY #algorithm #detection #question
- Is There a Best Symbolic Cycle-Detection Algorithm? (KF, RF, GK, MYV, ZY), pp. 420–434.
- CAV-2000-FraerKZVF #analysis #performance #reachability #traversal #verification
- Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification (RF, GK, BZ, MYV, LF), pp. 389–402.
- CAV-1997-KamhiWF #automation #performance
- Automatic Datapath Extraction for Efficient Usage of HDD (GK, OW, LF), pp. 95–106.