3750 search results - page 534 / 750 » Timed Automata Patterns |
122
click to vote
SC
2009
ACM
15 years 10 months ago
2009
ACM
Sparse matrix-vector multiplication (SpMV) is of singular importance in sparse linear algebra. In contrast to the uniform regularity of dense linear algebra, sparse operations enc...
143
click to vote
IEEEPACT
2009
IEEE
15 years 10 months ago
2009
IEEE
—Analytical models have been used to estimate optimal values for parameters such as tile sizes in the context of loop nests. However, important algorithms such as fast Fourier tr...
121
click to vote
AIMS
2009
Springer
15 years 10 months ago
2009
Springer
The analysis of network traces often requires to find the spots where something interesting happens. Since traces are usually very large data-sets, it is often not easy and time i...
159
click to vote
CPM
2009
Springer
15 years 9 months ago
2009
Springer
A sequence of reversals that takes a signed permutation to the identity is perfect if it preserves all common intervals between the permutation and the identity. The problem of com...
147
click to vote
PKDD
2009
Springer
15 years 9 months ago
2009
Springer
We propose a new, recursive model to generate realistic graphs, evolving over time. Our model has the following properties: it is (a) flexible, capable of generating the cross pro...