4270 search results - page 608 / 854 » A Permutation Approach to Validation |
182
click to vote
EUROPAR
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Algorithmic skeletons correspond to a high-level programming model that takes advantage of nestable programming patterns to hide the complexity of parallel/distributed ap...
151
click to vote
HYBRID
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
164
click to vote
ICCBR
2007
Springer
16 years 23 days ago
2007
Springer
Current efficient planners employ an informed search guided by a heuristic function that is quite expensive to compute. Thus, ordering nodes in the search tree becomes a key issue,...
173
click to vote
ICOIN
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We consider the problem of balancing the traffic load ideally over a wireless multihop network. In previous work, a systematic approach to this task was undertaken, start...
151
click to vote
IFM
2007
Springer
16 years 23 days ago
2007
Springer
Many process calculi have been proposed since Robin Milner and Tony Hoare opened the way more than 25 years ago. Although they are based on the same kernel of operators, most of th...