840 search results - page 137 / 168 » Test suite oscillations |
133
Voted
CASES
2008
ACM
15 years 2 months ago
2008
ACM
We present a novel loop transformation technique, particularly well suited for optimizing embedded compilers, where an increase in compilation time is acceptable in exchange for s...
103
click to vote
ACIVS
2006
Springer
15 years 2 months ago
2006
Springer
In many application scenarios, the use of Regions of Interest (ROIs) within video sequences is a useful concept. It is shown in this paper how Flexible Macroblock Ordering (FMO), d...
117
click to vote
CONCUR
2008
Springer
15 years 2 months ago
2008
Springer
We present an algorithm for partial order reduction in the context of a countable universe of deterministic actions, of which finitely many are enabled at any given state. This mea...
127
click to vote
ECAI
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. The paper presents an implemented model for priming speech recognition, using contextual information about salient entities. The underlying hypothesis is that, in human-r...
ECOOP
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Lightweight bytecode verification uses stack maps to annotate Java bytecode programs with type information in order to reduce the verification to type checking. This pape...