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 los medios de transmisión . [1]
Vernon se graduó de la Universidad de California, Los Ángeles en 1975 con una licenciatura en química , [2] y obtuvo su doctorado. 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 de rendimiento de 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 técnicas analíticas de modelado de rendimiento y al diseño analítico de una amplia gama de arquitecturas impactantes de sistemas informáticos y de comunicación". [5]
Publicaciones Seleccionadas
- Holliday, Mark A.; Vernon, Mary K. (diciembre de 1987), "Un modelo de red de Petri cronometrado generalizado para el análisis de 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, María 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, S2CID 7422600.
- Leutenegger, Scott T.; Vernon, Mary K. (1990), "El rendimiento de algoritmos de programación multiprocesador 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 vídeo digitales (NOSSDAV '01) , Nueva York, NY, EE. UU.: ACM, págs. 21 a 30, CiteSeerX 10.1.1.1.2714 , doi :10.1145/378344.378348, ISBN 978-1581133707, S2CID 5398367.
Referencias
- ^ Perfil de la facultad, Univ. de Wisconsin, consultado el 30 de junio de 2015.
- ^ Investigadora: Mary Vernon, Wisconsin Discovery Portal, consultado el 30 de junio de 2015.
- ^ Mary K. Vernon en el Proyecto de genealogía de matemáticas
- ^ Mención del premio ACM Fellows, consultado el 30 de junio de 2015.
- ^ "ACM Sigmetría".