1611 search results - page 180 / 323 » A Library for Self-Adjusting Computation |
174
click to vote
VISUAL
1999
Springer
15 years 10 months ago
1999
Springer
In this paper we propose a new General Image DataBase (GIDB) model. The model establishes taxonomy based on the systematisation of existing approaches. The GIDB model is based on t...
150
click to vote
ISCOPE
1998
Springer
15 years 10 months ago
1998
Springer
The multiple minimum degree (MMD) algorithm and its variants have enjoyed 20+ years of research and progress in generating ll-reducing orderings for sparse, symmetric positive de n...
171
click to vote
CIAC
1997
Springer
15 years 10 months ago
1997
Springer
The efficiency of mergesortprogramsis analysed under a simple unit-cost model. In our analysis the time performance of the sorting programs includes the costs of key comparisons, e...
151
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
Fast is a tool designed for the analysis of counter systems, i.e. automata extended with unbounded integer variables. Despite the reachability set is not recursive in general, Fast...
153
click to vote
FPL
2006
Springer
15 years 10 months ago
2006
Springer
FPGAs have become an attractive choice for scientific computing. In this paper, we propose a high performance design for LU decomposition, a key kernel in many scientific and engi...