{"id":69779,"date":"2018-03-09T23:14:17","date_gmt":"2018-03-09T23:14:17","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/applications-of-formal-methods-to-performance-evaluation\/"},"modified":"2018-03-09T23:14:17","modified_gmt":"2018-03-09T23:14:17","slug":"applications-of-formal-methods-to-performance-evaluation","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/castilla-la-mancha\/applications-of-formal-methods-to-performance-evaluation\/","title":{"rendered":"Applications of formal methods to performance evaluation"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Fernando Lopez Pelayo <\/strong><\/h2>\n<p>En esta tesis se presenta un modelo te\u00f3rico para validar caracter\u00edsticas cualitativas y cuantitativas en sistemas concurrentes, multiprocesadores y de tiempo real: el \u00e1lgebra de procesos markovianos rosa.  se presenta una sem\u00e1ntica operacional y otras denotacional para capturar las propiedades funcionales de un sistema, en particular pueden analizarse sistemas no deterministas, con probabilidades (generativas) y distribuciones exponenciales y poisson. Se proporcionan relaciones de equiValencia sobre estas sem\u00e1nticas que permiten comparar procesos funcionalmente.  asimismo se presenta un algoritmo de evaluaci\u00f3n temporal que permite comparar la eficiencia de procesos.  se aplica rosa al an\u00e1lisis de abp (un caso de estudio cl\u00e1sico) y el mpeg-2 (una aplicaci\u00f3n realcuyas caracter\u00edsticas temporales son cruciales) obteniendo resultados interesantes.  de esta forma se demuestra la utilidad de los modelos formales en la evaluaci\u00f3n de prestaciones en sistemas reales.  finalmente, la imposibilidad de describir con exactitud la concurrencia real mediante orsa conduce al uso de otro formalismo menos intuitivo pero con mejores aptitudes para el an\u00e1lisis de la concurrencia real: las redes de petri con arcos temporizados.  mediante su aplicaci\u00f3n muy interesantes resultados en la mejora de la implementaci\u00f3n del algoritmo de ciompresi\u00f3n de vido mpeg2, tales como un an\u00e1lisis de n\u00famero de procesadores requeridos cuando se permita la maxima concurrencia, as\u00ed como la mejora te\u00f3rica obtenida en las prestaciones de este algoritmo.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Applications of formal methods to performance evaluation<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Applications of formal methods to performance evaluation <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Fernando Lopez Pelayo <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Castilla-la mancha<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 29\/07\/2004<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<h3>Direcci\u00f3n y tribunal<\/h3>\n<ul>\n<li><strong>Director de la tesis<\/strong>\n<ul>\n<li>Fernando Cuartero Gomez<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal:  Quiles flor Francisco jos\u00e9 <\/li>\n<li>ram\u00f3n Puigjaner trepat (vocal)<\/li>\n<li>j. Pooley rob (vocal)<\/li>\n<li>Javier Campos laclaustra (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Fernando Lopez Pelayo En esta tesis se presenta un modelo te\u00f3rico para validar caracter\u00edsticas cualitativas y cuantitativas [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"footnotes":""},"categories":[18451],"tags":[5510,143039,152629,39795,11901,30365],"class_list":["post-69779","post","type-post","status-publish","format-standard","hentry","category-castilla-la-mancha","tag-fernando-cuartero-gomez","tag-fernando-lopez-pelayo","tag-j-pooley-rob","tag-javier-campos-laclaustra","tag-quiles-flor-francisco-jose","tag-ramon-puigjaner-trepat"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/69779","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/comments?post=69779"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/69779\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=69779"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=69779"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=69779"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}