Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Martres, Guillaume"'
Performance-critical industrial applications, including large-scale program, network, and distributed system analyses, are increasingly reliant on recursive queries for data analysis. Yet traditional relational algebra-based query optimization techni
Externí odkaz:
http://arxiv.org/abs/2312.04282
Autor:
Martres, Guillaume
The Dependent Object Type (DOT) calculus was designed to put Scala on a sound basis, but while DOT relies on structural subtyping, Scala is a fundamentally class-based language. This impedance mismatch means that a proof of DOT soundness by itself is
Externí odkaz:
http://arxiv.org/abs/2307.05557
Autor:
Cho, Yushin, Daede, Thomas J., Egge, Nathan E., Martres, Guillaume, Matthews, Tristan, Montgomery, Christopher, Terriberry, Timothy B., Valin, Jean-Marc
The Daala project is a royalty-free video codec that attempts to compete with the best patent-encumbered codecs. Part of our strategy is to replace core tools of traditional video codecs with alternative approaches, many of them designed to take perc
Externí odkaz:
http://arxiv.org/abs/1610.02488
Autor:
Daede, Thomas J., Egge, Nathan E., Valin, Jean-Marc, Martres, Guillaume, Terriberry, Timothy B.
The Daala project is a royalty-free video codec that attempts to compete with the best patent-encumbered codecs. Part of our strategy is to replace core tools of traditional video codecs with alternative approaches, many of them designed to take perc
Externí odkaz:
http://arxiv.org/abs/1603.03129
Autor:
Tescher, Andrew G., Cho, Yushin, Daede, Thomas J., Egge, Nathan E., Martres, Guillaume, Matthews, Tristan, Montgomery, Christopher, Terriberry, Timothy B., Valin, Jean-Marc
Publikováno v:
Proceedings of SPIE; September 2016, Vol. 9971 Issue: 1 p997115-997115-19