6562 search results - page 259 / 1313 » Noetherianity and Combination Problems |
174
click to vote
SC
2005
ACM
16 years 6 days ago
2005
ACM
A very challenging issue for optimizing compilers is the phase ordering problem: In what order should a collection of compiler optimizations be performed? We address this problem ...
171
Voted
LPAR
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. The main goal of this paper is to apply rewriting termination technology —enjoying a quite mature set of termination results and tools— to the problem of proving auto...
176
click to vote
IPPS
2003
IEEE
15 years 12 months ago
2003
IEEE
Mesh partitioning is an important problem that has extensive applications in many areas. Multilevel algorithms are a successful class of optimization techniques which addresses th...
195
click to vote
ISSRE
2003
IEEE
15 years 12 months ago
2003
IEEE
Software development project employs some Quality Control (QC) process to detect and remove defects. The final quality of the delivered software depends on the effort spent on al...
165
click to vote
AI
2003
Springer
15 years 12 months ago
2003
Springer
MAX-SAT, the optimisation variant of the satisfiability problem in propositional logic, is an important and widely studied combinatorial optimisation problem with applications in ...