7430 search results - page 564 / 1486 » Programming Applications in CIFF |
172
click to vote
PADL
2004
Springer
16 years 13 days ago
2004
Springer
One of the major problems that actual logic programming systems have to address is whether and how to prune undesirable parts of the search space. A region of the search space woul...
199
click to vote
CP
2003
Springer
16 years 9 days ago
2003
Springer
Constraint programming is a technology which is now widely used to solve combinatorial problems in industrial applications. However, using it requires considerable knowledge and e...
203
click to vote
ECOOP
2003
Springer
16 years 9 days ago
2003
Springer
Abstract. Embedded computer control is increasingly common in appliances, vehicles, communication devices, medical instruments, and many other systems. Some embedded computer syste...
182
click to vote
ICRA
2002
IEEE
16 years 1 days ago
2002
IEEE
This paper describes a set of tools that allows a developer to instrument an autonomous control system to log data at run-time and then analyze that data to verify correct program...
218
click to vote
IWPC
2002
IEEE
16 years 13 hour ago
2002
IEEE
Program slicing has many applications in software engineering activities including program comprehension, debugging, testing, maintenance, and model checking. In this paper, we pr...