Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Gil Ratsaby"'
Publikováno v:
Quantum Information and Computation. 6:606-615
We study the advantage of pure-state quantum computation without entanglement over classical computation. For the Deutsch-Jozsa algorithm we present the maximal subproblem that can be solved without entanglement, and show that the algorithm still has
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::12b9574e16f0fac0f74766756b242ba1
https://doi.org/10.26421/qic6.7-4
https://doi.org/10.26421/qic6.7-4
Publikováno v:
Concurrency and Computation: Practice and Experience. 15:485-499
Finding bugs due to race conditions in multi-threaded programs is difficult, mainly because there are many possible interleavings, any of which may contain a fault. In this work we present a methodology for testing multi-threaded programs which has m
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::43443431afd863ae3b9a76add9454713
https://doi.org/10.1002/cpe.654
https://doi.org/10.1002/cpe.654
Autor:
Matty Katz, Meir Orenstein, Alex Hayat, Nadav Yoran, Tal Mor, Gil Ratsaby, Adam De La Zerda, David Castiel
Publikováno v:
SPIE Proceedings.
We propose a point to point quantum channel based on a two-color Spontaneous Parametric Down Conversion (SPDC), that may be applied for a Quantum Key Distribution (QKD) system to gain better security. We use one arm of the SPDC (770 nm - optimal for
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1cbcba5828ccd4e4b8d6309e1ab6b9b1
https://doi.org/10.1117/12.603360
https://doi.org/10.1117/12.603360
Publikováno v:
FME 2002:Formal Methods—Getting IT Right ISBN: 9783540439288
FME
FME
In simulation-based verification users are faced with the challenge of maximizing test coverage while minimizing testing costs. Sophisticated techniques are used to generate clever test cases and to determine the quality attained by the tests. The la
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::66946561f5a8be96078fd3ea19ca5673
https://doi.org/10.1007/3-540-45614-7_3
https://doi.org/10.1007/3-540-45614-7_3
