Zobrazeno 1 - 10
of 300
pro vyhledávání: '"Schmid Georg"'
Autor:
Vogel Guido, Strauss André, Jenni Bernard, Ziegler Dominik, Dumermuth Eric, Antz Sylvie, Bardouille Claudia, Wipf Beat, Miscenic Christian, Schmid Georg, Pflüger Valentin
Publikováno v:
BMC Proceedings, Vol 5, Iss Suppl 8, p P45 (2011)
Externí odkaz:
https://doaj.org/article/47d68317dd7644fa893af8e4c3c27f78
Autor:
Schaarschmidt, Michael, Grewe, Dominik, Vytiniotis, Dimitrios, Paszke, Adam, Schmid, Georg Stefan, Norman, Tamara, Molloy, James, Godwin, Jonathan, Rink, Norman Alexander, Nair, Vinod, Belov, Dan
The rapid rise in demand for training large neural network architectures has brought into focus the need for partitioning strategies, for example by using data, model, or pipeline parallelism. Implementing these methods is increasingly supported thro
Externí odkaz:
http://arxiv.org/abs/2112.02958
Modern large-scale deep learning workloads highlight the need for parallel execution across many devices in order to fit model data into hardware accelerator memories. In these settings, array redistribution may be required during a computation, but
Externí odkaz:
http://arxiv.org/abs/2112.01075
Autor:
Schmid, Georg, Kunčak, Viktor
We present a tool for verification of deterministic programs with shared mutable references against specifications such as assertions, preconditions, postconditions, and read/write effects. We implement our tool by encoding programs with mutable refe
Externí odkaz:
http://arxiv.org/abs/2103.07699
Type-level programming is an increasingly popular way to obtain additional type safety. Unfortunately, it remains a second-class citizen in the majority of industrially-used programming languages. We propose a new dependently-typed system with subtyp
Externí odkaz:
http://arxiv.org/abs/2011.07653