Sciweavers

10988 search results - page 1834 / 2198
» Algorithmic Folding Complexity
Sort
View
LFCS
2007
Springer
15 years 11 months ago
Verifying Balanced Trees
Abstract. Balanced search trees provide guaranteed worst-case time performance and hence they form a very important class of data structures. However, the self-balancing ability co...
Zohar Manna, Henny B. Sipma, Ting Zhang
MFCS
2007
Springer
15 years 11 months ago
Evolvability
A framework for analyzing the computational capabilities and the limitations of the evolutionary process of random change guided by selection was recently introduced by Valiant [V...
Leslie G. Valiant
OTM
2007
Springer
15 years 11 months ago
Reduction Transformations in ORM
Abstract: This paper proposes extensions to the Object-Role Modeling approach to support schema transformations that eliminate unneeded columns that may arise from standard relatio...
Terry A. Halpin, Andy Carver, Kevin M. Owen
SACRYPT
2007
Springer
126views Cryptology» more  SACRYPT 2007»
15 years 11 months ago
Improved Side-Channel Collision Attacks on AES
Abstract. Side-channel collision attacks were proposed in [1] and applied to AES in [2]. These are based on detecting collisions in certain positions of the internal state after th...
Andrey Bogdanov
146
Voted
SCOPES
2007
Springer
15 years 11 months ago
Optimization of dynamic data structures in multimedia embedded systems using evolutionary computation
Embedded consumer devices are increasing their capabilities and can now implement new multimedia applications reserved only for powerful desktops a few years ago. These applicatio...
David Atienza, Christos Baloukas, Lazaros Papadopo...
« Prev « First page 1834 / 2198 Last » Next »