Search results for "Gila Kamhi"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Eman Copty, Gila Kamhi, Sasha Novakovsky	Transaction level statistical analysis for efficient micro-architectural power and performance studies.	DAC	2011	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF	simulation, performance, energy-efficient, management, power, microprocessor, budget
1	Roni Wiener, Gila Kamhi, Moshe Y. Vardi	Intelligate: An Algorithm for Learning Boolean Functions for Dynamic Power Reduction.	J. Low Power Electronics	2009	DBLP DOI BibTeX RDF
1	Gila Kamhi, Alexander Novakovsky, Andreas Tiemeyer, Adriana Wolffberg	MAGENTA: transaction-based statistical micro-architectural root-cause analysis.	DAC	2009	DBLP DOI BibTeX RDF
1	Yoni Aizik, Gila Kamhi, Yael Zbar, Hadas Ronen, Muhammad Abozaed	Power-Aware Design via Micro-architectural Link to Implementation.	PATMOS	2008	DBLP DOI BibTeX RDF
1	Roni Wiener, Gila Kamhi, Moshe Y. Vardi	Intelligate: Scalable Dynamic Invariant Learning for Power Reduction.	PATMOS	2008	DBLP DOI BibTeX RDF
1	Deian Tabakov, Gila Kamhi, Moshe Y. Vardi, Eli Singerman	A Temporal Language for SystemC.	FMCAD	2008	DBLP DOI BibTeX RDF
1	Ranan Fraer, Gila Kamhi, Muhammad K. Mhameed	A new paradigm for synthesis and propagation of clock gating conditions.	DAC	2008	DBLP DOI BibTeX RDF	low-power design, clock gating
1	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	DBLP DOI BibTeX RDF
1	Pietro Babighian, Gila Kamhi, Moshe Y. Vardi	Interactive presentation: PowerQuest: trace driven data mining for power optimization.	DATE	2007	DBLP DOI BibTeX RDF
1	Fady Copty, Amitai Irron, Osnat Weissberg, Nathan P. Kropp, Gila Kamhi	Efficient debugging in a formal verification environment.	STTT	2003	DBLP DOI BibTeX RDF	Counter-example, Model checking, Counterexample
1	Marcelo Glusman, Gila Kamhi, Sela Mador-Haim, Ranan Fraer, Moshe Y. Vardi	Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation.	TACAS	2003	DBLP DOI BibTeX RDF
1	Scott Hazelhurst, Osnat Weissberg, Gila Kamhi, Limor Fix	A hybrid verification approach: getting deep into the design.	DAC	2002	DBLP DOI BibTeX RDF	hybrid verification, symbolic model checking, symbolic trajectory evaluation
1	Kathi Fisler, Ranan Fraer, Gila Kamhi, Moshe Y. Vardi, Zijiang Yang	Is There a Best Symbolic Cycle-Detection Algorithm?	TACAS	2001	DBLP DOI BibTeX RDF
1	Fady Copty, Amitai Irron, Osnat Weissberg, Nathan P. Kropp, Gila Kamhi	Efficient Debugging in a Formal Verification Environment.	CHARME	2001	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Ranan Fraer, Gila Kamhi, Barukh Ziv, Moshe Y. Vardi, Limor Fix	Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification.	CAV	2000	DBLP DOI BibTeX RDF
1	Ranan Fraer, Gila Kamhi, Limor Fix, Moshe Y. Vardi	Evaluating Semi-Exhaustive Verification Techniques for Bug Hunting.	Electr. Notes Theor. Comput. Sci.	1999	DBLP DOI BibTeX RDF
1	Gila Kamhi, Limor Fix, Ziv Binyamini	Symbolic Model Checking Visualization.	FMCAD	1998	DBLP DOI BibTeX RDF
1	Gila Kamhi, Limor Fix	Adaptive variable reordering for symbolic model checking.	ICCAD	1998	DBLP DOI BibTeX RDF	variable reordering, binary decision diagram, symbolic model checking
1	Gila Kamhi, Osnat Weissberg, Limor Fix	Automatic Datapath Extraction for Efficient Usage of HDD.	CAV	1997	DBLP DOI BibTeX RDF

Publications of "Gila Kamhi" ( http://dblp.L3S.de/Authors/Gila_Kamhi )