268 search results - page 31 / 54 » Experimental Evaluation of Code Properties for WCET Analysis |
IJCAI
2001
14 years 11 months ago
2001
A new approach for constructing pseudo-keywords, referred to as Sense Units, is proposed. Sense Units are obtained by a word clustering process, where the underlying similarity re...
ICDAR
2009
IEEE
14 years 7 months ago
2009
IEEE
In this paper we present a novel method for removing page rule lines in monochromatic handwritten Arabic documents using subspace methods with minimal effect on the quality of the...
WORDS
2003
IEEE
15 years 2 months ago
2003
IEEE
Most of today’s distributed computing systems in the field do not support the migration of execution entities among computing nodes during runtime. The relatively static associa...
FMCAD
2009
Springer
15 years 4 months ago
2009
Springer
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...
SC
1995
ACM
15 years 1 months ago
1995
ACM
This paper presents an extensive empirical evaluation of an interprocedural parallelizing compiler, developed as part of the Stanford SUIF compiler system. The system incorporates...