Mostrando entradas con la etiqueta Programación. Mostrar todas las entradas
Mostrando entradas con la etiqueta Programación. Mostrar todas las entradas

sábado, 19 de septiembre de 2015

Resúmenes de "Gestión de Proyectos Informáticos". Grado en Ingeniería Informática de la UNED


El objetivo de esta asignatura es proporcionar los conocimientos y habilidades necesarios para llevar a cabo tareas de dirección y gestión de proyectos informáticos de manera organizada y sistemática, de forma que se obtengan productos con la calidad que demandan los clientes y usuarios.

Una asignatura con muchísimo temario que si no se planifica con mucha antelación, se corre el riesgo de no llegar a cubrirla al completo.

A continuación, anexo los enlaces con los resúmenes que he ido haciendo de cada uno de los temas que se estudian del texto base "INGENIERÍA DEL SOFTWARE, UN ENFOQUE PRÁCTICO (7ª Edicion 2010) "

  1. El software y la ingeniería del software.
  2. Modelos del proceso.
  3. Desarrollo ágil.
  4. Principios que guían la practica.
  5. Tendencias emergente en Ingeniería del software.
  6. Conceptos de Administración de proyectos.
  7. Métricas de producto.
  8. Métricas de proceso y de proyecto.
  9. Estimación para proyectos software.
  10. Calendarización del proyecto.
  11. Administración del riesgo.
  12. Conceptos de calidad.
  13. Técnicas de revisión.
  14. Aseguramiento de la calidad del software.
  15. Estrategias de prueba de software.
  16. Administración de la configuración del software.
  17. Mejoramiento del proceso de software.


Esto es todo por ahora. Hasta la próxima entrada!


Práctica de Procesadores del Lenguaje II 2k15



Sin duda alguna es una asignatura tremendamente compleja pero a su vez apasionante.

En este caso, el alumno deberá comprender el análisis semántico, así como el proceso final de traducción de un lenguaje formal a las serie de instrucciones manejables por un microprocesador.

Los objetivos que se persiguen son:


  • Aprender a valorar la semántica subyacente a las construcciones sintácticas.
  • Aprender a integrar el sistema de tipos dentro de un compilador.
  • Estudiar la traducción de cada una de las construcciones de un lenguaje imperativo.
  • Aprender a dar soporte a la ejecución de invocaciones recursivas de subprogramas.
  • Aprender a dar soporte a la declaración anidada de subprogramas.
  • Conocer los procesos de generación de código ejecutable.
Y cuyo contenido es:
  • Análisis semántico
    • Gramáticas con atributos
    • Tabla de símbolos
    • Tipos de datos y verificación de tipos
  • Ambientes de ejecución
    • Organización de la memoria
    • Ambientes de ejecución estáticos
    • Ambientes de ejecución basados en pila
    • Paso de parámetros
  • Generación de código
    • Código intermedio
    • Generación de estructuras de datos
    • Generación de código para expresiones
    • Generación de código para sentencias de control
    • Generación de código para invocación de subrutinas
    • Optimización de código

El objetivo de la práctica es realizar un compilador del lenguaje PascUned, variación del lenguaje de programación Pascal, en sus fases de análisis semántico, generación de código intermedio y generación de código final.

En cuanto a la resolución de la práctica, los siguientes enlaces contienen el enunciado de la práctica, el proyecto completo para Eclipse y la memoria práctica:
See you soon!

Práctica de la asignatura de Sistemas Distibuidos 2k15


Presentación de la asignatura dada por el E.D.: 
El objetivo de esta asignatura es aprender los principios básicos sobre sistemas distribuidos, así como caracterizarlos y clasificarlos en función de una serie de parámetros básicos y distinguir entre los distintos tipos de modelos utilizados en sistemas distribuidos. Además, se pondrán de manifiesto la heterogeneidad, tanto de los medios de transmisión (cable coaxial, fibra óptica, canales inalámbricos,...) como de los dispositivos hardware y componentes software que los integran.
Esto hace necesario la aparición de una capa de abstracción software, comúnmente denominada Middleware (capa intermedia), la cual proporciona servicios a las aplicaciones distribuidas tales como la comunicación entre procesos (mediante RPC y Sockets) o invocación de objetos distribuidos (mediante RMI y CORBA).

También se estudian dos de los servicios más habituales ofrecidos por cualquier sistema distribuido, el servicio de archivos distribuidos y el servicio de nombres distribuidos.

Desde mi punto de vista es una asignatura complicada de estudiar, por lo extenso del temario. Sin embargo, la práctica compensa. Es de las más gratificante que he hecho a lo largo de estos años. Eso sí, como casi todas las prácticas en la UNED, se lleva mucho tiempo dejarla medianamente completa.

Si más preámbulos subo la práctica de este año, la cual trata de construir un "Sistema básico de microblogging tipo Twitter® usando Java RMI". 

Los ficheros para su descarga son:

jueves, 12 de febrero de 2015

CVE-2011-4862: Buffer overflow in libtelnet/encrypt.c


Un miembro de la lista de CrackSLatinoS a.k.a Boken (@Boken_), ha planteado una manera diferente de colaborar, motivar, aprender y practicar temas relacionados con la ingeniería inversa.

Para ello, propone la resolución de una serie de exploits de diferentes niveles de dificultad, del cual éste writeUp se encarga de documentar el primero de ellos de nivel medio.

El post original publicado en la lista el 11/12/2014 fue:


http://www.cvedetails.com/cve/2011-4862
La idea principal es que todo el que quiera hacer su versión de este exploit y comprender en profundidad el fallo, vaya comentando aquí sus avances, dudas, problemas y demás. Hay tanto exploits como detalles del mismo, pero la cuestión es que cada uno que lo intente y se atasque venga aquí a explicar sus problemas y pueda continuar.
Ni es un concurso, ni hay fecha de entrega. El único objetivo es que todo el que crea que no sabría hacerlo, pero quiera, utilice este post para conseguirlo. A ver si al final de este hilo entre todo lo comentado se pueden montar uno o varios tutes conjuntos.
Boken


Los detalles de esta vulnerabilidad son:
Buffer overflow in libtelnet/encrypt.c in telnetd in FreeBSD 7.3 through 9.0, MIT Kerberos Version 5 Applications (aka krb5-appl) 1.0.2 and earlier, Heimdal 1.5.1 and earlier, GNU inetutils, and possibly other products allows remote attackers to execute arbitrary code via a long encryption key, as exploited in the wild in December 2011.
Como no podía ser de otra manera, soez y yo nos pusimos a resolverlo con un resultado altamente satisfactorio para nosotros. Este tipo de retos siempre nos dejan muy buen sabor de boca. 

Ni que decir tiene que tan solo mostramos una pequeña prueba de concepto y que dista mucho de la POC original que en su día hicieron NighterMan y BatchDrake. Sin duda la de ellos es infinitamente más elaborada.

Espero que disfrutéis de esta lectura, tanto como nosotros redactándola. Aquí os dejamos todo lo necesario:
¡Hasta el próximo exploit!


domingo, 1 de febrero de 2015

Práctica de Procesadores del Lenguaje II 2k14


Esta asignatura es la continuación a la de PL I, vista en el la entrada anterior.

Sin duda alguna es una asignatura tremendamente compleja pero a su vez apasionante.

En este caso, el alumno deberá comprender el análisis semántico, así como el proceso final de traducción de un lenguaje formal a las serie de instrucciones manejables por un microprocesador.

Los objetivos que se persiguen son:

› Aprender a valorar la semántica subyacente a las construcciones sintácticas.
› Aprender a integrar el sistema de tipos dentro de un compilador.
› Estudiar la traducción de cada una de las construcciones de un lenguaje imperativo.
› Aprender a dar soporte a la ejecución de invocaciones recursivas de subprogramas.
› Aprender a dar soporte a la declaración anidada de subprogramas.
› Conocer los procesos de generación de código ejecutable.

Y cuyo contenido es:
  • Análisis semántico
    • Gramáticas con atributos
    • Tabla de símbolos
    • Tipos de datos y verificación de tipos
  • Ambientes de ejecución
    • Organización de la memoria
    • Ambientes de ejecución estáticos
    • Ambientes de ejecución basados en pila
    • Paso de parámetros
  • Generación de código
    • Código intermedio
    • Generación de estructuras de datos
    • Generación de código para expresiones
    • Generación de código para sentencias de control
    • Generación de código para invocación de subrutinas
    • Optimización de código

La práctica continúa partiendo de la de PL I como es de esperar. Tanto el enunciado como las directrices se pueden descargar en los siguientes enlaces:
En cuanto a la resolución de la práctica, los siguientes enlaces contienen el proyecto completo para Eclipse, la memoria práctica y los casos de prueba:

Exactamente igual que en la entrada anterior, quiero dar las gracias a mis compañeros Armando Platero y Alejandro González de Aguilar y al profesor D. Javier Vélez Reyes (@javiervelezreye), su inestimable ayuda y dedicación, ya que si ellos hubiera sido casi imposible, el haber podido realizar esta práctica. A todos ellos, !muchísimas gracias!




Práctica de Procesadores del Lenguaje I 2k14


Se trata de una asignatura, la cual desde hace muchos años tenía enormes ganas de cursar y por la cual el alumno debe de aprender a construir y utilizar los analizadores léxicos y sintácticos; cuyos objetivos generales son:

› Conocer la estructura interna de un compilador.
› Comprender el proceso de análisis formal de un lenguaje.
› Aprender las fases que lo constituyen conceptualmente.
› Distinguir los diferentes tipos de lenguajes existente.
› Conocer los diferentes algoritmos utilizados en el análisis sintáctico de lenguajes.


En cuanto al contenido de la asignatura tenemos:
  • Introducción 
    • Estructura de un compilador
    • Proceso de traducción
  • Análisis léxico
    • Proceso de análisis léxico
    • Expresiones regulares
    • Autómatas finitos
  • Análisis sintáctico
    • Proceso de análisis sintáctico
    • Gramáticas libres de contexto
    • Árboles sintácticos
    • Ambigüedad
    • Notación EBNF
  • Análisis sintáctico descendente
    • Análisis sintáctico descendente recursivo
    • Análisis sintáctico LL (1)
    • Recuperación de errores sintácticos descendentes
  • Análisis sintáctico ascendente
    • Análisis sintáctico LR (0)
    • Análisis sintáctico SLR (1)
    • Análisis sintáctico LALR (1)
    • Análisis sintáctico LR (1)

Para la práctica del año 2k13/14, el Equipo Docente propuso realizar un compilador del lenguaje HAda, que implementa un lenguaje similar a PASCAL usando la sintaxis del lenguaje Ada. En los siguientes enlaces se puede obtener el enunciado y las directrices de implementación proporcionadas por el E.D: 
En cuanto a la resolución de la práctica, los siguientes enlaces contienen el proyecto completo para Eclipse, la memoria práctica y los casos de prueba:

No quiero finalizar esta entrada sin dar las gracias a quienes hicieron posible el que pudiera aprender y entender esta fantástica asignatura y que sin ellos no hubiera sido posible la realización de esta práctica y la siguiente de Procesadores del Lenguaje II. Por ello, gracias Armando Urrestarazu Platero por tu increíble constancia; gracias Alejandro González de Aguilar por tus incansables ganas de enseñar y por esas nocturnas horas que me has dedicado y gracias al tutor D. Javier Vélez Reyes (@javiervelezreye) por guiarnos desde el principio con auténtica pasión y vocación y por sus apuntes de la asignatura, que más que apuntes, bien podrían ser la biografía básica.




lunes, 29 de septiembre de 2014

Solución al reto tr4ceflowCrackme




Llevo tiempo sin publicar en el blog y es por una sencilla razón; el camino del aprendizaje es largo y requiere de muchas horas. 

Sin embargo, siempre que encuentro un hueco, me gusta compartir aquello que considero interesante o que aporta algo.

Tal es el caso que traigo a continuación. Se trata de la solución a un reto que no es difícil de analizar, pero sí de crear un keyGen. 

Estamos ante un reto matemático, en el cual la fortaleza está en la combinación Name/Serial y no en el propio algoritmo.

Adelanto que es muy entretenido y ha conseguido hacerme repasar conceptos olvidados. Sin duda he pasado buenos momentos con él.

Anexo la solución en PDF, el binario y el keyGen en python:

domingo, 3 de agosto de 2014

Euskal Encounter 22


Los días 25 y 26 de Julio del presente año, tuve la oportunidad de asistir a un evento del cual no tenía referencia alguna a pesar de ser su 22 edición. Estoy hablando de la Euskal Encounter 22 que se ha celebrado en Barakaldo y por donde han pasado más de 5700 asistentes, con una extensión de más de 35000 metros cuadrados.

Lo primero que llama la atención es la cantidad de puntos de red que había montados (aprox. 4000 si no más), con un acceso a Internet de 20 Gbps. Es impresionante ver desde la altura la dimensión real del evento, especialmente cuando se apagan las luces y solo se ven los monitores conectados.



Lo segundo es las decenas de actividades que hay en ella y que a grandes rasgos son:
  • Escena
  • Hardware
  • Software Libre
  • Juegos
  • Conferencias y talleres
  • Otras, por si no encajas en ninguna de las anteriores.


En mi caso, participé en la actividad Hack it/Solve it, perteneciente a Software Libre, en donde es el primer evento presencial que tengo con el grupo al que pertenezco (@amn3s1a_team). En esta ocasión no pudimos contar con Skuater y Nox, así que haremos todo lo posible para que el próximo año, esto no suceda.

Hack it/Solve it es un concurso en donde hay que intentar resolver restos hacking, de ingeniería inversa, criptografía, esteganografía, etc. !El paraíso!


Como en todos estos eventos, el social networking es algo inevitable y en este caso me ha servido para desvirtualizar a una persona que, a pesar de su juventud tiene gran cantidad de admiradores entre los cuales ahora me incluyo yo. Estoy hablando de Héctor Martín Cantero (@marcan42). Por si a alguno no le suena, diré que entre otros logros, fue responsable directo del hack a Kinect.

Quisiera recomendar este evento a todos aquello a los que como yo, les fascina todo lo que huela a bits y electrones. Os aseguro que es una experiencia muy muy positiva.



El siguiente vídeo, resume un poco todo lo que he contado:




Hasta la próxima entrada!!

sábado, 28 de septiembre de 2013

Práctica de la asignatura de "Diseño del Software"



Tal y como comenté en la publicación anterior de "Resumen de la asignatura "Diseño del Software", publico la práctica de la asignatura de Diseño del Software del curso 2012-13.

Su realización es clave a la hora de enfrentarse al examen, ya que se éste plantea resolver un caso similar al de la práctica.



Los ficheros adjuntos son:

Espero y deseo que sean de utilidad.


jueves, 15 de agosto de 2013

Resumen de la asignatura "Diseño del Software"


Estos son los resúmenes que hice para la asignatura de "Diseño del Software" perteneciente al Grado en Ingeniería Informática de la UNED.

Una asignatura desde mi punto de vista esencial para cualquier Ingeniero Informático que se precie.

Programar una aplicación sencilla es fácil y puede ser incluso divertido. Pero la fabricación profesional de Software exige productos de funcionalidad generalmente sofisticada, con prestaciones y valores cualitativos que lo provean de ventajas competitivas en el mercado —lo que se denomina objetivos de negocio—. Hacerlo requiere un buen número de destrezas y habilidades adicionales.

En cualquier modelo de ciclo de vida, la secuencia de construcción incluye el trinomio Análisis y definición de requisitos, Diseño y Codificación. La asignatura se centra en el Diseño, donde se definen las 'piezas' y los mecanismos de funcionamiento —el cómo—, que van a implementar la totalidad de las prestaciones del producto. Buena parte de las características que se exigen actualmente al Software aconsejan —para que los costes sean razonables— afrontar el desarrollo utilizando tecnologías que se basen en la orientación a objetos. Por tanto, el Diseño significa definir elementos de código —las clases—, lo que hacen, cómo lo hacen y cómo colaboran unas partes con otras.

El texto base es "UML Y PATRONES. UNA INTRODUCCIÓN AL ANÁLISIS Y DISEÑO ORIENTADO A OBJETOS Y AL PROCESO UNIFICADO" de Craig Larman. Un referente mundial en Ingeniería del Software.

A continuación adjunto los resúmenes en formato PDF:

A partir del mes de Septiembre publicaré la práctica que acompaña a esta asignatura.


miércoles, 27 de febrero de 2013

SEH Based Exploits para lizer-sissy.exe


Con esta entrada pretendo continuar con el aprendizaje, pasito a pasito del arte de explotar las vulnerabilidades que nos brindan algunas aplicaciones Windows.

En este caso, se trata de practicar una técnica denominada "SEH Based Exploits", es decir, explotar aplicaciones en donde se puede sobrescribir el puntero de algún SE Handler.

Para ello, usaremos un ejecutable del cual disponemos del código fuente y que fue publicado hace años en la lista de CrackSLatinoS.

La solución propuesta, muestra como explotar la vulnerabilidad sobre Windows XP con SP3 y con DEP deshabilitado.

Los ficheros adjuntos son:
Cualquier crítica constructiva, será bien recibida.

Hasta el próximo exploit!!!

lunes, 4 de febrero de 2013

Solución al reto MazeJumps v1.0 Written by Promix17


Solución al reto perteneciente al 1er concurso del 2013 propuesto en la lista de CrackSLatinos.

El creador del binario intenta dificultar la trazabilidad del código mediante la ofuscación de éste con código basura (junk code). El objetivo es claro, acabar con la paciencia del reverser.

Como veremos, no es un método demasiado eficiente, ya que con paciencia conseguiremos descubrir las instrucciones válidas. Sin embargo este reto, puede servir para obtener una buena colección de bloques de código inservible, por si alguna vez necesitásemos emplearlo nosotros como otra alternativa en la defensa de nuestros binarios.

Los fichero adjuntos son:
Hasta el próximo reto!!!

martes, 29 de enero de 2013

Solución al reto Explotame_By_Pekeinfo_v1


Con esta entrada comienzo la que espero sea la primera de muchas, relacionadas con el fascinante universo del arte de los exploits.

Quiero dejar claro que para mi es completamente nuevo y que aun estoy verde pero si consigo mantener las ganas con las que he resuelto éste exploitme, no tardaré mucho en conseguir retos más avanzados. 

El binario es obra de @pekeinfo y sin duda que ha sido todo un acierto haber creado un reto así. 

Esta solución muestra como explotar una vulnerabilidad por desbordamiento de pila (Stack Based Overflow) sobre Windows XP con SP3 y con DEP deshabilitado.

Es un reto muy sencillo, ideal para los que estamos empezando. Como siempre, cualquier crítica constructiva será bien recibida.

Los ficheros adjuntos son:

Para finalizar, quiero dedicar esta entrada a un excelente profesional que se llama Javier Rodríguez , al que se que valora mucho el arte de la explotación. Va por ti maestro ;)

Hasta el próximo exploit!!!

jueves, 10 de enero de 2013

Solución al reto bearchik's Errors Keygenme


Sin duda alguna, este ha sido hasta el momento uno de los mejores retos que he resuelto.

Seguro que de su lectura se obtiene bastante buena información.

Es inmensamente laborioso de tracear, debido principalmente a que emplea técnicas anti-reverse como:

  • Detección de BreakPoints (On Memory y On Software).
  • Infinitos SEH ( Structured Exception Handling).
  • ...
Por todo ello, si te apetece leer este tutorial, te ruego que te armes de paciencia porque será largo el camino.

Los ficheros anexados son:

sábado, 5 de enero de 2013

Solución al reto ksydfius's What Is This


Solución al reto ksydfius's What Is This, perteneciente al concurso 12 del 2012 de la lista CrackSLatinoS.

Se trata de un reto que por su naturaleza lo hace inmensamente divertido.

Mezcla componentes esteganográficos y la plataforma donde se desarrolla es como poco inusual.

Sin duda es uno de esos retos que no se olvida con facilidad.

La relación de fichero anexados es:
No quiero terminar esta entrada sin dar las gracias a todos los que de una manera u otra han contribuido en la resolución de este reto:
  • @Telecobydefault
  • @sisco_0
  • DrQ
  • Apuromafouser001
  • poxyran
  • @NoxOner
  • @RicardoGomez94
  • Negux
  • DAGR
Felices Reyes a tod@s.

martes, 4 de diciembre de 2012

Navaja Negra 2ª edición



Terminada la 2ª edición de  Navaja Negra y habiendo organizado un poco las ideas, toca hacer valoración.

Sinceramente ha sido una de las experiencias más positivas que he tenido.

De los ponentes, decir que tenían un alto nivel en conocimientos y experiencia. Parecía que estabamos en una CON de primera división. No puedo decantarme por ninguno en particular, porque todos lo hicieron de lujo.

Si alguna vez repitiese otro evento con alguno de ellos, sin duda que he de subir el listón para estar a la altura.

Que decir de la organización, excepcional en todo momento. Me trataron de maravilla, me sentí en familia en todo momento.

Respecto a los asistentes, en general, muy buen ambiente, bastante respetuosos y con ganas de ver las charlas.

Se han recibido críticas de todos los tamaños y colores, y eso es bueno, pues obliga a corregir defectos y a superarse para futuros eventos.

Por otra parte, uno de los factores decisivos a la hora de asistir a este tipo de eventos es lo que mi colega KinoMakino denomina el "social-networking", por ello, pude conocer personas con inquietudes y conocimientos que bien les podrían valer el puesto para la 3ª edición de NN y además he puesto cara a otros tantos colegas que estaban detrás de un Nick. 



Por la parte que me toca, espero que el personal asistente haya disfrutado con mi ponencia, tanto como yo en contarla y agradecer de corazón a todos aquellos amigos que se desplazaron para darme ánimos.



Para finalizar, quiero dejar mi opinión (tantas veces erronea) para las futuras ediciones de NNC. No se necesitan estrellas para que las próximas NNC brillen con luz propia ;), tan solo hay que continuar con los mismos principios con los que empezaron su aventura.

Anexo la presentación y las aplicaciones de ejemplo para todo aquel que quiera y le sea de utilidad.

¡Hasta pronto f@milia!



domingo, 2 de diciembre de 2012

Solución al reto iNViSi8LE-Crack-Me-v2.0


Solución al reto iNViSi8LE-Crack-Me-v2.0, perteneciente al concurso 11 del 2012 de la lista CrackSLatinoS.

Es un buen reto para aprender algo más acerca de la tecnología .Net.

Posee cierto grado de dificultad puesto que no permite el descompilado por reflexión, por eso lo hace tan interesante.

Los fichero adjuntos son:


¡Hasta el próximo reto!

miércoles, 7 de noviembre de 2012

II CONGRESO DE SEGURIDAD NAVAJA NEGRA (Albacete - 30 de Noviembre y 1 de Diciembre)



Si eres un entusiasta y apasionado de la seguridad de la información y por ende de la seguridad informática has de saber que los días 30 de Noviembre y 1 de Diciembre se celebrará en Albacete las II CONFERENCIAS DE SEGURIDAD "NAVAJA NEGRA"

Contara con 11 ponentes de excepción más un servidor, o sea, yo mimo.

La charlas serán variadas y con gran valor instructivo como:

  • All your appliances are belong to us. Presentación de un 0-day
  • Show me your Intents
  • HASH COLLISIONS: Welcome to the (un)real World!
  • Take a walk on the wild side
  • A brief introduction to reversing code with OllyDbg and other tools
  • From mail to jail: Exploit your ex.girlfriend
  • (in)Security in Mobile Communications
  • IPv6 vs IDS, se aceptan apuestas...

Se realizarán en el SALON DE ACTOS DEL CEEI (Centro Europeo de Empresas de Innovación) el viernes en horario de tarde y el sábado en horario de mañana e impartidas por reconocidos profesionales.

Son completamente gratuitas pero es necesario registrarse (aforo limitado). 

La información sobre las charlas, está disponible en el apartado Itinerario del Congreso. Si os desplazáis desde fuera de Albacete, hay descuentos de Renfe y del Hotel Beatríz para alojaros. También tenéis el Cartel Oficial para descargar.

Toda la información se encuentra disponible en http://navajanegra.com/

Por la parte que a mi me toca, intentaré haceros pasar aproximadamente 1 hora entretenida, amena y si es posible didáctica al máximo.

No dejéis pasar esta ocasión, os espero a todos en Albacete!!!

domingo, 30 de septiembre de 2012

Ingeniería de Computadores II. Práctica curso 2011-12. Programación del procesador segmentado DLX de distintas variantes del bucle DAXPY (Double-Precision A Times X Plus Y)



Esta asignatura me ha proporcionado momentos muy satisfactorios. 
Sin duda ha sido una de mis preferidas. 

Es una de esas materias, en donde uno se da cuenta de que el ingenio humano no tiene límites y que la búsqueda de la perfección pasa por el refinamiento sucesivo.

El texto base está bien organizado y el equipo docente está muy comprometido con el estudiante.

El temario trata acerca de:
  • Procesadores segmentados.
  • Procesadores superescalares.
  • Procesadores VLIW y vectoriales.
  • Procesamiento paralelo.
La práctica va directa al grano y viene estupendamente para afianzar algunos conceptos aprendidos durante el estudio de la asignatura.

Está dividida en dos ficheros:
  • El enunciado.
  • La memoria o solución (Ya no está disponible porque según Google existe infracción de la DMCA) y como no tengo para gilipolleces, pues quito el documento y listo.
Como viene siendo costumbre, cualquier crítica constructiva será bien recibida.

Teoría de los lenguajes de programación . Práctica curso 2011-12. Resolucion de Sudokus



Como lo prometido es deuda, aquí está la práctica propuesta en el curso 2011-12 de la asignatura Teoría de los lenguajes de Programación.

En esta práctica se pide la realización de un aplicación en Haskell, capaz de resolver Sudokus.

La práctica está divida en tres ficheros:

Ya sabéis que cualquier crítica constructiva, será bien recibida.