Sciweavers

112 search results - page 7 / 23
» The Recursive Dual-Net and Its Applications
Sort
View
ISSAC
2007
Springer
132views Mathematics» more  ISSAC 2007»
15 years 5 months 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»
14 years 11 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
14 years 11 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»
15 years 22 days 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»
14 years 3 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