7393 search results - page 571 / 1479 » Synthesis-for-testability using transformations |
189
Voted
WLP
2000
Springer
15 years 11 months ago
2000
Springer
In this paper, a dynamic approach to deductive query evaluation is presented which combines the e ects of di erent SIP strategies used for the magic set rewriting technique. Given...
205
click to vote
CC
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. This paper introduces a method to generate efficient vectorized implementations of small stride permutations using only vector load and vector shuffle instructions. These...
155
Voted
DOCENG
2008
ACM
15 years 9 months ago
2008
ACM
: From the least to most prominent elements, documents are arranged in a tacit visual hierarchy. This is essential for document scanning and comprehension. This conceptual structur...
212
Voted
ER
2008
Springer
15 years 9 months ago
2008
Springer
For various applications there is the need to compare the similarity between two process models. For example, given the as-is and to-be models of a particular business process, we ...
237
Voted
MEDIAFORENSICS
2010
15 years 8 months ago
2010
Digital multimedia such as images and videos are prevalent on today's internet and cause significant social impact, which can be evidenced by the proliferation of social netw...