Sciweavers

1450 search results - page 108 / 290
» On the Complexity of Hardness Amplification
Sort
View
XSYM
2005
Springer
81views Database» more  XSYM 2005»
15 years 12 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
15 years 11 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
15 years 11 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
15 years 11 months ago
Automatic Covert Channel Analysis of a Multilevel Secure Component
Abstract. The NRL Pump protocol defines 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
15 years 11 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...