Guaranteeing high availability goals for virtual machine placement
- Eyal Bin
- Ofer Biran
- et al.
- 2011
- ICDCS 2011
Publications
Date
Featured collections
Popular topics
8 results for Eyal Bin
A generic micro-architectural test plan approach for microprocessor verification
- Allon Adir
- Hezi Azatchi
- et al.
- 2005
- DAC 2005
Ontology-based tools in the service of hardware verification
- Eyal Bin
- Alaa Ghanayim
- et al.
- 2010
- SEKE 2010
An ontology and constraint based approach to cache preloading
- Rajiv Bhatia
- Eyal Bin
- et al.
- 2010
- HLDVT 2010
Micro-architecture verification for microprocessors
- Eyal Bin
- Laurent Fournier
- 2004
- MTV 2004
Piparazzi: A test program generator for micro-architecture flow verification
- A. Adir
- E. Bin
- et al.
- 2003
- HLDVT 2003
Generating random solutions for constraint satisfaction problems
- Rina Dechter
- Kalev Kask
- et al.
- 2002
- AAAI/IAAI 2002
Using a constraint satisfaction formulation and solution techniques for random test program generation
- Eyal Bin
- Roy Emek
- et al.
- 2002
- IBM Systems Journal