Searching for authors named "Diego Garbervetsky" – sorted by Relevance.
-
A Re-Entrancy Analysis for Object Oriented Programs
- A Re-Entrancy Analysis for Object Oriented Programs Manuel Fähndrich 1 , Diego Garbervetsky 2
- Add To MetaCart
-
Program Instrumentation ans Run-Time Analysis of Scoped Memory in Java
- We present a method to analyze, monitor and control dynamic memory allocation in Java. It first consists in performing pointer and escape analysis to detect memory scopes. This information is used to automatically instrument Java programs in such a way memory is allocated and freed by a region-based
- Add To MetaCart
-
Checklist of information for inclusion in reports of clinical trials. The Asilomar Working Group on Recommendations for Reporting
- and Diego Garbervetsky1 and 2 ⋆⋆ Sergio Yovine 1 Departamento de Computación, FCEYN, Universidad de Buenos
- Cited by 1 (1 self) – Add To MetaCart
-
Improving the Verification of Timed Systems Using Influence Information
- ⋆ , Diego Garbervetsky 1 , and Alfredo Olivero 2⋆⋆ 1 Computer Science Department, FCEyN, Universidad de
- Cited by 7 (3 self) – Add To MetaCart
-
Parametric Prediction of Heap Memory Requirements
- Parametric Prediction of Heap Memory Requirements Víctor Braberman Federico Fernández Diego
- Add To MetaCart
-
Jscoper: Eclipse support for research on scoping and instrumentation for real time java applications
- Applications ∗ Andrés Ferrari, Diego Garbervetsky, Victor Braberman, Pablo Listingart, Sergio Yovine School
- Cited by 2 (0 self) – Add To MetaCart
-
A toolsuite for the verification of realtime systems in eclipse
- de Caso, Andrés Ferrari, Víctor Braberman, Diego Garbervetsky, Nicolás Kicillof, Fernando Schapachnik
- Cited by 1 (0 self) – Add To MetaCart
-
Symbolic polynomial maximization over convex sets and its application to memory requirement estimation
- Estimation PHILIPPE CLAUSS Université Louis Pasteur, France and FEDERICO JAVIER FERNÁNDEZ and DIEGO
- Cited by 2 (2 self) – Add To MetaCart

