4067 search results - page 130 / 814 » Programs for Applying Symmetries |
MA
1999
Springer
14 years 14 days ago
1999
Springer
There is considerable interest in developing runtime infrastructures for programs that can migrate from one host to another. Mobile programs are appealing because they support efļ...
CEC
2010
IEEE
13 years 8 months ago
2010
IEEE
ā Genetic programming is the usage of the paradigm of survival of the ļ¬ttest in scientiļ¬c computing. It is applied to evolve solutions to problems where dependencies between ...
SAC
2009
ACM
14 years 3 months ago
2009
ACM
Code libraries are characterized by feature-richness ā and, consequently, high overhead. The library specialization problem is the problem of obtaining a low-overhead version of...
BIRTHDAY
2009
Springer
14 years 6 days ago
2009
Springer
An extended specification for aspects, and a new verification method based on model checking are used to establish the correctness of strongly-invasive aspects, independently of a...
KCAP
2003
ACM
14 years 1 months ago
2003
ACM
While existing learning techniques can be viewed as inducing programs from examples, most research has focused on rather narrow classes of programs, e.g., decision trees or logic ...