OPAC

Your search

Repository: 65 Year: 1202 Year: 2007 Year: 2014 Document Type: Sin Especificar Language: Español

Sort by Score Title Year -

1-10 from 30 results (0.008 seconds)

Title: EOSimulator : biblioteca de simulación para un curso de simulación a eventos discretos
Language: Español
Repository: 65
Subject: C++ Modelado / Simulación

Acceder
Title: Especificación y verificación formal de sistemas críticos en el Instituto de Computación de la Universidad de la República (Uruguay)
Language: Español
Repository: 65
Subject: Software Program Verification / Formal Methods / Correctness Proofs / Model Checking / Métodos Formales / Verificación de Sistemas Embebidos / Especificación y Prueba Asistida de Propiedades.

Acceder
Title: Concepción, diseño e implantación de un laboratorio de seguridad informática
Language: Español
Repository: 65
Subject: Laboratorio de Seguridad Informática / Seguridad de la Información / Virtualización

Acceder
Title: Evaluación de arquitecturas de software con ATAM (Architecture Tradeoff Analysis Method) :un caso de estudio
Language: Español
Repository: 65
Subject: Ingeniería de Software / Arquitecturas de Software / Metodologías de evaluación de Arquitecturas de Software / Architecture Tradeoff Analysis Method / Atributos de calidad / ATAM

Acceder
Title: Extensión MDA (Model Driven Architecture) para proceso basado en RUP (Rational Unified Process)
Language: Español
Repository: 65
Subject: Ingeniería de Software / Procesos y Metodologías de desarrollo / Arquitecturas de Software / Model Driven Architecture / MDA

Acceder
Title: Teoría computacional de la gestalt. Proyecto: mejoras al detector de alineamientos
Language: Español
Repository: 65
Subject: Alignments Recognition / Meaningful segments / Minimal Description Length / Exclusion Principle / Ordered Priority Trees / Data Structures / Gestalt Theory / Pattern Recognition / Image Processing / Computer Vision

Acceder
Title: Diseño óptimo de recorridos y frecuencias para transporte público
Language: Español
Repository: 65
Subject: Transporte Público / Optimización de Recorridos y Rrecuencias / GRASP

Acceder
Title: Una heurística basada en memoria para el problema del diseño de recorridos en transporte público urbano
Language: Español
Repository: 65
Subject: Optimización de Recorridos y Frecuencias / Memorias Adaptativas / Metaheurísticas

Acceder
Title: Comparación entre cinco métodos de Monte Carlo para estimar la confiabilidad diámetro acotada de redes de comunicaciones
Language: Español
Repository: 65
Subject: Método de Monte Carlo / Redes / Confiabilidad / Enlaces / Reducción de Varianza

Acceder
Title: Evaluación del desempeño computacional del cluster Medusa
Language: Español
Repository: 65
Subject: Cluster de Computadoras / Medusa

Acceder

« Previous 1 2 3 Next »

Refine your Search

Repository

Author

Subject

Year

Document Type

Language

Your search