11740 search results - page 236 / 2348 » More Problems in Rewriting |
160
click to vote
RTA
2007
Springer
16 years 20 days ago
2007
Springer
The third Termination Competition took place in June 2006. We present the background, results and conclusions of this competition. 1 Motivation and history In the past decades seve...
186
click to vote
GPCE
2004
Springer
15 years 12 months ago
2004
Springer
Scheme includes a simple yet powerful macro mechanism. Using macros, programmers can easily extend the language with new kinds of expressions and definitions, thus abstracting ove...
162
click to vote
HPDC
1999
IEEE
15 years 11 months ago
1999
IEEE
Process checkpointing is a basic mechanism required for providing High Throughput Computing service on distributively owned resources. We present a new process checkpoint and migr...
152
click to vote
AIED
2009
Springer
16 years 1 months ago
2009
Springer
Intelligent tutoring systems often rely on interactive tutored problem solving to help students learn math, which requires students to work through problems step-by-step while the ...
157
click to vote
IWPC
2000
IEEE
15 years 11 months ago
2000
IEEE
The Java programming language has gained increasing importance for the development of embedded systems. To be cost efficient, such systems have to cope with significant hardware...