Zobrazeno 1 - 10
of 19
pro vyhledávání: '"Arbel, Eli"'
Autor:
Lifshitz, Yotam Y., Bairey, Eyal, Arbel, Eli, Aleksandrowicz, Gadi, Landa, Haggai, Arad, Itai
Quantum state tomography is an essential tool for the characterization and verification of quantum states. However, as it cannot be directly applied to systems with more than a few qubits, efficient tomography of larger states on mid-sized quantum de
Externí odkaz:
http://arxiv.org/abs/2112.10418
Autor:
Aleksandrowicz, Gadi, Arbel, Eli, Bloem, Roderick, ter Braak, Timon D., Devadze, Sergei, Fey, Goerschwin, Jenihhin, Maksim, Jutman, Artur, Kerkhoff, Hans G., Könighofer, Robert, Koyfman, Shlomit, Malburg, Jan, Moran, Shiri, Raik, Jaan, Rauwerda, Gerard, Riener, Heinz, Röck, Franz, Shibin, Konstantin, Sunesen, Kim, Wan, Jinbo, Zhao, Yong, Wille, Robert, Fummi, Franco
Publikováno v:
Lecture Notes in Electrical Engineering
Lecture Notes in Electrical Engineering ISBN: 9783319629193
Lecture Notes in Electrical Engineering-Languages, Design Methods, and Tools for Electronic System Design
Languages, Design Methods, and Tools for Electronic System Design-Selected Contributions from FDL 2016, 15-38
STARTPAGE=15;ENDPAGE=38;TITLE=Languages, Design Methods, and Tools for Electronic System Design-Selected Contributions from FDL 2016
Lecture Notes in Electrical Engineering ISBN: 9783319629193
Lecture Notes in Electrical Engineering-Languages, Design Methods, and Tools for Electronic System Design
Languages, Design Methods, and Tools for Electronic System Design-Selected Contributions from FDL 2016, 15-38
STARTPAGE=15;ENDPAGE=38;TITLE=Languages, Design Methods, and Tools for Electronic System Design-Selected Contributions from FDL 2016
Cyber-physical systems, that consist of a cyber part—a computing system—and a physical part—the system in the physical environment—as well as the respective interfaces between those parts, are omnipresent in our daily lives. The application i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::94dff17fdabcf2ac6b9e835f3ce8370b
https://elib.dlr.de/115773/
https://elib.dlr.de/115773/
Publikováno v:
Hardware and Software: Verification and Testing ISBN: 9783319490519
Haifa Verification Conference
Hardware and Software: Verification and Testing; Proceedings of the 12th International Haifa Verification Conference, HVC 2016, 18-33
STARTPAGE=18;ENDPAGE=33;TITLE=Hardware and Software: Verification and Testing; Proceedings of the 12th International Haifa Verification Conference, HVC 2016
Haifa Verification Conference
Hardware and Software: Verification and Testing; Proceedings of the 12th International Haifa Verification Conference, HVC 2016, 18-33
STARTPAGE=18;ENDPAGE=33;TITLE=Hardware and Software: Verification and Testing; Proceedings of the 12th International Haifa Verification Conference, HVC 2016
We investigate and improve the scalability of multi-core LTL model checking. Our algorithm, based on parallel DFS-like SCC decomposition, is able to efficiently decompose large SCCs on-the-fly, which is a difficult problem to solve in parallel. To va
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::713398f74c71ad8bb1a524ddfdc9c764
https://doi.org/10.1007/978-3-319-49052-6_2
https://doi.org/10.1007/978-3-319-49052-6_2
Publikováno v:
Hardware & Software: Verification & Testing (9783319490519); 2016, p34-48, 15p
Publikováno v:
2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD); 2014, p1-8, 8p
Publikováno v:
2014 Design, Automation & Test in Europe Conference & Exhibition (DATE); 01/01/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.
Publikováno v:
2012 Formal Methods in Computer-Aided Design (FMCAD); 1/ 1/2012, p82-90, 9p
Publikováno v:
2009 46th ACM/IEEE Design Automation Conference; Jul2009, p160-165, 6p