10666 search results - page 15 / 2134 » Quantum programming languages |
ICALP
2003
Springer
14 years 23 days ago
2003
Springer
We prove lower bounds for the direct sum problem for two-party bounded error randomised multipleround communication protocols. Our proofs use the notion of information cost of a p...
CC
2008
Springer
13 years 9 months ago
2008
Springer
This paper introduces a new language model, Coqa, for deeply embedding concurrent programming into objects. Every program written in our language has the desirable behaviors of ato...
TOOLS
2000
IEEE
13 years 12 months ago
2000
IEEE
POS
1990
Springer
13 years 11 months ago
1990
Springer
FCT
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. In recent years we have witnessed the proliferation of semidefinite programming bounds in combinatorial optimization [1,5,8], quantum computing [9,2,3,6,4,16] and even in...