proyectos proyectos fin de carrera
 Presupuesto
 - Impacto Ambiental
 - Seguridad Laboral
 - Calculos proyecto
 <<< Foro >>>
Base Datos
Trabajos
Proyectos Fin Carrera
 Proyectos presentados
 Buscador
 Definiciones
Gestión proyectos
Metodologias
Herramientas
Software
Utilidades
Evaluación económica
Plan de empresa
 Zona para  Emprendedores
 Consejos Vitales
Varios
Curso robótica y programación Arduino Vitoria Gasteiz
 
 

 

Proyecto fin de carrera o tesis:

Una aproximación offline a la evaluación parcial dirigida por narrowing

La evaluación parcial dirigida por narrowing (npe: narrowing-driven partial evaluation) es una técnica potente para la especialización de sistemas de reescritura, i.e., para el componente de primer orden de muchos lenguajes declarativos (lógico) funcionales como haskell, curry o toy. los evaluadores parciales se clasifican en dos grandes categorías: online y offline, de acuerdo al momento temporal en que se consideran los aspectos de terminación del proceso de especialización. los evaluadores parciales online son usualmente más precisos ya que tienen más información disponible. los evaluadores parciales offline proceden comúnmente en dos etapas; la primera etapa procesa un programa (e.g., para identificar aquellas llamadas a función que se pueden desplegar sin riesgo de no terminación) e incluye anotaciones para guiar las computaciones parciales; entonces, una segunda etapa, la de evaluación parcial propiamente dicha, sólo tiene que obedecer las anotaciones y por tanto el especializador es mucho más rápido que en la aproximación online. en esta tesis se presenta un nuevo esquema de evaluación parcial dirigido por narrowing, más eficiente y que asegura la terminación siguiendo el estilo offline. para ello, identificamos una caracterización de programas cuasi-terminantes a los que llamamos "no crecientes". en tales programas, las computaciones por narrowing necesario presentan sólo un conjunto finito de términos diferentes (módulo renombramiento de variables). la propiedad de la cuasi-terminación es importante toda vez que su presencia es regularmente una condición suficiente para la terminación del proceso de especialización. sin embargo, la clase de programas cuasi-terminantes es muy restrictiva, por lo que introducimos un algoritmo que acepta programas inductivamente secuenciales---una clase mucho más amplia sobre la que está definido el narrowing necesario---y anota aquellas partes que violan la caracterización de programas no crecientes. para procesar de mane

 

Ayudanos en el Foro, con las preguntas de los compañeros

Publicado: 2012-04-15

Vendo proyecto o trabajo de Proyectos fin de carrera

PROYECTO Ing.Tec.Ind. MATRICULA HONOR economico!!!!!!

Vendo dos proyectos de ingenieria tecnica industrial especialidad mecanica. Los dos obtuvieron matricula de honor. Tengo las hojas del comité de proyectos con las notas para verificarlo. Cada uno vale 350 euros. Posibilidad de mandarlo encuadernado. Si estas interesado mandame un correo a alfonsodelgado arroba ingenieros.com para mas detalles.

Contactar por mail

2015-10-19  Hola,Felicidades por los veddeos, son de gran ayuda.A diferencia de lo que puedo ver en los veddeos, tengo 2 opicones para crear una categoreda raedz:1aa-Af1adir una nueva categoreda raedz.2aa-Af1adir nuevo. (que posteriormente se puede seleccionar: categoreda raedz) como se muestra en el veddeo.Si lo hago con la 1aa opcif3n se crea la categoreda en si por que aparece en el Mega Menfa, pero no encuentro el lugar de como editarla o eliminarla.Al hacerlo con la 2aa opcif3n se crea correctamente, aparece en el Mega Menfa y el el listado de categoreda para ser editada, etc.bfEs incorrecto utilizar el botf3n: 1aa-Af1adir una nueva categoreda raedz? bfEn que casos debo utilizarlo? bfComo elimino o edito las categoredas creadas con el?Gracias.

2012-10-02  que es una auditoria interna


Cambiar imagen
Codigo:



Entrar al FORO