From post

Polyhedral Techniques for Parametric Memory Requirement Estimation

, , , и . Energy-Aware Memory Management for Embedded Multimedia Systems: A Computer-Aided Design Approach, Chapman and Hall/CRC, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Experience with Widening Based Equivalence Checking in Realistic Multimedia Systems., , , , и . J. Electron. Test., 26 (2): 279-292 (2010)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., , , , , , , , и . ACM Trans. Archit. Code Optim., 16 (4): 38:1-38:26 (2020)Symbolic Polynomial Maximization Over Convex Sets and Its Application to Memory Requirement Estimation., , , и . IEEE Trans. Very Large Scale Integr. Syst., 17 (8): 983-996 (2009)Equivalence checking of static affine programs using widening to handle recurrences., , и . ACM Trans. Program. Lang. Syst., 34 (3): 11:1-11:35 (2012)Counting affine calculator and applications. 1st International Workshop on Polyhedral Compilation Techniques (IMPACT’11), Chamonix, France, (2011)Counting Integer Points in Parametric Polytopes Using Barvinok's Rational Functions., , , , и . Algorithmica, 48 (1): 37-66 (2007)Computing Parametric Rational Generating Functions with a Primal Barvinok Algorithm., и . Electr. J. Comb., (2008)pn: A Tool for Improved Derivation of Process Networks., , и . EURASIP J. Embed. Syst., (2007)Experience with widening based equivalence checking in realistic multimedia systems., , , , и . HLDVT, стр. 122-129. IEEE Computer Society, (2009)