Ha aparecido un post en un blog sobre el tema de los métodos formales, que hemos introducido en clase, y que plantea los pros y contras de implementarlos en la empresa.
A la vez de plantear los problemas, constata que Microsoft cada vez los está usando más y conviertiendo su código en más estable (en algunos casos no era dificil)
Título: Why Can’t Johnny Develop Secure Software?
http://computinged.wordpress.com/2010/06/22/why-cant-johnny-develop-secure-software/
Esta semana, del miércoles 23 al viernes 25, se celebra el HAIS 2010 (Hybrid Artificial Intelligence Systems) en San Sebastián.
Tenemos aceptada una publicación dentro de la “special session” 12: Hybrid Artificial Intelligence Systems Based on Lattice Theory
El título del artículo y de la charla va a ser: Reconciling Knowledge in social tagging web services, continuando con la investigación en manejo del conocimiento dentro de redes sociales. La idea es cómo obtener una agente puede obtener una base de conocimiento nueva, compatible con lo que pensaba anteriormente, y con la ayuda de otro agente. Esto permite el descubrimiento de nuevo conocimiento por parte del agente y cercano a lo que ya conocía.
Tengo la intención de ir colgando todas las transparencias de las charlas, ya que los artículos no se “puede”… al menos las transparencias si!
Si queréis más información del congreso: http://www.ehu.es/ccwintco/hais2010/
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.
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”
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
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í
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