Resumen:
La presente tesis se realiza en el contexto del desarrollo de la herramienta ReMo. ReMo es una herramienta para el análisis de especificaciones relacionales. Como se discribirá en el transcurso de esta tesis, dicho análisis requiere la generación de un conjunto de permutaciones. La contribución de esta tesis consiste en la propuesta y análisis experimental de una estructura de datos más eficiente que la utilizada en la actualidad para el almacenamiento y generación de permutaciones. Concluiremos que esta propuesta, basada en autómatas finitos, mejora a la actual (basada en tries) de la siguiente manera: 1. El consumo de memoria se reduce a un tercio del actual utilizando tries. 2. El tiempo de generación de permutaciones válidas (dado un conjunto de permutaciones a evitar) se reduce a menos de la mitad. Se presentarán también, distintas estrategias que pueden permitir reducir el tamaño del autómata finito.
Citación:
---------- APA ----------
Bourg, Lorena. (2006). Acelerando ReMo a través de la construcción de permutaciones usando autómatas. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de https://hdl.handle.net/20.500.12110/seminario_nCOM000283_Bourg
---------- CHICAGO ----------
Bourg, Lorena. "Acelerando ReMo a través de la construcción de permutaciones usando autómatas". Tesis de Grado, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2006.https://hdl.handle.net/20.500.12110/seminario_nCOM000283_Bourg
Estadísticas:
Descargas mensuales
Total de descargas desde :
https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000283_Bourg.pdf
Distrubución geográfica
