2110 search results - page 159 / 422 » Delegation Modeling with Paradigm |
201
click to vote
SACI
2009
IEEE
16 years 1 months ago
2009
IEEE
—In the grid context, there is little support for programming paradigms such as shared data or associative programming. We have previously proposed an original idea to attack sha...
175
click to vote
EUROPAR
2009
Springer
16 years 1 months ago
2009
Springer
While general-purpose homogeneous multi-core architectures are becoming ubiquitous, there are clear indications that, for a number of important applications, a better performance/p...
153
click to vote
CEC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— In this paper, we study parallelization of multiobjective optimization algorithms on a set of hetergeneous resources based on the Master-Slave model. Master-Slave model...
182
click to vote
AIME
2007
Springer
16 years 22 days ago
2007
Springer
Traditional Chinese medicine (TCM) is an important avenue for disease prevention and treatment for the Chinese people and is gaining popularity among others. However, many remain s...
182
click to vote
ICCAD
2006
IEEE
16 years 18 days ago
2006
IEEE
This paper addresses SAT-based Unbounded Model Checking based on Craig Interpolants. This recently introduced methodology is often able to outperform BDDs and other SAT-based tech...