Mary Katherine Vernon (nacida en 1953) es una científica informática estadounidense que trabaja como profesora de informática e ingeniería industrial en la Universidad de Wisconsin-Madison . Su investigación se centra en la arquitectura informática de alto rendimiento y los medios de transmisión . [1]
Vernon se graduó de la Universidad de California en Los Ángeles en 1975 con una licenciatura en química , [2] y obtuvo su Ph.D. en ciencias de la computación de UCLA en 1983 bajo la supervisión de Gerald Estrin . [3] Fue nombrada miembro de la Association for Computing Machinery en 1996 "por sus contribuciones fundamentales al análisis del rendimiento de arquitecturas de computadoras paralelas y por su liderazgo en la comunidad de investigación informática". [4]
Publicaciones Seleccionadas
- Holliday, Mark A .; Vernon, Mary K. (diciembre de 1987), "A generalized timed Petri net model for performance analysis" , IEEE Transactions on Software Engineering , SE-13 (12): 1297-1310, doi : 10.1109 / TSE.1987.233141 , S2CID 18145031.
- Goodman, James R .; Vernon, Mary K .; Woest, Philip J. (1989), "Primitivas de sincronización eficiente para multiprocesadores coherentes de caché a gran escala", Actas de la Tercera Conferencia Internacional sobre Soporte Arquitectónico para Lenguajes de Programación y Sistemas Operativos (ASPLOS III) , Nueva York, NY, EE. UU.: ACM, págs. 64–75, doi : 10.1145 / 70082.68188 , ISBN 978-0-89791-300-3, S2CID 7422600.
- Leutenegger, Scott T .; Vernon, Mary K. (1990), "El rendimiento de los algoritmos de programación de multiprocesadores multiprogramados", Actas de la Conferencia ACM SIGMETRICS de 1990 sobre medición y modelado de sistemas informáticos (SIGMETRICS '90) , Nueva York, NY, EE. UU.: ACM, págs. 226–236, doi : 10.1145 / 98457.98761 , ISBN 978-0897913591, S2CID 16440752.
- Almeida, Jussara M .; Krueger, Jeffrey; Ansioso, Derek L .; Vernon, Mary K. (2001), "Análisis de cargas de trabajo de servidores de medios educativos", Actas del 11º Taller internacional sobre soporte de redes y sistemas operativos para audio y video digital (NOSSDAV '01) , Nueva York, NY, EE. UU.: ACM, págs. 21–30, CiteSeerX 10.1.1.1.2714 , doi : 10.1145 / 378344.378348 , ISBN 978-1581133707, S2CID 5398367.
Referencias
- ^ Perfil de la facultad , Univ. of Wisconsin, consultado el 30 de junio de 2015.
- ^ Investigador: Mary Vernon , Wisconsin Discovery Portal, consultado el 30 de junio de 2015.
- ^ Mary K. Vernon en el Proyecto de genealogía de las matemáticas
- ^ Cita del premio ACM Fellows , consultada el 30 de junio de 2015.