Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

12

AFP
2015
Springer

favoriteEmaildiscussreport

24views Formal Methods» more AFP 2015»

Parameterized Dynamic Tables

8 years 13 days ago

Parameterized Dynamic Tables

Download www21.in.tum.de

We analyze the amortized complexity of dynamic tables with arbitrary minimal and maximal load factors and arbitrary expansion and contraction factors.

Tobias Nipkow

Real-time Traffic

AFP 2015 | Formal Methods |

claim paper

Related Content

» Dynamic instantiationchecking components

» Fast textgraphics resolution improvement using wavelet based denoising and chaincode table...

» Parameterized model order reduction of nonlinear dynamical systems

» Phrase Table Training for Precision and Recall What Makes a Good Phrase and a Good Phrase ...

» Qex Symbolic SQL Query Explorer

» Parameterized Function Evaluation for FPGAs

» Table design in dynamic programming

» Parameterized Computation of LCS for Two Sequences

» Momentumbased parameterization of dynamic character motion

» Parameterizing pair approximations for takeover dynamics

Post Info
More Details (n/a)

Added	13 Apr 2016
Updated	13 Apr 2016
Type	Journal
Year	2015
Where	AFP
Authors	Tobias Nipkow

Comments (0)