1855 search results - page 125 / 371 » Composing model programs for analysis |
133
click to vote
EUROPAR
2005
Springer
15 years 8 months ago
2005
Springer
Nested-parallelism programming models, where the task graph associated to a computation is series-parallel, present good analysis properties that can be exploited for scheduling, c...
132
Voted
HYBRID
2010
Springer
15 years 9 months ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...
189
click to vote
MLG
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We revisit an application developed originally using Inductive Logic Programming (ILP) by replacing the underlying Logic Program (LP) description with Stochastic Logic Pr...
118
click to vote
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
Genetic Network Programming (GNP) has been proposed as a graph-based evolutionary algorithm. GNP works well especially in dynamic environments due to its graph structures. In addi...
127
click to vote
ISQED
2007
IEEE
15 years 9 months ago
2007
IEEE
In nanometer regime, the effects of variations are having an increasing impact on the delay and power characteristics of devices as well as the yield of the circuit. Statistical t...