Implementación eficiente de construcciones de alto nivel para la programación concurrente

Mostrar todas las versiones(2)

Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2011.

Detalles Bibliográficos
Autor principal:	Barsotti, Damián
Otros Autores:	Blanco, Javier Oscar
Formato:	doctoralThesis
Lenguaje:	Español
Publicado:	2011
Materias:	Concurrent Programming Software Language Constructs and Features Performance Automatic Programming Deduction and Theorem Proving Programación concurrente Probador de teoremas SMT solver Optimización Región crítica condicional Monitor Señal Semáforo binario dividido Compilación
Acceso en línea:	http://hdl.handle.net/11086/164
Aporte de:	Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba

Ejemplares similares

Implementación eficiente de construcciones de alto nivel para la programación concurrente
por: Barsotti, Damián
Publicado: (2011)

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

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

Simetrías en razonamiento automático : el caso de las lógicas modales y satisfacibilidad módulo teorías
por: Orbe, Alejandro Ezequiel
Publicado: (2016)

Simetrías en razonamiento automático : el caso de las lógicas modales y satisfacibilidad módulo teorías
por: Orbe, Alejandro Ezequiel
Publicado: (2016)

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)

Recent progress in the Boolean domain /
Publicado: (2014)

Sistemas Concurrentes
por: Facultad de Ingeniería y Tecnología Informática
Publicado: (2015)

Sistemas Concurrentes
por: Facultad de Ingeniería y Tecnología Informática
Publicado: (2015)

La enseñanza y el aprendizaje de la programación y la programación concurrente con DaVinci Concurrente
por: Depetris, Beatriz O., et al.
Publicado: (2015)

Evaluación de técnicas de detección de errores en programas concurrentes
por: Frati, Fernando Emmanuel
Publicado: (2014)

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

Testing and validating end user programmed calculated fields
Publicado: (2018)

Testing and validating end user programmed calculated fields
por: Braberman, V., et al.

Stochastic programming: equivalent deterministic model and its implementation in the software environment R
por: Ferreira, Fabián Andrés, et al.
Publicado: (2018)

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

Planificación de procesos para la interpretación de programación en lógica concurrente en PROLOG secuencial
por: Maguitman, Ana Gabriela, et al.
Publicado: (1995)

Simplifying concurrency and monitoring on Arduino for Internet of Things
por: Morán, Ricardo, et al.
Publicado: (2020)

Dynamite 2.0: New features based on UnSAT-core extraction to improve verification of software requirements
por: López Pombo, Carlos Gustavo, et al.
Publicado: (2010)

Dynamite 2.0: New features based on UnSAT-core extraction to improve verification of software requirements
por: Moscato, M.M., et al.

News from the NEA Data Bank /
Publicado: (1994)

Estudio y desarrollo de herramientas sobre probadores de teoremas
por: Inchaurrondo, Claudia Inés, et al.
Publicado: (2011)

Análisis de refinamientos entre sistemas de transiciones modales basado en SAT
por: Dania, Carolina Inés
Publicado: (2011)

Análisis de refinamientos entre sistemas de transiciones modales basado en SAT
por: Dania, Carolina Inés
Publicado: (2011)

Cómo eliminar evidencia resolviendo restricciones para producir automáticamente programas tipados
por: Badenes, Hernán
Publicado: (2003)

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)

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

Modal satisfiability via SMT solving
por: Areces, Carlos Eduardo, et al.
Publicado: (2021)

Modal satisfiability via SMT solving
por: Areces, Carlos Eduardo, et al.
Publicado: (2021)

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

Relating the λσ- and λs-styles of explicit substitutions
Publicado: (2000)

Relating the λσ- and λs-styles of explicit substitutions
por: Kamareddine, F., et al.

Functional programming concepts and straight-line programs in computer algebra
por: Matera, Guillermo
Publicado: (2002)

Functional programming concepts and straight-line programs in computer algebra
por: Bruno, N., et al.

Agent technology for acquiring, monitoring and process control systems in distributed architectures
por: Dorao, Carlos Alberto
Publicado: (2001)

ATR: template-based repair for Alloy specifications
por: Zheng, Guolong, et al.
Publicado: (2022)

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

Modeling argumentation with labeled deduction: formalization and theoretical considerations
por: Chesñevar, Carlos Iván, et al.
Publicado: (2001)

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

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