8109 search results - page 1114 / 1622 » A Model of Component-Based Programming |
182
click to vote
CP
2004
Springer
16 years 14 days ago
2004
Springer
It is well known that the ratio of the number of clauses to the number of variables in a random k-SAT instance is highly correlated with the instance’s empirical hardness. We con...
173
click to vote
CPAIOR
2004
Springer
16 years 14 days ago
2004
Springer
Abstract In recent years, the Constraint Programming (CP) and Operations Research (OR) communities have explored the advantages of combining CP and OR techniques to formulate and s...
178
click to vote
MABS
2004
Springer
16 years 13 days ago
2004
Springer
Time management is essential when simulating multi-agent systems (MASs) as it allows consistent and repeatable simulation runs. So far, time management lacks support to express the...
192
click to vote
IPPS
2003
IEEE
16 years 11 days ago
2003
IEEE
The paper presents Heterogeneous MPI (HMPI), an extension of MPI for programming high-performance computations on heterogeneous networks of computers. It allows the application pr...
219
click to vote
ICALP
2003
Springer
16 years 9 days ago
2003
Springer
Many protocols are designed to operate correctly even in the case where the underlying communication medium is faulty. To capture the behaviour of such protocols, lossy channel sy...