Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
COMPUTACION PARALELA
2
PARALLEL COMPUTING
2
ALGORITMOS GENETICOS PARALELOS
1
AUTOMATAS TEMPORIZADOS
1
AUTOMATED VERIFICATION
1
BUSQUEDA COMPARATIVA DE CRISTALES
1
COMPUTACION DISTRIBUIDA
1
CRYSTAL SIMILARITY SEARCH
1
CRYSTAL STRUCTURE PREDICTION
1
DISTRIBUTED COMPUTING
1
ELECTRODEPOSICION
1
ELECTRODEPOSITION
1
FORCE FIELDS
1
FORMAL CONCURRENCY MODELS
1
GENERACION DE CODIGO BASADA EN TRANSFORMACIONES
1
ION TRANSPORT
1
MODEL CHECKING
1
MODELOS FORMALES DE CONCURRENCIA
1
MULTIPROCESADOR
1
MULTIPROCESSOR
1
PARALELISMO ESTRUCTURADO
1
PARALLEL GENETIC ALGORITHMS
1
POTENCIALES EMPIRICOS
1
PREDICCION DE ESTRUCTURAS CRISTALINAS
1
REAL-TIME SYSTEMS
1
SISTEMAS DE TIEMPO REAL
1
STRUCTURED PARALLELISM
1
TIMED AUTOMATA
1
TRANSFORMATION BASED CODE GENERATION
1
TRANSPORTE IONICO
1
-
1
-
2
-
3
-
4Especificación, diseño e implementación de un entorno de programación concurrente basado en patronespor Pérez, Gervasio DanielMaterias: “...STRUCTURED PARALLELISM...”
Publicado 2018
Tesis Doctoral