Sciweavers

5659 search results - page 942 / 1132
» Comparing Clusterings in Space
Sort
View
ASPDAC
2005
ACM
106views Hardware» more  ASPDAC 2005»
15 years 9 months ago
Using loop invariants to fight soft errors in data caches
Ever scaling process technology makes embedded systems more vulnerable to soft errors than in the past. One of the generic methods used to fight soft errors is based on duplicati...
Sri Hari Krishna Narayanan, Seung Woo Son, Mahmut ...
ASPDAC
2005
ACM
99views Hardware» more  ASPDAC 2005»
15 years 9 months ago
A fast counterexample minimization approach with refutation analysis and incremental SAT
- It is a hotly research topic to eliminate irrelevant variables from counterexample, to make it easier to be understood. BFL algorithm is the most effective Counterexample minim...
ShengYu Shen, Ying Qin, Sikun Li
CEC
2005
IEEE
15 years 9 months ago
XCS with computed prediction in continuous multistep environments
We apply XCS with computed prediction (XCSF) to tackle multistep reinforcement learning problems involving continuous inputs. In essence we use XCSF as a method of generalized rein...
Pier Luca Lanzi, Daniele Loiacono, Stewart W. Wils...
CIMCA
2005
IEEE
15 years 9 months ago
Accurate Electricity Load Forecasting with Artificial Neural Networks
In this paper we present a simple yet accurate model to forecast electricity load with Artificial Neural Networks (ANNs). We analyze the problem domain and choose the most adequat...
Daniel Ortiz Arroyo, Morten K. Skov, Quang Huynh
CODES
2005
IEEE
15 years 9 months ago
An efficient direct mapped instruction cache for application-specific embedded systems
Caches may consume half of a microprocessor’s total power and cache misses incur accessing off-chip memory, which is both time consuming and energy costly. Therefore, minimizing...
Chuanjun Zhang