5506 search results - page 510 / 1102 » Minimal Logic Programs |
173
click to vote
PPPJ
2006
ACM
16 years 28 days ago
2006
ACM
Development of high quality code is extremely di cult. Tools that help maintaining the proper quality of code produced by programmers can be very useful: they may increase the qua...
173
click to vote
LCTRTS
2004
Springer
16 years 10 days ago
2004
Springer
While concurrency in embedded systems is most often supplied by real-time operating systems, this approach can be unpredictable and difficult to debug. Synchronous concurrency, i...
195
click to vote
HIPC
2003
Springer
16 years 6 days ago
2003
Springer
Thread migration/checkpointing is becoming indispensable for load balancing and fault tolerance in high performance computing applications, and its success depends on the migration...
237
click to vote
CPAIOR
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We propose a hybrid approach for solving the resource-constrained project scheduling problem which is an extremely hard to solve combinatorial optimization problem of pra...
210
click to vote
CCE
2008
15 years 7 months ago
2008
The problem of optimal synthesis of an integrated water system is addressed in this work, where water using processes and water treatment operations are combined into a single net...