2519 search results - page 226 / 504 » cost 2007 |
181
click to vote
PPAM
2007
Springer
16 years 22 days ago
2007
Springer
We present a parallel algorithm for solving the 4D Vlasov equation. Our algorithm is designed for distributed memory architectures. It uses an adaptive numerical method which reduc...
173
click to vote
SARA
2007
Springer
16 years 22 days ago
2007
Springer
Constraint Programming is a powerful approach for modeling and solving many combinatorial problems, scalability, however, remains an issue in . Abstraction and reformulation techni...
146
click to vote
SAS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Pointer information is a prerequisite for most program analyses, and inclusion-based, i.e. Andersen-style, pointer analysis is widely used to compute such information. Ho...
174
click to vote
SAT
2007
Springer
16 years 22 days ago
2007
Springer
In this paper we introduce MINIMAXSAT, a new Max-SAT solver that incorporates the best SAT and Max-SAT techniques. It can handle hard clauses (clauses of mandatory satisfaction as ...
232
click to vote
SEAFOOD
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. As the volumes of software development increase and the cost reduction is required, most Japanese IT companies are interested in offshore software outsourcing. Although a...