6829 search results - page 1060 / 1366 » Quantitative Generalizations of Languages |
127
click to vote
CP
2007
Springer
16 years 27 days ago
2007
Springer
In this paper we present new techniques for improving backtracking based Quantified Constraint Satisfaction Problem (QCSP) solvers. QCSP is a generalization of CSP in which variab...
182
click to vote
DCOSS
2007
Springer
16 years 27 days ago
2007
Springer
Macroprogramming—the technique of specifying the behavior of the system, as opposed to the constituent nodes—provides application developers with high level abstractions that a...
179
click to vote
EMSOFT
2007
Springer
16 years 26 days ago
2007
Springer
There is increasing interest in using general-purpose operating systems, such as Linux, on embedded platforms. It is especially important in embedded systems to use memory effici...
168
click to vote
GECCO
2007
Springer
16 years 26 days ago
2007
Springer
Fault-based testing is often advocated to overcome limitations of other testing approaches; however it is also recognized as being expensive. On the other hand, evolutionary algor...
182
click to vote
ICALP
2007
Springer
16 years 26 days ago
2007
Springer
d Abstract) Noga Alon∗ Fedor V. Fomin† Gregory Gutin‡ Michael Krivelevich§ Saket Saurabh¶ We prove that finding a rooted subtree with at least k leaves in a directed grap...