10055 search results - page 1640 / 2011 » Structured programming using processes |
175
click to vote
CP
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. In recent years, dynamic local search (DLS) clause weighting algorithms have emerged as the local search state-of-the-art for solving propositional satisfiability proble...
199
click to vote
ICCS
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. Recently, the distributed real-time services are developing in distributed object computing environments in a way that can support a new programming paradigm of the distr...
173
click to vote
MIDDLEWARE
2001
Springer
15 years 11 months ago
2001
Springer
Although it has long been realised that ACID transactions by themselves are not adequate for structuring long-lived applications and much research work has been done on developing...
229
click to vote
SAC
2006
ACM
15 years 6 months ago
2006
ACM
Interactive configuration guides a user searching through a large combinatorial space of solutions to a system of constraints. We investigate a class of very expressive underlying...
159
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Recent studies have shown that the patterns of linkage disequilibrium observed in human populations have a block-like structure, and a small subset of SNPs (called tag...