proyectos proyectos fin de carrera
 
 
 
Utilidades
Evaluación económica
Plan de empresa
 
Varios
Apartamento Fuengirola
 
FORO Proyectos
 

 

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-05-10

Obras publicas de Proyectos fin de carrera

NO SE QUE HACER

soy estudiante de obras publicas y estoy muy perdida con el tema del proyecto. estoy sin ideas, no quiero complicarme mucho la vida pero es que no se me ocurre nada algun consejo o idea??

Contactar por mail

2012-07-11  Es cierto que lo que esrcbies en internet anda pululando por mi ordenador, por el tuyo, por todo el universo y lo que ponga has de hacerlo pense1ndolo bien pues una vez que has hecho el daf1o es dificil de olvidar. Nuestro grupo de amigos era grande y bien avenidos, pero saltf3 la chispa y la amistad es tan fragil, que se rompif3 por un comentario inoportuno. Hubo un grave enfrentamiento, aunque la amiga pidif3 perdf3n pfablicamente ,el ofensor si hizo el ofendido y aun sigue la tirantez, es un gran profesinal de la informe1tica y eso junto al atractivo personal, lo hace me1s seductor. Se aprovechf3 bien aprovechado y una nueva amiga la sustituyf3 y le ayudaba a describir el material que con el tiempo, a causa de su el enfermedad tuyo,usar. reirse de ella porque es un hombre sensible caballaroso y servicial, y eso nos gusta a las mujeres, te ensef1a informe1tica, es un buen maestro, Es su enfermdadte Pree1mbulode es un dicho popular que podemos aplicarnos todos: la herida de la lanza puede ser muy dolorosa y profunda, pero siempre cura, mientras que la que produce una difamacif3n nunca cura. Un amigo fiel es un resguardo poderoso: quien lo tiene, tiene un tesoro. ECLESIASTc9SPD-Por lo que veo sigueotro mal ratos bien , que no tengamos que aguantar otro mal rato, ya vere1s como esta vez va mejor la cosa, Saludos y bfcomo te has pasado estos dos dedas con mi ordenador?


Entrar al FORO


 
 
 
Sonometros Cuanto Antivirus Definicion CoordinadorPatentar Mascaras Reformar Snowboard ChatArmarios