2205 search results - page 269 / 441 » Mutation Operators for Specifications |
131
click to vote
SAC
2008
ACM
15 years 3 months ago
2008
ACM
Increasing scale, dynamism, and complexity of hybrid grids make traditional grid resource scheduling approaches difficult. In such grids, where resource volatility and dynamism is...
197
click to vote
CPAIOR
2010
Springer
15 years 1 months ago
2010
Springer
Finite domain propagation solving, the basis of constraint programming (CP) solvers, allows building very high-level models of problems, and using highly specific inference encapsu...
139
click to vote
ICCAD
2010
IEEE
15 years 1 months ago
2010
IEEE
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...
148
click to vote
IMC
2010
ACM
15 years 1 months ago
2010
ACM
The reconvergence of routing protocols in response to changes in network topology can impact application performance. While improvements in protocol specification and implementati...
133
click to vote
SRDS
2010
IEEE
15 years 1 months ago
2010
IEEE
Virtual machine (VM) introspection is a powerful technique for determining the specific aspects of guest VM execution from outside the VM. Unfortunately, existing introspection so...