Eyal Bin

Guaranteeing High Availability Goals for Virtual Machine Placement

Eyal Bin, Ofer Biran, Odellia Boni et al. · 2011 · 119 citations

Cluster Computing, Availability, Engineering +20

Using a constraint satisfaction formulation and solution techniques for random test program generation

Eyal Bin, R. Emek, Gil Shurek et al. · IBM Systems Journal · 2002 · 88 citations

Generating random solutions for constraint satisfaction problems

Rina Dechter, Kalev Kask, Eyal Bin et al. · National Conference on Artificial Intelligence · 2002 · 44 citations

Mathematical Programming, Uniform Random Distribution, Engineering +18

Piparazzi: a test program generator for micro-architecture flow verification

Allon Adir, Eyal Bin, Ofer Peled et al. · 2004 · 17 citations

Engineering, Hardware Verification Language, Verification +19

A generic micro-architectural test plan approach for microprocessor verification

Allon Adir, Hezi Azatchi, Eyal Bin et al. · 2005 · 10 citations

Systematic Partitioning, Engineering, Hardware Verification Language +20