5159 search results - page 403 / 1032 » Structural Testing of Executables |
175
click to vote
IJCAI
1989
15 years 8 months ago
1989
Fold-unfold is a well known program transformation technique. Its major drawback is that folding requires an Eureka step to invent new procedures. In the context of logic programm...
207
click to vote
ITSSA
2006
15 years 7 months ago
2006
: General purpose workflow management systems are often unable to match user requirements of a particular application. In many points of the workflow the user has to take decisions...
179
click to vote
SIGCSE
2008
ACM
15 years 7 months ago
2008
ACM
: The generalized problem of placing n queens on an n-by-n board provides an "embarrassingly parallel" problem for parallel solution. This paper expands on the discussion...
192
Voted
ALGORITHMICA
2005
15 years 7 months ago
2005
A new form of optimality for comparison based static dictionaries is introduced. This type of optimality, keyindependent optimality, is motivated by applications that assign key v...
177
Voted
ENTCS
2002
15 years 7 months ago
2002
This work is part of the Fujaba project. The Fujaba project aims to use the Unified Modeling Language UML as a programmed graph rewriting language. This paper describes the new gr...