8132 search results - page 1329 / 1627 » Dependability, Abstraction, and Programming |
171
click to vote
TCOM
2010
15 years 5 months ago
2010
Abstract—In this letter, we propose an extension of the probabilistic tree pruning sphere decoding (PTP-SD) algorithm that provides further improvement of the computational compl...
183
click to vote
WRLA
2010
15 years 5 months ago
2010
For a rewrite theory to be executable, its equations E should be (ground) confluent and terminating modulo the given axioms A, and their rules should be (ground) coherent with E m...
198
click to vote
APSCC
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--The proliferation of Data as a Service (DaaS) available on the Internet and offered by cloud service providers indicates an increasing trend in providing data under Web s...
151
Voted
ASPDAC
2010
ACM
15 years 4 months ago
2010
ACM
Abstract--Phase-Change Random Access Memory (PRAM) has become one of the most promising emerging memory technologies, due to its attractive features such as high density, fast acce...
157
click to vote
CEC
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract-- In this paper we present a new version of a GPbased financial forecasting tool called EDDIE. The novelty of this new version (EDDIE 8), is its enlarged search space, whe...