13841 search results - page 117 / 2769 » Algorithms and Constraint Programming |
123
click to vote
ICST
2010
IEEE
14 years 11 months ago
2010
IEEE
—Recent advances in automated functional testing of Graphical User Interfaces (GUIs) rely on deriving graph models that approximate all possible sequences of events that may be e...
107
Voted
CPAIOR
2009
Springer
15 years 7 months ago
2009
Springer
Many real-world problems require the enumeration of all solutions of combinatorial search problems, even though this is often infeasible in practice. However, not always all parts ...
109
click to vote
OOPSLA
2004
Springer
15 years 6 months ago
2004
Springer
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...
93
Voted
POPL
2010
ACM
15 years 10 months ago
2010
ACM
Traditional parser generation technologies are incapable of handling the demands of modern programmers. In this paper, we present the design and theory of a new parsing engine, YA...
106
click to vote
CP
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Although constraint programming offers a wealth of strong, generalpurpose methods, in practice a complex, real application demands a person who selects, combines, and ref...