Zobrazeno 1 - 10
of 26
pro vyhledávání: '"Herhut, Stephan"'
Autor:
Vasilache, Nicolas, Zinenko, Oleksandr, Bik, Aart J. C., Ravishankar, Mahesh, Raoux, Thomas, Belyaev, Alexander, Springer, Matthias, Gysi, Tobias, Caballero, Diego, Herhut, Stephan, Laurenzo, Stella, Cohen, Albert
Despite significant investment in software infrastructure, machine learning systems, runtimes and compilers do not compose properly. We propose a new design aiming at providing unprecedented degrees of modularity, composability and genericity. This p
Externí odkaz:
http://arxiv.org/abs/2202.03293
Autor:
Gysi, Tobias, Müller, Christoph, Zinenko, Oleksandr, Herhut, Stephan, Davis, Eddie, Wicky, Tobias, Fuhrer, Oliver, Hoefler, Torsten, Grosser, Tobias
Traditional compilers operate on a single generic intermediate representation (IR). These IRs are usually low-level and close to machine instructions. As a result, optimizations relying on domain-specific information are either not possible or requir
Externí odkaz:
http://arxiv.org/abs/2005.13014
Publikováno v:
In Theoretical Computer Science 18 November 2013 513:25-37
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Penczek, Frank, Herhut, Stephan, Grelck, Clemens, Scholz, Sven-Bodo, Shafarenko, Alex, Barrère, Rémi, Lenormand, Eric
Publikováno v:
In Procedia Computer Science May 2010 1(1):2085-2094
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
2012 16th Workshop on Interaction between Compilers & Computer Architectures (INTERACT); 1/ 1/2012, p41-48, 8p
Publikováno v:
Implementation & Application of Functional Languages (9783642164774); 2011, p107-124, 18p
Publikováno v:
Leveraging Applications of Formal Methods, Verification & Validation (9783642165573); 2010, p47-57, 11p