Diferencias

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

--- seminarios_de_metodos_formales:2009 [2009/10/15 10:52] – 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 ===
@@ Línea 5: / Línea 30: @@
   * 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
+  * 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