567 search results - page 88 / 114 » Reconstructing Numbers from Pairwise Function Values |
DATE
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract: This paper addresses the problem of equivalence veriļ¬cation of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have diļ¬...
TVLSI
2002
13 years 9 months ago
2002
In this paper, we propose a low-power approach to the design of embedded very long instruction word (VLIW) processor architectures based on the forwarding (or bypassing) hardware, ...
TLCA
2009
Springer
14 years 4 months ago
2009
Springer
Types play an important role both in reasoning about Haskell and for its implementation. For example, the Glasgow Haskell Compiler performs certain fusion transformations that are...
ECML
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We investigate the problem of using function approximation in reinforcement learning where the agentās policy is represented as a classiļ¬er mapping states to actions....
STOC
2010
ACM
14 years 7 months ago
2010
ACM
We give near-optimal constructions of extractors secure against quantum bounded-storage adversaries. One instantiation gives the first such extractor to achieve an output length (...