Zobrazeno 1 - 10
of 21
pro vyhledávání: '"Koyfman, Anatoly"'
Autor:
Papadimitriou, George, Gizopoulos, Dimitris, Chatzidimitriou, Athanasios, Kolan, Tom, Koyfman, Anatoly, Morad, Ronny, Sokhin, Vitali
Publikováno v:
2016 IEEE 34th International Conference on Computer Design (ICCD); 2016, p544-551, 8p
Autor:
Aharoni, Merav, Ben-Haim, Yael, Doron, Shai, Koyfman, Anatoly, Tsanko, Elena, Veksler, Michael
Publikováno v:
Principles & Practice of Constraint Programming: 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings; 2016, p843-858, 16p
Autor:
Adir, Allon, Goodman, Dave, Hershcovich, Daniel, Hershkovitz, Oz, Hickerson, Bryan, Holtz, Karen, Kadry, Wisam, Koyfman, Anatoly, Ludden, John, Meissner, Charles, Nahir, Amir, Pratt, Randall R., Schiffli, Mike, St. Onge, Brett, Thompto, Brian, Tsanko, Elena, Ziv, Avi
Publikováno v:
Proceedings of the the 51st Annual Design Automation Conference Design Automation Conference; 6/1/2014, p1-6, 6p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Kadry, Wisam, Koyfman, Anatoly, Krestyashyn, Dmitry, Landa, Shimon, Nahir, Amir, Sokhin, Vitali
Publikováno v:
Hardware & Software: Verification & Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings; 2013, p166-181, 16p
Publikováno v:
Hardware & Software: Verification & Testing (9783642396106); 2013, p118-131, 14p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
DAC: Annual ACM/IEEE Design Automation Conference; Jun2012, p955-961, 7p
Publikováno v:
Hardware & Software: Verification & Testing (9783642341878); 2012, p234-241, 8p