Sciweavers

1195 search results - page 83 / 239
» New constructions of SSPDs and their applications
Sort
View
DATE
2010
IEEE
108views Hardware» more  DATE 2010»
15 years 3 months ago
Performance-asymmetry-aware topology virtualization for defect-tolerant NoC-based many-core processors
Topology virtualization techniques are proposed for NoCbased many-core processors with core-level redundancy to isolate hardware changes caused by on-chip defective cores. Prior w...
Lei Zhang 0008, Yue Yu, Jianbo Dong, Yinhe Han, Sh...
SEMWEB
2011
Springer
14 years 9 months ago
Watson, more than a Semantic Web search engine
In this tool report, we present an overview of the Watson system, a Semantic Web search engine providing various functionalities not only to find and locate ontologies and semanti...
Mathieu d'Aquin, Enrico Motta
TCC
2012
Springer
226views Cryptology» more  TCC 2012»
14 years 1 months ago
Subspace LWE
The (decisional) learning with errors problem (LWE) asks to distinguish “noisy” inner products of a secret vector with random vectors from uniform. In recent years, the LWE pro...
Krzysztof Pietrzak
FC
1999
Springer
160views Cryptology» more  FC 1999»
15 years 10 months ago
Anonymous Authentication of Membership in Dynamic Groups
Abstract. We present a series of protocols for authenticating an individual’s membership in a group without revealing that individual’s identity and without restricting how the...
Stuart E. Schechter, Todd Parnell, Alexander J. Ha...
IFL
1998
Springer
139views Formal Methods» more  IFL 1998»
15 years 10 months ago
Higher Order Demand Propagation
Abstract. In this report a new backward strictness analysis for functional languages is presented. It is called higher order demand propagation and is applicable to a realistic non...
Dirk Pape