Gila Kamhi

29 papers A* 8A 4B 3C 2Misc 1Journal 3Unranked 8
YearRankTypeTitle / Venue / Authors
2024 J jnl
Self-Improving Customer Review Response Generation Based on LLMs.
CoRR
Guy Azov, Tatiana Pelc, Adi Fledel Alon, Gila Kamhi
2020 B conf
Modeling the Effect of Driver's Eye Gaze Pattern Under Workload: Gaussian Mixture Approach.
CogSci
Ron M. Hecht, Ariel Telpaz, Gila Kamhi, Omer Tsimhoni, Aharon Bar-Hillel, Naftali Tishby
2019 Misc conf
Information Constrained Control for Visual Detection of Important Areas.
ICASSP
Ron M. Hecht, Ariel Telpaz, Gila Kamhi, Aharon Bar-Hillel, Naftali Tishby
2019 C conf
Marker-less Vision-based Detection of Improper Seat Belt Routing.
IV
Michael Baltaxe, Ruben Mergui, Kobi Nistel, Gila Kamhi
2018 — conf
An Approach for Measurement of Passenger Comfort: Real-Time Classification based on In-Cabin and Exterior Data.
ITSC
Ariel Telpaz, Michael Baltaxe, Ron M. Hecht, Guy Cohen-Lazry, Asaf Degani, Gila Kamhi
2014 C conf
Learner Engagement Measurement and Classification in 1: 1 Learning.
ICMLA
Sinem Aslan, Zehra Cataltepe, Itai Diner, Onur Dundar, Asli Arslan Esme, Ron Ferens, Gila Kamhi, Ece Oktay, Canan Soysal, Murat Yener
2011 A* conf
Transaction level statistical analysis for efficient micro-architectural power and performance studies.
DAC
Eman Copty, Gila Kamhi, Sasha Novakovsky
2010 — conf
Challenges and methodologies for efficient power budgeting across the die.
ACM Great Lakes Symposium on VLSI
Pinkesh J. Shah, Yoni Aizik, Muhammad K. Mhameed, Gila Kamhi
2009 J jnl
Intelligate: An Algorithm for Learning Boolean Functions for Dynamic Power Reduction.
J. Low Power Electron.
Roni Wiener, Gila Kamhi, Moshe Y. Vardi
2009 A* conf
MAGENTA: transaction-based statistical micro-architectural root-cause analysis.
DAC
Gila Kamhi, Alexander Novakovsky, Andreas Tiemeyer, Adriana Wolffberg
2008 B conf
A Temporal Language for SystemC.
FMCAD
Deian Tabakov, Gila Kamhi, Moshe Y. Vardi, Eli Singerman
2008 A* conf
A new paradigm for synthesis and propagation of clock gating conditions.
DAC
Ranan Fraer, Gila Kamhi, Muhammad K. Mhameed
2008 — conf
Intelligate: Scalable Dynamic Invariant Learning for Power Reduction.
PATMOS
Roni Wiener, Gila Kamhi, Moshe Y. Vardi
2008 — conf
Power-Aware Design via Micro-architectural Link to Implementation.
PATMOS
Yoni Aizik, Gila Kamhi, Yael Zbar, Hadas Ronen, Muhammad Abozaed
2007 A* conf
Early Power-Aware Design & Validation: Myth or Reality?
DAC
Gila Kamhi, Sarah Miller, Stephen Bailey Mentor, Wolfgang Nebel, Y. C. Wong, Juergen Karmann, Enrico Macii, Stephen V. Kosonocky, Steve Curtis
2007 A conf
Interactive presentation: PowerQuest: trace driven data mining for power optimization.
DATE
Pietro Babighian, Gila Kamhi, Moshe Y. Vardi
2004 — conf
Pattern search in hierarchical high-level designs.
ICECS
Zvi Terem, Gila Kamhi, Moshe Y. Vardi, Amitai Irron
2003 J jnl
Efficient debugging in a formal verification environment.
Int. J. Softw. Tools Technol. Transf.
Fady Copty, Amitai Irron, Osnat Weissberg, Nathan P. Kropp, Gila Kamhi
2003 A conf
Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation.
TACAS
Marcelo Glusman, Gila Kamhi, Sela Mador-Haim, Ranan Fraer, Moshe Y. Vardi
2002 A* conf
A hybrid verification approach: getting deep into the design.
DAC
Scott Hazelhurst, Osnat Weissberg, Gila Kamhi, Limor Fix
2002 — conf
Accelerated verification of RTL assertions based on satisfiability solvers.
HLDVT
Ranan Fraer, Shahid Ikram, Gila Kamhi, Tim Leonard, Abdel Mokkedem
2001 A* conf
Benefits of Bounded Model Checking at an Industrial Setting.
CAV
Fady Copty, Limor Fix, Ranan Fraer, Enrico Giunchiglia, Gila Kamhi, Armando Tacchella, Moshe Y. Vardi
2001 — conf
Efficient Debugging in a Formal Verification Environment.
CHARME
Fady Copty, Amitai Irron, Osnat Weissberg, Nathan P. Kropp, Gila Kamhi
2001 A conf
Is There a Best Symbolic Cycle-Detection Algorithm?
TACAS
Kathi Fisler, Ranan Fraer, Gila Kamhi, Moshe Y. Vardi, Zijiang Yang
2000 A* conf
Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification.
CAV
Ranan Fraer, Gila Kamhi, Barukh Ziv, Moshe Y. Vardi, Limor Fix
1999 — conf
Evaluating Semi-Exhaustive Verification Techniques for Bug Hunting.
SMC@FLoC
Ranan Fraer, Gila Kamhi, Limor Fix, Moshe Y. Vardi
1998 A conf
Adaptive variable reordering for symbolic model checking.
ICCAD
Gila Kamhi, Limor Fix
1998 B conf
Symbolic Model Checking Visualization.
FMCAD
Gila Kamhi, Limor Fix, Ziv Binyamini
1997 A* conf
Automatic Datapath Extraction for Efficient Usage of HDD.
CAV
Gila Kamhi, Osnat Weissberg, Limor Fix