On the numerical condition of polynomials in Berstein form
Computer Aided Geometric Design
Curves and surfaces for computer aided geometric design
Curves and surfaces for computer aided geometric design
Memory estimation for high level synthesis
DAC '94 Proceedings of the 31st annual Design Automation Conference
Journal of Parallel and Distributed Computing
Memory size estimation for multimedia applications
Proceedings of the 6th international workshop on Hardware/software codesign
Parametric Analysis of Polyhedral Iteration Spaces
Journal of VLSI Signal Processing Systems - Special issue on application specific systems, architectures and processors
Recursion and dynamic data-structures in bounded space: towards embedded ML programming
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Exact memory size estimation for array computations
IEEE Transactions on Very Large Scale Integration (VLSI) Systems - Special issue on the 11th international symposium on system-level synthesis and design (ISSS'98)
Reducing memory requirements of nested loops for embedded systems
Proceedings of the 38th annual Design Automation Conference
Pointer and escape analysis for multithreaded programs
PPoPP '01 Proceedings of the eighth ACM SIGPLAN symposium on Principles and practices of parallel programming
Introduction to the GiNaC framework for symbolic computation within the C++ programming language
Journal of Symbolic Computation
Static prediction of heap space usage for first-order functional programs
POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Optimized Live Heap Bound Analysis
VMCAI 2003 Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation
Simplifying Polynominal Constraints Over Integers to Make Dependence Analysis More Precise
CONPAR 94 - VAPP VI Proceedings of the Third Joint International Conference on Vector and Parallel Processing: Parallel Processing
Automatic Parallelization in the Polytope Model
The Data Parallel Programming Model: Foundations, HPF Realization, and Scientific Applications
Comparison of interval methods for plotting algebraic curves
Computer Aided Geometric Design
Storage requirement estimation for optimized design of data intensive applications
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Code Generation in the Polyhedral Model Is Easier Than You Think
Proceedings of the 13th International Conference on Parallel Architectures and Compilation Techniques
Region analysis and transformation for Java programs
Proceedings of the 4th international symposium on Memory management
Generating cache hints for improved program efficiency
Journal of Systems Architecture: the EUROMICRO Journal
Lattice-Based Memory Allocation
IEEE Transactions on Computers
Memory size computation for multimedia processing applications
ASP-DAC '06 Proceedings of the 2006 Asia and South Pacific Design Automation Conference
Parametric timing estimation with Newton–Gregory formulae: Research Articles
Concurrency and Computation: Practice & Experience - 10th International Workshop on Compilers for Parallel Computers (CPC 2003)
Memory optimization by counting points in integer transformations of parametric polytopes
CASES '06 Proceedings of the 2006 international conference on Compilers, architecture and synthesis for embedded systems
Integer Polynomial Optimization in Fixed Dimension
Mathematics of Operations Research
pn: a tool for improved derivation of process networks
EURASIP Journal on Embedded Systems
Parametric prediction of heap memory requirements
Proceedings of the 7th international symposium on Memory management
Experiences with enumeration of integer projections of parametric polytopes
CC'05 Proceedings of the 14th international conference on Compiler Construction
Memory usage verification for OO programs
SAS'05 Proceedings of the 12th international conference on Static Analysis
isl: an integer set library for the polyhedral model
ICMS'10 Proceedings of the Third international congress conference on Mathematical software
Polyhedral parallelization of binary code
ACM Transactions on Architecture and Code Optimization (TACO) - HIPEAC Papers
Multivariate amortized resource analysis
ACM Transactions on Programming Languages and Systems (TOPLAS)
Hi-index | 0.00 |
Memory requirement estimation is an important issue in the development of embedded systems, since memory directly influences performance, cost and power consumption. It is therefore crucial to have tools that automatically compute accurate estimates of the memory requirements of programs to better control the development process and avoid some catastrophic execution exceptions. Many important memory issues can be expressed as the problem of maximizing a parametric polynomial defined over a parametric convex domain. Bernstein expansion is a technique that has been used to compute upper bounds on polynomials defined over intervals and parametric "boxes". In this paper, we propose an extension of this theory to more general parametric convex domains and illustrate its applicability to the resolution of memory issues with several application examples.