3335 search results - page 315 / 667 » A Unified Approach to Modeling and Programming |
190
click to vote
PDP
2008
IEEE
16 years 1 months ago
2008
IEEE
Parallel programming models based on a mixture of task and data parallelism have shown to be successful in addressing the increasing communication overhead of distributed memory p...
209
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...
169
click to vote
GECCO
2007
Springer
16 years 26 days ago
2007
Springer
I present MOSES (meta-optimizing semantic evolutionary search), a new probabilistic modeling (estimation of distribution) approach to program evolution. Distributions are not esti...
151
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
189
click to vote
AIM
2006
15 years 6 months ago
2006
maintain awareness of its environment for a long period of time. Additionally, knowledge-intensive agents must be engineered such that their knowledge can be easily updated as envi...