Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Programación concurrente
Ciencias Informáticas
3
Concurrent Programming
3
Automatic Programming
2
Compilación
2
Deduction and Theorem Proving
2
Language Constructs and Features
2
Monitor
2
Optimización
2
Performance
2
Probador de teoremas
2
Programación
2
Región crítica condicional
2
SMT solver
2
Semáforo binario dividido
2
Señal
2
Software
2
Concurrencia
1
Concurrent Haskell
1
Enviar
1
Exclusión mutua
1
Memoria distribuida a pasaje de mensajes
1
Paralelismo
1
Programación funcional
1
Recibir
1
Semáforos
1
-
1por Barsotti, Damián
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
2
-
3
-
4
-
5por Barsotti, Damián
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis