 | 2011 |
|---|
| 9 |       | Eyal Bin,
Ofer Biran,
Odellia Boni,
Erez Hadad,
Elliot K. Kolodner,
Yosef Moatti,
Dean H. Lorenz:
Guaranteeing High Availability Goals for Virtual Machine Placement.
ICDCS 2011: 700-709 |
| 2010 |
|---|
| 8 | | Rajiv Bhatia,
Eyal Bin,
Eitan Marcus,
Gil Shurek:
An ontology and constraint based approach to cache preloading.
HLDVT 2010: 129-136 |
| 7 |  | Eyal Bin,
Alaa Ghanayim,
Karen Holtz,
Eitan Marcus,
Ronny Morad,
Ofer Peled,
Michal Rimon,
Gil Shurek,
Elena Tsanko:
Ontology-Based Tools in the Service of Hardware Verification.
SEKE 2010: 303-308 |
| 2007 |
|---|
| 6 | | Eyal Bin,
Avi Ziv,
Shmuel Ur:
Hardware and Software, Verification and Testing, Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers
Springer 2007 |
| 2006 |
|---|
| 5 | | Shmuel Ur,
Eyal Bin,
Yaron Wolfsthal:
Hardware and Software Verification and Testing, First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
Springer 2006 |
| 2005 |
|---|
| 4 | | Allon Adir,
Hezi Azatchi,
Eyal Bin,
Ofer Peled,
Kirill Shoikhet:
A generic micro-architectural test plan approach for microprocessor verification.
DAC 2005: 769-774 |
| 2004 |
|---|
| 3 | | Eyal Bin,
Laurent Fournier:
Micro-Architecture Verification for Microprocessors.
MTV 2004: 112-113 |
| 2002 |
|---|
| 2 | | Rina Dechter,
Kalev Kask,
Eyal Bin,
Roy Emek:
Generating Random Solutions for Constraint Satisfaction Problems.
AAAI/IAAI 2002: 15-21 |
| 1 | | Eyal Bin,
Roy Emek,
Gil Shurek,
Avi Ziv:
Using a constraint satisfaction formulation and solution techniques for random test program generation.
IBM Systems Journal 41(3): 386-402 (2002) |
Data released under the ODC-BY 1.0 license — See also our legal information page