348 search results - page 29 / 70 » Using Case-Based Reasoning to Write Constraint Programs |
145
Voted
KBSE
2010
IEEE
15 years 24 days ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
138
click to vote
PPOPP
2009
ACM
16 years 2 months ago
2009
ACM
On multiprocessors with explicitly managed memory hierarchies (EMM), software has the responsibility of moving data in and out of fast local memories. This task can be complex and...
122
click to vote
CADE
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. An approach based on term rewriting techniques for the automated termination analysis of imperative programs operating on integers is presented. An imperative program is ...
125
click to vote
ESAW
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Current approaches to multi-agent interaction involve specifying protocols as sets of possible interactions, and hard-coding decision mechanisms into agent programs in or...
130
click to vote
HEURISTICS
2008
15 years 27 days ago
2008
Since their beginning in constraint programming, set solvers have been applied to a wide range of combinatorial search problems, such as bin-packing, set partitioning, circuit desi...