10072 search results - page 1516 / 2015 » Composition of Model Programs |
188
click to vote
CCS
2004
ACM
16 years 13 days ago
2004
ACM
In order to solve future Multi Level Security (MLS) problems, we have developed a solution based on the DARPA Polymorphous Computing Architecture (PCA). MLS-PCA uses a novel distr...
181
click to vote
CP
2004
Springer
16 years 13 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...
171
click to vote
CPAIOR
2004
Springer
16 years 13 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...
171
click to vote
MABS
2004
Springer
16 years 12 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...
187
click to vote
IPPS
2003
IEEE
16 years 9 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...