1399 search results - page 240 / 280 » Verification of Test Suites |
CASES
2008
ACM
14 years 29 days 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...
ACIVS
2006
Springer
14 years 29 days 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...
CONCUR
2008
Springer
14 years 23 days 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...
ECAI
2008
Springer
14 years 23 days 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...
EKAW
2008
Springer
14 years 22 days ago
2008
Springer
Semantic Web applications tests show that their usability is seriously compromised. This motivates the exploration of alternative interaction paradigms, different from the "tr...