4067 search results - page 260 / 814 » Programs for Applying Symmetries |
182
click to vote
ICCS
2003
Springer
15 years 12 months ago
2003
Springer
Memory traces record the addresses touched by a program during its execution, enabling many useful investigations for understanding and predicting program performance. But complete...
185
click to vote
ICS
1994
Tsinghua U.
15 years 10 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...
199
click to vote
LPNMR
1993
Springer
15 years 10 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...
157
click to vote
ECOOP
1992
Springer
15 years 10 months ago
1992
Springer
Multiple dispatching provides increased expressive power over single dispatching by guiding method lookup using the values of all arguments instead of only the receiver. However, ...
186
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...