Una herramienta para inferir cotas superiores de relaciones de coste
dc.contributor.advisor | Albert Albiol, Elvira | |
dc.contributor.advisor | Arenas Sánchez, Puri | |
dc.contributor.author | Alonso Blas, Diego Esteban | |
dc.date.accessioned | 2023-06-20T14:22:42Z | |
dc.date.available | 2023-06-20T14:22:42Z | |
dc.date.issued | 2008 | |
dc.description | Trabajo de clase de la asignatura Sistemas Informáticos (Facultad de Informática, Curso 2007-2008) | |
dc.description.abstract | El 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.department | Depto. de Sistemas Informáticos y Computación | |
dc.description.faculty | Fac. de Informática | |
dc.description.refereed | TRUE | |
dc.description.status | unpub | |
dc.eprint.id | https://eprints.ucm.es/id/eprint/9219 | |
dc.identifier.uri | https://hdl.handle.net/20.500.14352/54400 | |
dc.language.iso | spa | |
dc.page.total | 68 | |
dc.relation.ispartofseries | Trabajos de curso (Departamento de Sistemas Informáticos y Computación, FDI) | |
dc.rights.accessRights | open access | |
dc.subject.cdu | 004.41.05(043.3) | |
dc.subject.keyword | Sistemas de relaciones de coste | |
dc.subject.keyword | Analisis estático de costes | |
dc.subject.keyword | Cost Relation Systems | |
dc.subject.keyword | Static Cost Analysis Software libre en java (Free Java Software) Sistemas de algebra por computador. (Computer Algebra System) | |
dc.subject.ucm | Sistemas expertos | |
dc.title | Una herramienta para inferir cotas superiores de relaciones de coste | |
dc.type | coursework | |
dspace.entity.type | Publication |
Download
Original bundle
1 - 1 of 1