Sciweavers

112 search results - page 7 / 23
» The Recursive Dual-Net and Its Applications
Sort
View
ISSAC
2007
Springer
132views Mathematics» more  ISSAC 2007»
14 years 25 days ago
Adaptive loops with kaapi on multicore and grid: applications in symmetric cryptography
The parallelization of two applications in symmetric cryptography is considered: block ciphering and a new method based on random sampling for the selection of basic substitution ...
Vincent Danjean, Roland Gillard, Serge Guelton, Je...
LISP
2002
107views more  LISP 2002»
13 years 6 months ago
Dependent Types for Program Termination Verification
Program termination verification is a challenging research subject of significant practical importance. While there is already a rich body of literature on this subject, it is sti...
Hongwei Xi
TC
1998
13 years 6 months ago
A Metaobject Architecture for Fault-Tolerant Distributed Systems: The FRIENDS Approach
—The FRIENDS system developed at LAAS-CNRS is a metalevel architecture providing libraries of metaobjects for fault tolerance, secure communication, and group-based distributed a...
Jean-Charles Fabre, Tanguy Pérennou
COCO
2010
Springer
168views Algorithms» more  COCO 2010»
13 years 7 months ago
A New Sampling Protocol and Applications to Basing Cryptographic Primitives on the Hardness of NP
We investigate the question of what languages can be decided efficiently with the help of a recursive collisionfinding oracle. Such an oracle can be used to break collisionresistan...
Iftach Haitner, Mohammad Mahmoody, David Xiao
CORR
2011
Springer
170views Education» more  CORR 2011»
12 years 10 months ago
A Family of Adaptive Filter Algorithms in Noise Cancellation for Speech Enhancement
— In many application of noise cancellation, the changes in signal characteristics could be quite fast. This requires the utilization of adaptive algorithms, which converge rapid...
Sayed A. Hadei, Mojtaba Lotfizad