Sciweavers

16666 search results - page 2512 / 3334
» Descriptive and Computational Complexity
Sort
View
DSN
2003
IEEE
16 years 28 days ago
A Voltage Scheduling Heuristic for Real-Time Task Graphs
Energy constrained complex real-time systems are becoming increasingly important in defense, space, and consumer applications. In this paper, we present a sensible heuristic to ad...
Diganta Roychowdhury, Israel Koren, C. Mani Krishn...
DSN
2003
IEEE
16 years 28 days ago
Benchmarking the Dependability of Different OLTP Systems
On-Line Transaction Processing (OLTP) systems constitute the kernel of the information systems used today to support the daily operations of most organizations. Although these sys...
Marco Vieira, Henrique Madeira
FOCS
2003
IEEE
16 years 28 days ago
Quantum Search of Spatial Regions
: Can Grover’s algorithm speed up search of a physical region—for example a 2-D grid of size √ n × √ n? The problem is that √ n time seems to be needed for each query, j...
Scott Aaronson, Andris Ambainis
FOCS
2003
IEEE
16 years 28 days ago
A Lattice Problem in Quantum NP
We consider coGapSV P√ n, a gap version of the shortest vector in a lattice problem. This problem is known to be in AM ∩coNP but is not known to be in NP or in MA. We prove th...
Dorit Aharonov, Oded Regev
FOCS
2003
IEEE
16 years 28 days ago
List-Decoding Using The XOR Lemma
We show that Yao’s XOR Lemma, and its essentially equivalent rephrasing as a Direct Product Lemma, can be re-interpreted as a way of obtaining error-correcting codes with good l...
Luca Trevisan
« Prev « First page 2512 / 3334 Last » Next »