13841 search results - page 250 / 2769 » Algorithms and Constraint Programming |
147
click to vote
DATE
2006
IEEE
16 years 20 days ago
2006
IEEE
Software-based self-test (SBST) of processors offers many benefits, such as dispense with expensive test equipments, test execution during maintenance and in the field or initiali...
150
Voted
SODA
2004
ACM
15 years 8 months ago
2004
ACM
220
Voted
RR
2009
Springer
15 years 11 months ago
2009
Springer
In this paper we argue the case for integrating the distinctive functionalities of logic programs and production systems within an abductive logic programming agent framework. In t...
165
click to vote
CSR
2006
Springer
15 years 10 months ago
2006
Springer
We classify the computational complexity of all constraint satisfaction problems where the constraint language is preserved by all permutations of the domain. A constraint languag...
182
click to vote
IJICT
2007
15 years 6 months ago
2007
We propose a parallel algorithm for dynamic slicing of distributed Java programs. Given a distributed Java program, we first construct an intermediate representation in the form o...