AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Diego Garbervetsky

Diego Garbervetsky

Universidad de Buenos Aires - Buenos Aires / Argentina
Engineering & Technology / Computer Science
AD Scientific Index ID: 833906
University of Buenos Aires
person_outline Diego Garbervetsky's MOST POPULAR ARTICLES
1-) Parametric prediction of heap memory requirements Proceedings of the 7th international symposium on Memory management, 141-150, 2008
2-) A Static Analysis for Synthesizing Paramet-ric Specifications of Dynamic Memory Con-sumption Journal of Object Technology 5 (5), 2006
3-) Automated abstractions for contract validation IEEE Transactions on Software Engineering 38 (1), 141-162, 2010
4-) Symbolic polynomial maximization over convex sets and its application to memory requirement estimation IEEE transactions on very large scale integration (VLSI) systems 17 (8), 983-996, 2009
5-) Program instrumentation and run-time analysis of scoped memory in java Electronic Notes in Theoretical Computer Science 113, 105-121, 2005