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: 2011-05-04

Aeronautica de Proyectos fin de carrera

sistemas de atraque de aeronaves

Somios estudiantes de la Politécnica y buscamos información sobre los tipos de sistemas de atraque existentes actualmente.

Contactar por mail

2017-11-05  How to quickly lose weight in 15 days:
https://sites.google.com/site/weightlossluxury/weight-loss-tips-67-guaranteed-ways-to-lose-weight


Interesting tags:
pcos lose weight diet
healthy weight loss camps
normal newborn weight loss
drink prune juice to lose weight
topiramate migraine weight loss
blue cross of california weight loss
what foods will help me lose weight fast
workout regimen to lose weight
lose weight when sleeping

2017-10-15  vps-vds.com

2017-03-26  Good site: http://tadalph24.com ;; http://sildph24.com

2012-12-09  25 de agosto de 2011 11:12h by Jose Daniel Discrepo, el prmieo es para el segundo al mando, que no sabe atracar el barco si no esta el capite1n, vamos que lleva hacie9ndolo un montf3n de tiempo y nunca se ha preocupado de saber como se hace... apaf1ados estamos.

2012-09-28  loco

2012-08-12  Pues sensatez antes de todo, no dejar de trbaajar, pero solo que ya por lo menos de mi parte, trbaajareda en lo propio, logicamente las pendientes deudas que se nos aglutinan y no cuajan de tajo, donar algo (asilos de ancianos, hogar de nif1os y similares) no soy nada tacaf1o gracias a Dios, he aprendido a ser generoso con lo poco que tengo y ofrezco sin mediar neuronas. Comprarle la casa a mi amada madre, y quie9n sabe, hacerme cargo de la finca de cafe9 de mi abuela. :PCreo que por los momentos esos, no pienso en mucho materialmente hablando, claaro que hay, pero no son prioritarios.Saludos.

2012-04-21  En Espaf1a tambie9n existe una pemresa que hace diamantes con el cabello humano y leed en ABC que, incluso, tiene la patente para ello. Se llama Irisgem y por lo que vi en su web (www.irisgem.com) hacen diamantes de varios colores y con varios cortes posibles. Desde luego, para un amante de los diamantes, no habreda un diamante me1s especial y original!!


Cambiar imagen
Codigo:



Entrar al FORO