|
domingo, 24 de septiembre de 2006 |
Contribuyó a la demostración formal de programas y a la teoría de grafos. También se le atribuye la invención del semáforo como mecanismo de exclusión mutua.
(1930-2002)
Dijkstra ha pasado a la historia probablemente por el conocido algoritmo que lleva su nombre, referente a la obtención de árboles de peso mínimo.
No obstante, las contribuciones de Dijskrta a la informática son muchas y variadas.
Se le considera uno de los promotores de la programación estructurada, debido a sus artículos e intervenciones en defensa de las estructuras y contra el salto incondicional (Go To Statement Considered Harmful  ). También contribuyó en las teorías de demostración formal de algoritmos. En cuanto a los sistemas operativos, se le considera el inventor del semáforo y contribuyó al desarrollo de los monitores, mecanismos utilizados por los sistemas operativos para gestionar el acceso concurrente a los recursos por parte de los procesos. Enlaces: -Dijkstra en la Wikipedia (en inglés)
-Biografía
-Archivo de Dijkstra en la Universidad de Texas: Transcripciones, conferencias, videos... interesantísimo (en inglés) |
Lo último 
