Sciweavers

1450 search results - page 108 / 290
» On the Complexity of Hardness Amplification
Sort
View
XSYM
2005
Springer
81views Database» more  XSYM 2005»
14 years 2 months ago
MemBeR: A Micro-benchmark Repository for XQuery
XQuery is a feature-rich language with complex semantics. This makes it hard to come up with a benchmark suite which covers all performance-critical features of the language, and a...
Loredana Afanasiev, Ioana Manolescu, Philippe Mich...
ASIACRYPT
2004
Springer
14 years 2 months ago
Generic Homomorphic Undeniable Signatures
We introduce a new computational problem related to the interpolation of group homomorphisms which generalizes many famous cryptographic problems including discrete logarithm, Diļ¬...
Jean Monnerat, Serge Vaudenay
EUROPAR
2004
Springer
14 years 2 months ago
More Legal Transformations for Locality
Abstract. Program transformations are one of the most valuable compiler techniques to improve data locality. However, restructuring compilers have a hard time coping with data depe...
Cédric Bastoul, Paul Feautrier
ICICS
2004
Springer
14 years 2 months ago
Automatic Covert Channel Analysis of a Multilevel Secure Component
Abstract. The NRL Pump protocol deļ¬nes a multilevel secure component whose goal is to minimize leaks of information from high level systems to lower level systems, without degrad...
Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone...
ICSR
2004
Springer
14 years 2 months ago
Developing Active Help for Framework Instantiation Through Case-Based Reasoning
Object-oriented frameworks are sophisticated software artifacts that significantly impact productivity when building applications in a given domain. However, frameworks are complex...
Carlos Fernández-Conde, Pedro A. Gonz&aacut...