5415 search results - page 967 / 1083 » The Implementation of Functional Programming Languages |
110
click to vote
ICALP
2007
Springer
15 years 7 months ago
2007
Springer
A spanner of an undirected unweighted graph is a subgraph that approximates the distance metric of the original graph with some specified accuracy. Specifically, we say H ⊆ G i...
120
click to vote
ICALP
2005
Springer
15 years 7 months ago
2005
Springer
We prove new lower bounds for locally decodable codes and private information retrieval. We show that a 2-query LDC encoding nbit strings over an ℓ-bit alphabet, where the decode...
106
click to vote
ICALP
2003
Springer
15 years 6 months 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...
MICRO
2002
IEEE
15 years 6 months ago
2002
IEEE
To find the best designs, architects must rapidly simulate many design alternatives and have confidence in the results. Unfortunately, the most prevalent simulator construction ...
116
click to vote
SCAM
2002
IEEE
15 years 6 months ago
2002
IEEE
Many software systems are developed with configurable functionality, and for multiple hardware platforms and operating systems. This can lead to thousands of possible configuratio...