Evaluación de técnicas de detección de errores en programas concurrentes

Una característica fundamental de los sistemas de software es que se construyen desde el principio sabiendo que deberán incorporar cambios a lo largo de su ciclo de vida. Todos los libros que tratan sobre ingeniería de software coinciden en que los sistemas son evolutivos. Incluso al evaluar el esfu...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autor principal:	Frati, Fernando Emmanuel
Otros Autores:	De Giusti, Armando Eduardo
Formato:	Tesis Trabajo de especializacion
Lenguaje:	Español
Publicado:	2014
Materias:	Ciencias Informáticas errores de concurrencia Concurrent Programming Parallel programming paralelismo Error-checking depuración
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/36923
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Optimización de herramientas de monitoreo de errores de concurrencia a través de contadores de hardware
por: Frati, Fernando Emmanuel, et al.
Publicado: (2011)

Software para arquitecturas basadas en procesadores de múltiples núcleos : Detección automática de errores de concurrencia
por: Frati, Fernando Emmanuel
Publicado: (2015)

Detección de interleavings no serializables usando contadores de hardware
por: Frati, Fernando Emmanuel, et al.
Publicado: (2012)

Formalizando algoritmos concorrentes
por: Diverio, Tiarajú A., et al.
Publicado: (2001)

Una metodología de detección de fallos transitorios en aplicaciones paralelas sobre cluster de multicores
por: Montezanti, Diego Miguel
Publicado: (2014)

Enseñanza de programación paralela y distribuida en las carreras de grado de Computación
por: Arroyo, Marcelo
Publicado: (2015)

Concurrencia
por: González, Alejandro Héctor
Publicado: (2013)

Representing parallel programs with MPI by exploiting a graph-based approach
por: Sato, Liria Matsumoto, et al.
Publicado: (2001)

Uma análise dos modelos que integram o paralelismo e/ou na programação em lógica
por: Geyer, Cláudio Fernando Resin, et al.
Publicado: (1998)

Especificación, diseño e implementación de un entorno de programación concurrente basado en patrones
por: Pérez, Gervasio Daniel
Publicado: (2018)

Especificación, diseño e implementación de un entorno de programación concurrente basado en patrones
por: Pérez, Gervasio Daniel
Publicado: (2018)

Especificación, diseño e implementación de un entorno de programación concurrente basado en patrones
por: Pérez, Gervasio Daniel
Publicado: (2018)

Parallelizing algorithms in ada on clementina II : Face recognition system
por: Champredonde, Raúl, et al.
Publicado: (2001)

Software for multi-core processor-based architectures : Automatic detection of concurrency errors
por: Frati, Fernando Emmanuel
Publicado: (2015)

Experiencias con Da Vinci Concurrente en la enseñanza inicial de la programación y la programación concurrente
por: Depetris, Beatriz O., et al.
Publicado: (2013)

Conceptos iniciales de concurrencia : Módulo concurrente
por: González, Alejandro Héctor, et al.
Publicado: (2021)

Estudio de recuperación de errores en bases de datos distribuidas
por: Ruscuni, Sebastián Mariano
Publicado: (2000)

Mecanismos de sincronización en programación funcional concurrente
por: Blanco, Javier, et al.
Publicado: (1997)

Avaliando o desempenho de aglomerados com biblioteca MPI utilizando benchmark MP Bench
por: Kassalias, Nicolas, et al.
Publicado: (2001)

Improving automated error diagnosis for OOP practice with C++
por: Novara, Pablo
Publicado: (2014)

Alguns fatores que influenciam o desempenho de sistemas DSM
por: Midorikawa, Edson T., et al.
Publicado: (2001)

Domain-based parallelism and problem decomposition methods in computational science and engineering
por: Keyes, David E.
Publicado: (1995)

Servidor paralelo SQL-BSP para aplicaciones web
por: Canumán, José, et al.
Publicado: (2001)

Extensión del lenguaje y modelo Simplesem con soporte para paralelismo
por: Diez de Medina, Lucas L., et al.
Publicado: (2013)

A multiplatform interpreter to introduce structured and concurrent programming
por: Depetris, Beatriz O., et al.
Publicado: (2012)

On bulk-synchronous distributed-memory parallel processing of relational-database transactions
por: Marín, Mauricio, et al.
Publicado: (2001)

Paralelización del algoritmo de clasificación DER usando imágenes hiperespectrales
por: Sanz, Cecilia Verónica, et al.
Publicado: (2001)

Enhancing data parallel aplications with task parallelism
por: Fernández, Jacqueline, et al.
Publicado: (2001)

Programación concurrente: una aproximación a las dificultades de su aprendizaje
por: Miños, Alejandro, et al.
Publicado: (2015)

Parallelizing a new environment based clustering method
por: Lanzarini, Laura Cristina, et al.
Publicado: (2001)

Exclusión mutua para grupos de procesos utilizando un actor
por: Cenci, Karina M., et al.
Publicado: (2007)

Toward full elasticity in distributed static analysis: The case of callgraph analysis
por: Garbervetsky, D., et al.

Toward full elasticity in distributed static analysis: The case of callgraph analysis
Publicado: (2017)

LMRE: un entorno multiprocesador para la enseñanza de conceptos de concurrencia en un curso CS1
por: De Giusti, Armando Eduardo, et al.
Publicado: (2011)

Generación de invariantes para implementar eficientemente regiones críticas condicionales
por: Barsotti, Damián, et al.
Publicado: (2007)

Modelos de predicción de perfomance en sistemas paralelos
por: De Giusti, Laura Cristina, et al.
Publicado: (2002)

Problemas de la sincronización de relojes en clusters
por: Romero, Fernando, et al.
Publicado: (2007)

¿Concurrencia y Paralelismo en el primer curso de Algorítmica?
por: De Giusti, Armando Eduardo, et al.
Publicado: (2010)

Skeletal parallel programming
por: Saez, Fernando, et al.
Publicado: (2007)

Concurrencia y paralelismo en CS1 : La utilización de un lenguaje visual orientado
por: De Giusti, Armando Eduardo, et al.
Publicado: (2012)