( en | de | ru )

 

Disambiguierung von "Verdoolaege, Sven"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Equivalence checking of static affine programs using widening to handle recurrences.

, , und . ACM Trans. Program. Lang. Syst., 34 (3): 11:1-11:35 (2012)

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.

Oskar Svenson

Axel Svensson

Bjørn Svensvik

Uwe Svensson

Roswitha Svensson

 

Weitere Publikationen von Autoren mit dem selben Namen

Polyhedral Process Networks. Handbook of Signal Processing Systems, Springer New York, (2013)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)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)Counting affine calculator and applications. 1st International Workshop on Polyhedral Compilation Techniques (IMPACT’11), Chamonix, France, (2011)Equivalence checking of static affine programs using widening to handle recurrences., , und . ACM Trans. Program. Lang. Syst., 34 (3): 11:1-11:35 (2012)Computing Parametric Rational Generating Functions with a Primal Barvinok Algorithm., und . Electr. J. Comb., (2008)pn: A Tool for Improved Derivation of Process Networks., , und . EURASIP J. Embed. Syst., (2007)Counting Integer Points in Parametric Polytopes Using Barvinok's Rational Functions., , , , und . Algorithmica, 48 (1): 37-66 (2007)Experiences with Enumeration of Integer Projections of Parametric Polytopes., , , und . CC, Volume 3443 von Lecture Notes in Computer Science, Seite 91-105. Springer, (2005)