1309 search results - page 157 / 262 » Approaching Optimality for Solving SDD Linear Systems |
152
click to vote
CADE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Automated theorem provers (ATPs) struggle to solve problems with large sets of possibly superfluous axiom. Several algorithms have been developed to reduce the number of ...
146
Voted
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper we present a game theoretic approach to solve the static load balancing problem in a distributed system which consists of heterogeneous computers connected by a sing...
134
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
Recent advances in XCS technology have shown that selfadaptive mutation can be highly useful to speed-up the evolutionary progress in XCS. Moreover, recent publications have shown...
151
click to vote
RTS
2011
14 years 11 months ago
2011
Reliability-aware power management (RAPM) has been a recent research focus due the negative effects of the popular power management technique dynamic voltage and frequency scaling ...
126
Voted
AUTOMATICA
2004
15 years 4 months ago
2004
A fundamental problem in the simulation and control of complex physical systems containing distributed-parameter components concerns finite-dimensional approximation. Numerical me...