Publication
-
Designing an adaptive VM that combines vectorized and JIT execution on heterogeneous hardware In Proceedings
April 2018 -
April 2018 -
Love at first sight: MonetDB/TensorFlow In Proceedings
April 2018 -
Abstract behavioral specification: unifying modeling and programming Dissertation
Formal MethodsApril 2018
-
Through the clouds : urban analytics for smart cities Inaugural Lecture
April 2018 -
Worst-case examples for Lasserre's measure-based hierarchy for polynomial optimization on the hypercube Tech Report
April 2018
-
Mediasync: a new handbook Magazine Article
April 2018
-
Approximation and complexity of multi-target graph search and the Canadian traveler problem Article
Theoretical Computer Science, 14-25.April 2018