Search the dblp DataBase

Publications of Author

1. Rina Dechter, Kalev Kask, Eyal Bin, Roy Emek
   Generating Random Solutions for Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP]
   AAAI/IAAI, 2002, pp:15-21 [Conf]
   
2. Yehuda Naveh, Roy Emek
   Random Stimuli Generation for Functional Hardware Verification as a CP Application. [Citation Graph (0, 0)][DBLP]
   CP, 2005, pp:882-882 [Conf]
   
3. Amir Nahir, Avi Ziv, Roy Emek, Tal Keidar, Nir Ronen
   Scheduling-based test-case generation for verification of multimedia SoCs. [Citation Graph (0, 0)][DBLP]
   DAC, 2006, pp:348-351 [Conf]
   
4. Roy Emek, Itai Jaeger, Yoav Katz, Yehuda Naveh
   Quality Improvement Methods for System-Level Stimuli Generation. [Citation Graph (0, 0)][DBLP]
   ICCD, 2004, pp:204-206 [Conf]
   
5. Reuven Cohen, Eyal Felstaine, Roy Emek
   Framework for Multicast in Hierarchical Networks. [Citation Graph (0, 0)][DBLP]
   INFOCOM, 2000, pp:1673-1682 [Conf]
   
6. Allon Adir, Roy Emek, Yoav Katz, Anatoly Koyfman
   DeepTrans - A Model-based Approach to Functional Verification of Address Translation Mechanisms. [Citation Graph (0, 0)][DBLP]
   MTV, 2003, pp:3-6 [Conf]
   
7. Eyal Bin, Roy Emek, Gil Shurek, Avi Ziv
   Using a constraint satisfaction formulation and solution techniques for random test program generation. [Citation Graph (0, 0)][DBLP]
   IBM Systems Journal, 2002, v:41, n:3, pp:386-402 [Journal]