Autor der Publikation

Counting affine calculator and applications

. 1st International Workshop on Polyhedral Compilation Techniques (IMPACT’11), Chamonix, France, (2011)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Polyhedral Process Networks. Handbook of Signal Processing Systems, Springer New York, (2013)Experience with Widening Based Equivalence Checking in Realistic Multimedia Systems., , , , und . J. Electron. Test., 26 (2): 279-292 (2010)Symbolic Polynomial Maximization Over Convex Sets and Its Application to Memory Requirement Estimation., , , und . IEEE Trans. Very Large Scale Integr. Syst., 17 (8): 983-996 (2009)The Next 700 Accelerated Layers: From Mathematical Expressions of Network Computation Graphs to Accelerated GPU Kernels, Automatically., , , , , , , , und . ACM Trans. Archit. Code Optim., 16 (4): 38:1-38:26 (2020)Counting affine calculator and applications. 1st International Workshop on Polyhedral Compilation Techniques (IMPACT’11), Chamonix, France, (2011)Computing Parametric Rational Generating Functions with a Primal Barvinok Algorithm., und . Electr. J. Comb., (2008)Equivalence checking of static affine programs using widening to handle recurrences., , und . ACM Trans. Program. Lang. Syst., 34 (3): 11:1-11:35 (2012)Counting Integer Points in Parametric Polytopes Using Barvinok's Rational Functions., , , , und . Algorithmica, 48 (1): 37-66 (2007)pn: A Tool for Improved Derivation of Process Networks., , und . EURASIP J. Embed. Syst., (2007)PENCIL: A Platform-Neutral Compute Intermediate Language for Accelerator Programming, , , , , , , , , und 1 andere Autor(en). Proceedings of the 24th International Conference on Parallel Architectures and Compilation Techniques, Seite 138--149. (2015)