Sciweavers

1310 search results - page 164 / 262
» Parameterized Partial Evaluation
Sort
View
ATAL
2005
Springer
15 years 3 months ago
Impact of problem centralization in distributed constraint optimization algorithms
Recent progress in Distributed Constraint Optimization Problems (DCOP) has led to a range of algorithms now available which differ in their amount of problem centralization. Probl...
John Davin, Pragnesh Jay Modi
IFL
2004
Springer
131views Formal Methods» more  IFL 2004»
15 years 3 months ago
Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code Transformations
The message-passing paradigm is now widely accepted and used mainly for inter-process communication in distributed memory parallel systems. However, one of its disadvantages is the...
Alfredo Cristóbal-Salas, Andrey Chernykh, E...
IPPS
2003
IEEE
15 years 3 months ago
Benchmark and Framework for Encouraging Research on Multi-Threaded Testing Tools
A problem that has been getting prominence in testing is that of looking for intermittent bugs. Multi-threaded code is becoming very common, mostly on the server side. As there is...
Klaus Havelund, Scott D. Stoller, Shmuel Ur
FGR
2004
IEEE
205views Biometrics» more  FGR 2004»
15 years 1 months ago
Oriented Filters for Object Recognition: an Empirical Study
Local descriptors are increasingly used for the task of object recognition because of their perceived robustness with respect to occlusions and to global geometrical deformations....
Jerry Jun Yokono, Tomaso Poggio
CSCLP
2008
Springer
14 years 11 months ago
From Rules to Constraint Programs with the Rules2CP Modelling Language
In this paper, we present a rule-based modelling language for constraint programming, called Rules2CP. Unlike other modelling languages, Rules2CP adopts a single knowledge represen...
François Fages, Julien Martin