387 search results - page 1 / 78 » A Hierarchy of Quantum Semantics |
67
Voted
ENTCS
2008
15 years 15 days ago
2008
107
Voted
ENTCS
2008
15 years 15 days ago
2008
In this paper we present a game semantics for a quantum programming language based on a new definition of quantum strategies. The language studied is MCdata, a typed version of th...
130
Voted
CORR
2004
Springer
15 years 8 days ago
2004
Springer
Full formal descriptions of algorithms making use of quantum principles must take into account both quantum and classical computing components and assemble them so that they commu...
104
click to vote
ECCC
2008
15 years 15 days ago
2008
We obtain the first nontrivial time-space lower bound for quantum algorithms solving problems related to satisfiability. Our bound applies to MajSAT and MajMajSAT, which are compl...
111
Voted
ISCA
2006
IEEE
15 years 12 days ago
2006
IEEE
The assumption of maximum parallelism support for the successful realization of scalable quantum computers has led to homogeneous, "sea-of-qubits" architectures. The res...