3328 search results - page 203 / 666 » Topological Quantum Computation |
121
Voted
TCS
2008
15 years 3 months ago
2008
This is a survey of results about versions of fine hierarchies and many-one reducibilities that appear in different parts of theoretical computer science. These notions and relate...
123
Voted
EUROCAST
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, an approach to synthesize correct programs from specifications is presented. The idea is to extract code from definitions appearing in statements which have been me...
136
click to vote
ICCNMC
2005
Springer
15 years 9 months ago
2005
Springer
This study deals with the topology discovery for the capacitated minimum spanning tree network. The problem is composed of finding the best way to link nodes to a source node and, ...
129
Voted
FPL
2001
Springer
15 years 8 months ago
2001
Springer
The Generic Library for Adaptive Computing Environments (GLACE) consists of a comprehensive set of module generators currently targeting Xilinx XC4000 and Virtex devices. In contra...
116
click to vote
ENTCS
2007
15 years 3 months ago
2007
Escard´o, Hofmann and Streicher showed that real-number computations in the interval-domain environment are inherently parallel, in the sense that they imply the presence of weak...