643 search results - page 55 / 129 » A browser for incremental programming |
ICCBR
2001
Springer
14 years 2 months ago
2001
Springer
Case-based reasoning systems need to know the limitations of their expertise. Having found the known source cases most relevant to a target problem, they must assess whether those ...
CONSTRAINTS
2004
13 years 10 months ago
2004
Abstract. CLPGUI is a generic graphical user interface for visualizing and controlling the execution of constraint logic programs. CLPGUI has been designed to be used in different ...
ICDCS
1998
IEEE
14 years 2 months ago
1998
IEEE
We introduce a new performance metric, called Load Balancing Factor (LBF), to assist programmers with evaluating different tuning alternatives. The LBF metric differs from traditi...
RC
2002
13 years 9 months ago
2002
Existing interval constraint logic programming languages, such as BNR Prolog, work under the framework of interval narrowing and are deficient in solving systems of linear constrai...
CHARME
2003
Springer
14 years 3 months ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...