Sciweavers

3384 search results - page 310 / 677
» More Testable Properties
Sort
View
EUROCRYPT
1998
Springer
15 years 11 months ago
Strengthened Security for Blind Signatures
Abstract. Provable security is a very nice property for cryptographic protocols. Unfortunately, in many cases, this is at the cost of a considerable loss in terms of efficiency. Mo...
David Pointcheval
ICC
1997
IEEE
100views Communications» more  ICC 1997»
15 years 11 months ago
A Generalized Grouping and Retrieval Scheme for Stored MPEG Video
MPEG, in addition to being an international standard, is currently the most popular coding scheme for stored video. For several applications that require stored video, such as vid...
Senthil Sengodan, Victor O. K. Li
ICCAD
1996
IEEE
133views Hardware» more  ICCAD 1996»
15 years 11 months ago
Basic concepts for an HDL reverse engineering tool-set
Designer's productivity has become the key-factor of the development of electronic systems. An increasing application of design data reuse is widely recognized as a promising...
Gunther Lehmann, Bernhard Wunder, Klaus D. Mü...
CEC
2007
IEEE
15 years 10 months ago
A versatile quantum-inspired evolutionary algorithm
Abstract-- This study points out some weaknesses of existing Quantum-Inspired Evolutionary Algorithms (QEA) and explains in particular how hitchhiking phenomenons can slow down the...
Michael Defoin-Platel, Stefan Schliebs, Nikola Kas...
DAC
2009
ACM
15 years 10 months ago
Reduction techniques for synchronous dataflow graphs
The Synchronous Dataflow (SDF) model of computation is popular for modelling the timing behaviour of real-time embedded hardware and software systems and applications. It is an es...
Marc Geilen