Browsing Facultad de Matemática, Astronomía, Física y Computación by Subject "Performance of systems"
Now showing items 1-2 of 2
-
Combinador de información primaria y secundaria para extractor digital de datos de radar en sistemas de vigilancia
(2015-05)Un extractor digital de datos de radar (E.D.D.R.) es un subsistema -de hardware y software- del Sistema de Radar, que permite la representación visual de las aero-naves detectadas. A nivel de software, puede considerarse ... -
Sobre la verificación automática de autómatas probabilistas distribuidos con información parcial
(2010-03)En esta tesis desarrollamos algoritmos y técnicas de análisis basadas en model checking para analizar la corrección de sistemas distribuidos con características aleatorias y no deterministas. Una contribución importante ...