Científico informático estadounidense (nacido en 1953)
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 la transmisión de medios . [1]
Vernon se graduó de la Universidad de California en Los Ángeles en 1975 con una licenciatura en química [2] y obtuvo su doctorado en informática en la 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 las arquitecturas informáticas paralelas y por su liderazgo en la comunidad de investigación informática". [4] En 2019, ganó el premio ACM SIGMETRICS Achievement por "contribuciones a las técnicas de modelado analítico del rendimiento y al diseño analítico de una amplia gama de arquitecturas de sistemas informáticos y de comunicación de gran impacto". [5]
Publicaciones seleccionadas
- Holliday, Mark A.; Vernon, Mary K. (diciembre de 1987), "Un modelo de red de Petri cronometrada generalizado para el análisis del rendimiento", IEEE Transactions on Software Engineering , SE-13 (12): 1297–1310, doi :10.1109/TSE.1987.233141, hdl : 1793/10030 , S2CID 18145031.
- Goodman, James R. ; Vernon, Mary K.; Woest, Philip J. (1989), "Primitivas de sincronización eficientes para multiprocesadores coherentes con 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, S2CID7422600 .
- Leutenegger, Scott T.; Vernon, Mary K. (1990), "El rendimiento de algoritmos de planificación multiprocesador multiprogramados", Actas de la Conferencia SIGMETRICS de la ACM 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, Número de identificación del sujeto 16440752.
- Almeida, Jussara M. ; Krueger, Jeffrey; Eager, Derek L.; Vernon, Mary K. (2001), "Análisis de las cargas de trabajo de servidores de medios educativos", Actas del 11.º Taller internacional sobre compatibilidad de sistemas operativos y redes para audio y vídeo 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, Número de identificación del sujeto 5398367.
Referencias
- ^ Perfil de la facultad, Univ. de 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 Matemática
- ^ Cita del premio ACM Fellows, consultado el 30 de junio de 2015.
- ^ "Sigmetría ACM".