Sciweavers

370 search results - page 18 / 74
» Bounded modified realizability
Sort
View
CGO
2005
IEEE
14 years 2 months ago
Maintaining Consistency and Bounding Capacity of Software Code Caches
Software code caches are becoming ubiquitous, in dynamic optimizers, runtime tool platforms, dynamic translators, fast simulators and emulators, and dynamic compilers. Caching fre...
Derek Bruening, Saman P. Amarasinghe
COCO
2005
Springer
150views Algorithms» more  COCO 2005»
14 years 2 months ago
The Quantum Adversary Method and Classical Formula Size Lower Bounds
We introduce two new complexity measures for Boolean functions, which we name sumPI and maxPI. The quantity sumPI has been emerging through a line of research on quantum query com...
Sophie Laplante, Troy Lee, Mario Szegedy
ICQNM
2007
IEEE
131views Chemistry» more  ICQNM 2007»
14 years 2 months ago
Comparison of two bounds of the quantum correlation set
— From a geometric viewpoint, quantum nonlocality between two parties is represented as the difference of two convex bodies, namely the sets of possible results of classical and ...
David Avis, Tsuyoshi Ito
ISMVL
2005
IEEE
59views Hardware» more  ISMVL 2005»
14 years 2 months ago
Radix Converters: Complexity and Implementation by LUT Cascades
In digital signal processing, we often use higher radix system to achieve high-speed computation. In such cases, we require radix converters. This paper considers the design of LU...
Tsutomu Sasao
FS
2010
138views more  FS 2010»
13 years 7 months ago
Hedging variance options on continuous semimartingales
We find robust model-free hedges and price bounds for options on the realized variance of [the returns on] an underlying price process. Assuming only that the underlying process ...
Peter Carr, Roger Lee