6111 search results - page 1079 / 1223 » Time, Hardware, and Uniformity |
147
click to vote
SAT
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Symmetry occurs naturally in many computational problems. The use of symmetry breaking techniques for solving search problems reduces the search space and therefore is ex...
165
click to vote
SAT
2007
Springer
16 years 18 days ago
2007
Springer
SAT solvers are often challenged with very hard problems that remain unsolved after hours of CPU time. The research community meets the challenge in two ways: (1) by improving the ...
195
click to vote
SCOPES
2007
Springer
16 years 17 days ago
2007
Springer
Various scratchpad allocation strategies have been developed in the past. Most of them target the reduction of energy consumption. These approaches share the necessity of having d...
199
click to vote
TAP
2007
Springer
16 years 17 days ago
2007
Springer
Many static and dynamic analyses have been developed to improve program quality. Several of them are well known and widely used in practice. It is not entirely clear, however, how ...
169
click to vote
AICCSA
2006
IEEE
16 years 16 days ago
2006
IEEE
Poorly designed software systems are difficult to understand and maintain. Modifying code in one place could lead to unwanted repercussions elsewhere due to high coupling. Adding ...