6129 search results - page 970 / 1226 » A parallel LLL algorithm |
FMICS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Symbolic state-space generators are notoriously hard to parallelise. However, the Saturation algorithm implemented in the SMART verification tool differs from other seque...
123
click to vote
GECCO
2006
Springer
15 years 6 months ago
2006
Springer
A boosting algorithm based on cellular genetic programming to build an ensemble of predictors is proposed. The method evolves a population of trees for a fixed number of rounds an...
103
click to vote
ARITH
2001
IEEE
15 years 6 months ago
2001
IEEE
This paper demonstrates the advantages of using on-line arithmetic for traditional and advanced detection algorithms for communication systems. Detection is one of the core comput...
132
click to vote
CODES
2001
IEEE
15 years 6 months ago
2001
IEEE
Most research to date on energy minimization in DSP processors has focuses on hardware solution. This paper examines the software-based factors affecting performance and energy co...
128
click to vote
INFOCOM
1995
IEEE
15 years 6 months ago
1995
IEEE
—In this paper, we derive a time-complexity bound for the gradient projection method for optimal routing in data networks. This result shows that the gradient projection algorith...