9698 search results - page 1880 / 1940 » models 2010 |
142
click to vote
CCGRID
2010
IEEE
15 years 6 months ago
2010
IEEE
Fault tolerance will be a fundamental imperative in the next decade as machines containing hundreds of thousands of cores will be installed at various locations. In this context, ...
158
click to vote
CCGRID
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract--Multi-core processors with accelerators are becoming commodity components for high-performance computing at scale. While accelerator-based processors have been studied in...
173
click to vote
CEC
2010
IEEE
15 years 6 months ago
2010
IEEE
Inspired originally by the Learnable Evolution Model(LEM) [5], we investigate LEM(ID3), a hybrid of evolutionary search with ID3 decision tree learning. LEM(ID3) involves interleav...
141
click to vote
CONCUR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Graph games of infinite length provide a natural model for open reactive systems: one player (Eve) represents the controller and the other player (Adam) represents the en...
170
click to vote
CSL
2010
Springer
15 years 6 months ago
2010
Springer
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...