Síntesis de especificaciones paramétricas de utilización de la memoria dinámica

Mostrar todas las versiones(3)

En los últimos años se ha visto un gran interés en las comunidades de sistemas de tiempo real y embebidos en el uso de de lenguajes orientados a objetos tipo Java. Los motivos de este interés se deben en parte a que este tipo de tecnologías facilitan la encapsulación de abstracciones y la comunicaci...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autor principal:	Garbervetsky, Diego
Formato:	Tesis Doctoral
Lenguaje:	Inglés
Publicado:	2007
Materias:	ADMINISTRACION DE MEMORIA DINAMICA CONSUMO DE MEMORIA SISTEMAS EMBEBIDOS ANALISIS ESTATICO ANALISIS DE ESCAPE DYNAMIC MEMORY MANAGEMENT MEMORY CONSUMPTION EMBEDDED SYSTEMS STATIC ANALYSIS ESCAPE ANALYSIS
Acceso en línea:	https://hdl.handle.net/20.500.12110/tesis_n4141_Garbervetsky
Aporte de:	Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Síntesis de especificaciones paramétricas de utilización de la memoria dinámica
por: Garbervetsky, Diego
Publicado: (2007)

Síntesis de especificaciones paramétricas de utilización de la memoria dinámica
por: Garbervetsky, Diego
Publicado: (2007)

Summary-based inference of quantitative bounds of live heap objects
por: Braberman, Víctor Adrián, et al.
Publicado: (2014)

Summary-based inference of quantitative bounds of live heap objects
por: Braberman, V., et al.

On verifying resource contracts using code contracts
por: Garbervetsky, Diego, et al.
Publicado: (2014)

Resource usage contracts for .NET
por: Tapicer, Jonathan, et al.
Publicado: (2011)

Resource usage contracts for .NET
por: Tapicer, J., et al.

On verifying resource contracts using code contracts
por: Castaño, R., et al.

Caracterización del receptor de glutamato tipo NMDA en el cangrejo Neohelice granulata y estudio de su rol en procesos de aprendizaje y memoria
por: Hepp, Yanil
Publicado: (2012)

Caracterización del receptor de glutamato tipo NMDA en el cangrejo Neohelice granulata y estudio de su rol en procesos de aprendizaje y memoria
por: Hepp, Yanil
Publicado: (2012)

Caracterización del receptor de glutamato tipo NMDA en el cangrejo Neohelice granulata y estudio de su rol en procesos de aprendizaje y memoria
por: Hepp, Yanil
Publicado: (2012)

Symbolic polynomial maximization over convex sets and its application to memory requirement estimation
por: Fernández, Federico Javier, et al.
Publicado: (2009)

Estudio de la expresión génica en tumores colorectales humanos por medio de la técnica de microarrays de ADNc. Relación con un posible modelo de escape tumoral al sistema inmunológico
por: Levy, Estrella Mariel
Publicado: (2007)

Estudio de la expresión génica en tumores colorectales humanos por medio de la técnica de microarrays de ADNc. Relación con un posible modelo de escape tumoral al sistema inmunológico
por: Levy, Estrella Mariel
Publicado: (2007)

Estudio de la expresión génica en tumores colorectales humanos por medio de la técnica de microarrays de ADNc. Relación con un posible modelo de escape tumoral al sistema inmunológico
por: Levy, Estrella Mariel
Publicado: (2007)

Symbolic polynomial maximization over convex sets and its application to memory requirement estimation
por: Clauss, P., et al.

Parametric prediction of heap memory requirements
por: Braberman, V., et al.

Parametric prediction of heap memory requirements
por: Braberman, Víctor Adrián, et al.
Publicado: (2008)

Summary-based inference of quantitative bounds of live heap objects
por: Braberman, Víctor Adrián, et al.
Publicado: (2013)

Summary-based inference of quantitative bounds of live heap objects
por: Braberman, V., et al.

El análisis estático como herramienta de evaluación en cátedras con proyectos de programación
por: Larrea, Martín Leonardo
Publicado: (2021)

Quantitative dynamic-memory analysis for Java
por: Garbervetsky, D., et al.

Quantitative dynamic-memory analysis for Java
por: Garbervetsky, Diego, et al.
Publicado: (2011)

Objetos valiosos: la apropiación y valoración de anime, manga y merchandising en la Ciudad Autónoma de Buenos Aires
por: Ortiz, Carlos Maximiliano
Publicado: (2021)

Behavioral and neuronal attributes of short- and long-term habituation in the crab Chasmagnathus
por: Tomsic, Daniel, et al.
Publicado: (2009)

Behavioral and neuronal attributes of short- and long-term habituation in the crab Chasmagnathus
por: Tomsic, D., et al.

"Hay una diferencia sensible entre quienes iniciaron la guerra y quienes la afrontaron" : La postura del diario <i>La Nación</i> frente a los indultos presidenciales concedidos a militares y civiles en Argentina (1989-1990)
por: Gago, María Paula
Publicado: (2012)

Memoria cultural: un modelo para el descentramiento de la historiografía de la música electroacústica
por: Cuevas, Pablo
Publicado: (2018)

Producción y comercialización de sistemas de escape
por: Ale, Brenda Amira, et al.
Publicado: (2019)

On transforming Java-like programs into memory-predictable code
por: Garbervetsky, D., et al.

Region-based memory management: An evaluation of its support in RTSJ
por: Garbervetsky, Diego
Publicado: (2012)

On transforming Java-like programs into memory-predictable code
por: Garbervetsky, Diego, et al.
Publicado: (2009)

Reflections on an itinerary of memory in the city of Santa Fe
por: Dejon, Silvia
Publicado: (2012)

Verificación de software usando Alloy
por: Galeotti, Juan Pablo
Publicado: (2010)

Verificación de software usando Alloy
por: Galeotti, Juan Pablo
Publicado: (2010)

Verificación de software usando Alloy
por: Galeotti, Juan Pablo
Publicado: (2010)

Managing and Representing Memory: Sites of Memory in the Colombian Experience
por: Guerrero Rodríguez, Freddy Alfonso, et al.
Publicado: (2025)

Memoria : Conceptos sobre la estructura y características de las memorias en la materia Programación II
por: González, Alejandro Héctor
Publicado: (2013)

Region-based memory management: An evaluation of its support in RTSJ
por: Higuera-Toledano, M.T., et al.

Los trabajos de la memoria /
por: Jelin, Elizabeth
Publicado: (2012)