668 search results - page 18 / 134 » Implementing and Evaluating Automatic Checkpointing |
POPL
2002
ACM
14 years 7 months ago
2002
ACM
Some compilation systems, such as offline partial evaluators and selective dynamic compilation systems, support staged optimizations. A staged optimization is one where a logicall...
VL
2010
IEEE
13 years 5 months ago
2010
IEEE
Visual programming languages can be used to make computer science more accessible to a broad range of students. The evaluative focus of current research in the area of visual lang...
SEMWEB
2004
Springer
14 years 2 days ago
2004
Springer
Turning the current Web into a Semantic Web requires automatic approaches for annotation of existing data since manual approaches will not scale in general. We here present an app...
ICPP
2007
IEEE
14 years 1 months ago
2007
IEEE
We propose and evaluate a novel approach for automatic parallelization. The approach uses traces as units of parallel work. We discuss the benefits and challenges of the use of t...
CIKM
2001
Springer
13 years 11 months ago
2001
Springer
In this paper we are mainly concerned with discussion of a formal model, based on the basic concept of divergence from information theory, for automatic query expansion. The basic...