Aviso: para depositar documentos, por favor, inicia sesión e identifícate con tu cuenta de correo institucional de la UCM con el botón MI CUENTA UCM. No emplees la opción AUTENTICACIÓN CON CONTRASEÑA
 

Una herramienta para inferir cotas superiores de relaciones de coste

dc.contributor.advisorAlbert Albiol, Elvira
dc.contributor.advisorArenas Sánchez, Puri
dc.contributor.authorAlonso Blas, Diego Esteban
dc.date.accessioned2023-06-20T14:22:42Z
dc.date.available2023-06-20T14:22:42Z
dc.date.issued2008
dc.descriptionTrabajo de clase de la asignatura Sistemas Informáticos (Facultad de Informática, Curso 2007-2008)
dc.description.abstractEl presente proyecto desarrolla un componente de software para manejar Sistemas de Relaciones de Coste (SRC) y calcular cotas superiores en forma cerrada de sus relaciones. Los SRC son ecuaciones numericas generadas por herramientas de analisis estatico de costes. El componente los procesa para inferir de ellos cotas superiores de esos costes. Tambien se ha desarrollado una aplicacion para ilustrar esta funcionaldad. Ambos sistemas han sido desarrollados en Java, usando solo software libre y gratuito. [ABSTRACT] This project developes a software component devised for handling Cost Relations Systems (CRS) and infering closed-form upper bounds for their relations. CRS are numeric equations generated by static analysis tools. Our component manipulates CRS in order to infer an upper bound of those execution costs. We have also devlopd an application in order to illustrate these features. Both systems are developed in Java with free (free press and free beer) software.
dc.description.departmentDepto. de Sistemas Informáticos y Computación
dc.description.facultyFac. de Informática
dc.description.refereedTRUE
dc.description.statusunpub
dc.eprint.idhttps://eprints.ucm.es/id/eprint/9219
dc.identifier.urihttps://hdl.handle.net/20.500.14352/54400
dc.language.isospa
dc.page.total68
dc.relation.ispartofseriesTrabajos de curso (Departamento de Sistemas Informáticos y Computación, FDI)
dc.rights.accessRightsopen access
dc.subject.cdu004.41.05(043.3)
dc.subject.keywordSistemas de relaciones de coste
dc.subject.keywordAnalisis estático de costes
dc.subject.keywordCost Relation Systems
dc.subject.keywordStatic Cost Analysis Software libre en java (Free Java Software) Sistemas de algebra por computador. (Computer Algebra System)
dc.subject.ucmSistemas expertos
dc.titleUna herramienta para inferir cotas superiores de relaciones de coste
dc.typecoursework
dspace.entity.typePublication

Download

Original bundle

Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
memoria.pdf
Size:
897.82 KB
Format:
Adobe Portable Document Format