A partir de este Lunes 21 las tutorías tendrán lugar en mi despacho de La Rábida.
Despacho 7. Edificio Torreumbría.
En los horarios habituales.
junio 20th, 2010
P.F. Coconut: COde CONstructing User Tool
Aunque todavía cuenta con muchos incrédulos, la programación funcional(PF) está irrumpiendo fuerte en el mercado industrial, y en este caso, en el sector de los microprocesadores y código a bajo nivel.
Esta noticia está extraida de BarraPunto, y sólo recordar que los procesadores Cell BE(desarrollados por Sony, IBM y Toshiba) son los que montan máquinas como PlayStation3, Servidores Blade y otras máquinas de alto rendimiento.
“Coconut es un sistema para desarrollar software muy seguro y con un alto rendimiento escrito en Haskell. De momento ha sido usado para desarrollar una librería de funciones especiales para el procesador Cell BE, que se distribuye en el Cell BE SDK 3.0 como MASS. Su rendimiento es 4 veces mejor que la alternativa, la librería SimdMath escrita en código C con partes en ensamblador. Parece que en estos tiempos donde la paralelización es tan importante los lenguajes funcionales van a dar que hablar. En Google han dado una conferencia sobre este sistema”
junio 16th, 2010
Incidencia en las tutorías
Las tutorías del Miércoles 16 y Jueves 17 de Junio se impartirán en La Rábida (Despacho 7, en mi despacho).
Lamento las molestias
junio 13th, 2010
Seminario Interesante
El próximo viernes 18 de Junio se va celebrar un seminario, dentro del Grupo de investigación de Lógica Computacional(al que pertenezco) sobre la Verificación de los sistemas de Control Aéreo.
El ponente será Cesar A. Muñoz, investigador de la NASA y destacado investigador en métodos formales.
Espero que os guste
Para más información: Aquí
junio 13th, 2010
Jornadas MultiAgentes – Taller JADE
Hola a todos,
El próximo Lunes y Martes se celebrarán las “II JORNADAS CIENTÍFICO-TÉCNICAS DE DIFUSIÓN DE LA TECNOLOGÍA MULTIAGENTE” con una serie de conferencias que os pueden ser de mucho interés.
Yo impartiré un Taller sobre programación de SMA en JADE, el martes 15.
Para más información: http://jmas.us.es
mayo 30th, 2010
Incidencia en las tutorías
Hola todos,
Informaros que mis tutorías del Lunes 31 de Mayo pasan al Martes 1 de Junio.
Un saludo y disculpar las molestias.
Gonzalo A. Aranda
abril 19th, 2010
Tutoría de la mañana del lunes 19/04/2010
Lamento no haber podido realizar la tutoría de hoy por la mañana, pero me ha sido técnicamente IMPOISIBLE!!
Primero un problema técnico con el coche, y luego gestión administrativa urgente!
La tutoría se recuperará hoy mismo por la tarde, ampliando el horario las dos horas correspondientes, por lo que el horario quedará:
- Lunes de 15:00 a 19:00h
Un saludo y disculpad las molestias.
Gonzalo.
abril 5th, 2010
PL – 05/04/2010
Hoy vamos a tener una sesión sobre Análisis Semántico con la herramienta automática JavaCC.
Fundamentalmente veremos como agregar verificaciones y acciones semánticas a un analizador generado automáticamente.
abril 5th, 2010
Semana Santa
He publicado en la web de la asignarura IAIC una lista de ejercicios para cada uno de los temas que llevamos dados.
También recordaros que teneis que solicitar el trabajo adicional del segundo cuatrimestre(obligatorio).
abril 5th, 2010
IAIC – 25/03/2010
Última clase sobre lógica proposicional donde se explicó la resolución proposicional, algoritmo y posibles extensiones o modificaciones.
Se puso en la página de la asignatura el pseudocódigo del algoritmo y un ejemplo de ejecución del mismo.