713 search results - page 76 / 143 » Saving Space by Algebraization |
88
Voted
MOC
2000
15 years 10 days ago
2000
This paper continues earlier work by the same author concerning the stability and B-convergence properties of multistep Runge-Kutta methods for the numerical solution of nonlinear ...
TIT
1998
15 years 6 days ago
1998
—In 1948 Shannon developed fundamental limits on the efficiency of communication over noisy channels. The coding theorem asserts that there are block codes with code rates arbit...
117
click to vote
EUROPAR
2011
Springer
14 years 9 days ago
2011
Springer
: Tuning numerical libraries has become more difficult over time, as systems get more sophisticated. In particular, modern multicore machines make the behaviour of algorithms hard ...
133
Voted
TOG
2012
13 years 3 months ago
2012
We present a novel representation of maps between pairs of shapes that allows for efficient inference and manipulation. Key to our approach is a generalization of the notion of m...
106
click to vote
ENTCS
2008
15 years 19 days ago
2008
The verification of quantitative aspects like performance and dependability by means of model checking has become an important and vivid area of research over the past decade. An ...