4924 search results - page 832 / 985 » Efficiency Improvement for NTRU |
116
click to vote
CORR
2010
Springer
15 years 25 days ago
2010
Springer
Abstract--This paper focuses on data structures for multicore reachability, which is a key component in model checking algorithms and other verification methods. A cornerstone of a...
130
Voted
CORR
2010
Springer
15 years 25 days ago
2010
Springer
Sensor networks are currently an active research area mainly due to the potential of their applications. In this paper we investigate the use of Wireless Sensor Networks (WSN) for...
105
Voted
CORR
2010
Springer
15 years 25 days ago
2010
Springer
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
128
click to vote
CORR
2010
Springer
15 years 25 days ago
2010
Springer
We discuss how phase-transitions may be detected in computationally hard problems in the context of anytime algorithms. Treating the computational time, value and utility functions...
103
click to vote
CORR
2010
Springer
15 years 25 days ago
2010
Springer
Designing and implementing efficient, provably correct parallel machine learning (ML) algorithms is challenging. Existing high-level parallel abstractions like MapReduce are insuf...