Diferencias

Muestra las diferencias entre dos versiones de la página.

--- seminarios_de_metodos_formales:2009 [2009/10/01 17:22] – mpagano
+++ seminarios_de_metodos_formales:2009 [2025/11/15 13:47] (actual) – editor externo 127.0.0.1
@@ Línea 1: / Línea 1: @@
 Estas son las charlas previstas o dadas del ciclo "Contate algo, che!" de la Sección de Computación de FaMAF. Si tenés ganas de dar una charla, avisales a Matias Lee o a Miguel Pagano.
+=== Miercoles 9 de Diciembre ===
+  * Título: "Cómo perder el tiempo optimizando código".
+  * Expositor: Daniel Moisset.
+  * Lugar: Laboratorio de Computación de la Especialización en Sistemas y Servicios Distribuidos (tercer piso), FaMAF.
+  * Día y Hora: miércoles 9 de Diciembre, 17:00hs.
+  * Resumen:
+Aunque se ha escrito mucho (tanto investigación bien fundamentada como
+'recetas populares') sobre formas de escribir código optimizado a
+nivel de hardware, muchos cambios tecnológicos en los últimos 25 años
+han hecho que muchas prácticas que en su momento fueron buenas ideas
+hoy sean contraproducentes. En la charla, que más bien es un debate,
+se discutirán dos disertaciones sobre este problema y sobre los
+cambios que se han dado.
+  * La actividad en FB: http://www.facebook.com/event.php?eid=193854967294&ref=ss
+  * Bibliografía:
+- Felix von Leitner, 2009, "Source Code Optimization", Code Blau GmbH,
+http://www.linux-kongress.org/2009/slides/compiler_survey_felix_von_leitner.pdf
+- Rik van Riel, 2008, "Why computers are getting slower", Red Hat
+Summit 2008, http://surriel.com/system/files/summit08-why-computers-are-getting-slower.pdf
+=== Lunes 19 de octubre ===
+  * Expositor: Lic. Lee. (aka Chun)
+  * Título: PlusCal, un lenguaje para describir algoritmos.
+  * Resumen:
+Todo el mundo trabaja con pseudo-códigos para expresar sus
+algoritmos, pues la implementación y el algoritmo no son la misma
+cosa. Entonces, ¿por que no estandarizar la notación?¿por que no dar
+herramientas para estudiar nuestro pseudo-codigo? No es lo mismo tener
+un algoritmo erróneo que una implementación errónea.
+PlusCal es un lenguaje para escribir pseudo-código, el cual soporta
+teoría de conjunto, lógica de primer orden, no determinismo y la
+capacidad de expresar distintos grados de atomicidad para distintas
+acciones, lo cual es útil para expresar algoritmo concurrentes. Además
+PlusCal cuenta con soporte para realizar model checking sobre nuestro
+algoritmo, a un costo extra casi nulo.
+En esta edición del Contante Algo Che!, vamos a mostrar como funcióna
+PlusCal analizando un algoritmo secuencial y un algoritmo concurrente
+con N procesos.
 === Lunes 5 de octubre ===
@@ Línea 18: / Línea 66: @@
 Vázquez hace tres años, está por cumplir la ambiciosa meta de que cada
 chico y cada maestro de primaria del país tengan su laptop con banda
-ancha.'' (Laura Casanovas, en La Nación:
+ancha.'' (Laura Casanovas, en [[http://www.lanacion.com.ar/nota.asp?nota_id=1173949 | La Nación]])
-http://www.lanacion.com.ar/nota.asp?nota_id=1173949)
 En la próxima charla del ciclo ”Contate Algo, Che!” estaremos hablando sobre el Plan Ceibal.
@@ Línea 30: / Línea 77: @@
 -----
-=== Lunes 5 de octubre ===
+=== Lunes 28 de septiembre ===
   * Expositora: Paula Estrella