3441 search results - page 488 / 689 » Parallel Logic Programming Systems |
131
click to vote
IJACTAICIT
2010
15 years 2 months ago
2010
In this article, a hybrid optimization method has been proposed consisting of modified ant colony systems (ACSs) and constrained nonlinear programming (NLP) to solve the problems ...
140
click to vote
IEICET
2006
15 years 5 months ago
2006
Concurrency is one of the most important issues in system-level design. Interleaving among parallel processes can cause an extremely large number of different behaviors, making de...
150
click to vote
SPAA
1998
ACM
15 years 9 months ago
1998
ACM
Modern shared-memory multiprocessors use complex memory system implementations that include a variety of non-trivial and interacting optimizations. More time is spent in verifying...
247
click to vote
POPL
2005
ACM
16 years 5 months ago
2005
ACM
Despite the extensiveness of recent investigations on static typing for XML, parametric polymorphism has rarely been treated. This well-established typing discipline can also be u...
157
click to vote
PLDI
2010
ACM
15 years 10 months ago
2010
ACM
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...