12:10-13:00, Dr. Eitan Bachmat, BGU
Formal properties of I/O models and metric spaces
We show how formal properties of various I/O models such as the IRM model and the fractal PQRS model are related to the theory of translation invariant metrics on the real line.
The problems which we discuss arose in the process of designing commercially available dynamic storage configuration software.
The software relies on very coarse data and the results show that despite the insufficient data the algorithm is very unlikely to make mistakes. Joint work with Tao-Kai Lam and Avner Magen.