14 search results - page 2 / 3 » The Third Rewrite Engines Competition |
CGO
2003
IEEE
13 years 9 months ago
2003
IEEE
In this paper, we present METRIC, an environment for determining memory inefficiencies by examining data traces. METRIC is designed to alter the performance behavior of applicatio...
AMAST
2004
Springer
13 years 10 months ago
2004
Springer
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...
INTR
2007
13 years 5 months ago
2007
Purpose – The purpose of this paper is to identify the most popular techniques used to rank a web page highly in Google. Design/methodology/approach – The paper presents the r...
CLEF
2010
Springer
13 years 6 months ago
2010
Springer
In this paper we describe a cluster-based plagiarism detection method, which we have used in the learning management system of SCUT to detect plagiarism in the network engineering ...
WWW
2006
ACM
14 years 6 months ago
2006
ACM
Contextual search refers to proactively capturing the information need of a user by automatically augmenting the user query with information extracted from the search context; for...