12981 search results - page 2352 / 2597 » Model Checking (Abstract) |
106
click to vote
BIRD
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We apply the concept of subset seeds proposed in [1] to similarity search in protein sequences. The main question studied is the design of efficient seed alphabets to con...
128
click to vote
BIRTHDAY
2008
Springer
15 years 6 months ago
2008
Springer
This is a discursive paper. That is, it shows some formulas (but only as examples so that the reader may be convinced that there is, perhaps, some substance to our claims), no theo...
161
click to vote
BIRTHDAY
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. UML models consist of several diagrams of different types describing different views of a software system ranging from specifications of the static system structure to de...
159
click to vote
CC
2008
Springer
15 years 6 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...
164
click to vote
CCGRID
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract--The current trend in high performance computing is to aggregate ever larger numbers of processing and interconnection elements in order to achieve desired levels of compu...