7430 search results - page 548 / 1486 » Programming Applications in CIFF |
164
click to vote
KBSE
2003
IEEE
16 years 9 days ago
2003
IEEE
We present a method for performing fault localization using similar program spectra. Our method assumes the existence of a faulty run and a larger number of correct runs. It then ...
183
click to vote
ASPLOS
1998
ACM
15 years 11 months ago
1998
ACM
Dynamic storage allocation has become increasingly important in many applications, in part due to the use of the object-oriented paradigm. At the same time, processor speeds are i...
198
click to vote
ICS
1994
Tsinghua U.
15 years 11 months ago
1994
Tsinghua U.
We present a parallel code generation algorithm for complete applications and a new experimental methodology that tests the efficacy of our approach. The algorithm optimizes for d...
213
click to vote
LPNMR
1993
Springer
15 years 11 months ago
1993
Springer
The notion of assumption-based framework generalises and re nes the use of abduction to give a formalisation of non-monotonic reasoning. In this framework, a sentence is a non-mon...
200
click to vote
CPAIOR
2006
Springer
15 years 10 months ago
2006
Springer
We define the timetable constrained distance minimization problem (TCDMP) which is a sports scheduling problem applicable for tournaments where the total travel distance must be mi...