miércoles, 30 de julio de 2008
Show me the money!!!
jeje, en detalles:
* El viernes a la noche fui a Carlos Paz, a una milonga con una amiga y terminamos en el bingo... no fue al pedo, ganamos un bingo, $140, $70 para cada uno.
* Tenía la idea de dar clases particulares a extranjeros y cobrarlas costosas... 2hs x $100. Por esas cosas de la vida, el Flaco tenía una persona interesada en tomar clases, Iliana, y le dí la clase. Cómo le gusto, me pidió que le de también una clase al marido. Así que dí 2 clases de 2 hs. cada cada una por $200 :D
Para terminar, los resultados de la clase de Iliana:
Sobre sexo
Y el Kolo una vez dijo y siempre me quedo grabado en la mente:
martes, 29 de julio de 2008
Corrigiendo
A - Está todo bien.
B - Está todo mal.
... Lo más o menos es un bajón....
No entiendo cómo hacen para estudiar los alumnos de la materia en la que estoy... las cosas estaban más o menos....
jueves, 24 de julio de 2008
Brasil!!
Me voy en avión a Recife y de ahí a Campina Grande. Y no sé bien que voy a hacer, sólo sé que vuelvo el 3 de Febrero.... jeje me olvidaba, salgo el 29 de Diciembre. :D
lunes, 21 de julio de 2008
Avanzandooo
Pero así es la vida del que investiga :D
martes, 15 de julio de 2008
Chun en la primaria
No se xq pero me quedo como una fascinación con el mismo, y es algo que le pasa a mucha gente, si uno busca en google, encuentra varios lugares con grupos de ex-alumnos. Hoy encontré uno en facebook y me uní :D Encontré a 3 compañeritos!! :D
Le saqué una foto a un foto vieja para agregar al grupo. Acá esta:
miércoles, 9 de julio de 2008
martes, 8 de julio de 2008
Pensando...
Lo bueno de lo que hago es que lo puedo hacer en cualquier momento. Ejemplo: recién mientras me bañaba, encontré una forma de demostrar algo que no sabía como demostrar.... :D
Excelente!
Boludeo...
Bah!! en nada importante...
Me voy a trabajar... espero.
viernes, 4 de julio de 2008
Tribunal
Alumno: Carlos S. Bederián
Director: Pedro D'Argenio.
Título: Model checking cuantitativo de propiedades LTL en PRISM
Auditorio, Viernes 4 de julio a las 16:00 hs.
Resumen:
Las técnicas de verificación formal de sistemas complementan a las técnicas de testing en el proceso de desarrollo, y son imprescindibles para asegurar la corrección de sistemas críticos cuyos fallos pueden tener resultados catastróficos.
En este trabajo agregamos soporte para verificar propiedades en la lógica temporal LTL sobre modelos con elementos probabilistas y no deterministas a la herramienta de model checking PRISM [1], utilizando el algoritmo descrito por Luca de Alfaro en [2] que reduce el problema a un cálculo de alcanzabilidad máxima.
Como el model checking sufre de baja escalabilidad cuando se utilizan representaciones explícitas del modelo, el algoritmo ha sido convertido en su totalidad al uso de diagramas de decisión binarios [3], una estructura de datos optimizada para almacenar grandes modelos en una cantidad pequeña de memoria sin sacrificar demasiada performance para operar sobre el mismo.
[1] http://www.prismmodelchecker.org/
[2] Luca de Alfaro. Temporal Logics for the Specification of Performance and Reliability. Lecture Notes in Computer Science, 1200:165—176, 1997.
[3] Randall Y. Bryant. Symbolic boolean manipulation with ordered binary decision diagrams. Technical report, CMU, 1992.
martes, 1 de julio de 2008
Objetivo 2008.
Bueno, no puedo dormir, parece que estar tanto tiempo en reposo me dejo con horas de sueño de más. Pero pasemos al tema importante: Objetivo 2008.
El objetivo para lo que queda del año es escribir un paper. Sólo eso. No mucho más para decir. Justo hoy arranca la segunda mitad del año. ¿Una señal? :P