Мэри К. Вернон

Американский учёный-компьютерщик (родился в 1953 году)

Мэри Кэтрин Вернон (родилась в 1953 году) — американский учёный-компьютерщик , работающая профессором компьютерных наук и промышленной инженерии в Университете Висконсин-Мэдисон . Её исследования касаются высокопроизводительной компьютерной архитектуры и потокового мультимедиа . ^[1]

Вернон окончила Калифорнийский университет в Лос-Анджелесе в 1975 году, получив степень бакалавра наук по химии ^[2] , и получила докторскую степень по информатике в Калифорнийском университете в Лос-Анджелесе в 1983 году под руководством Джеральда Эстрина . ^[3] В 1996 году она была названа членом Ассоциации вычислительной техники «за фундаментальный вклад в анализ производительности параллельных компьютерных архитектур и за лидерство в сообществе компьютерных исследований». ^[4] В 2019 году она выиграла премию ACM SIGMETRICS Achievement за «вклад в аналитические методы моделирования производительности и в аналитическое проектирование широкого спектра эффективных компьютерных и коммуникационных архитектур». ^[5]

Избранные публикации

• Холлидей, Марк А.; Вернон, Мэри К. (декабрь 1987 г.), «Обобщенная временная модель сети Петри для анализа производительности», IEEE Transactions on Software Engineering , SE-13 (12): 1297–1310, doi : 10.1109/TSE.1987.233141, hdl : 1793/10030 , S2CID  18145031.
• Гудман, Джеймс Р .; Вернон, Мэри К.; Воест, Филип Дж. (1989), «Эффективные примитивы синхронизации для крупномасштабных кэш-когерентных мультипроцессоров», Труды Третьей международной конференции по архитектурной поддержке языков программирования и операционных систем (ASPLOS III), Нью-Йорк, США: ACM, стр. 64–75, doi : 10.1145/70082.68188 , ISBN 978-0-89791-300-3, S2CID  7422600.
• Лютенеггер, Скотт Т.; Вернон, Мэри К. (1990), «Производительность алгоритмов многопрограммного многопроцессорного планирования», Труды конференции ACM SIGMETRICS 1990 года по измерению и моделированию компьютерных систем (SIGMETRICS '90) , Нью-Йорк, США: ACM, стр. 226–236, doi :10.1145/98457.98761, ISBN 978-0897913591, S2CID  16440752.
• Almeida, Jussara M .; Krueger, Jeffrey; Eager, Derek L.; Vernon, Mary K. (2001), "Анализ рабочих нагрузок образовательных медиасерверов", Труды 11-го Международного семинара по поддержке цифровых аудио и видео в сетях и операционных системах (NOSSDAV '01) , Нью-Йорк, США: ACM, стр. 21–30, CiteSeerX  10.1.1.1.2714 , doi :10.1145/378344.378348, ISBN 978-1581133707, S2CID  5398367.

Ссылки

1. Профиль факультета, Университет Висконсина, получено 30 июня 2015 г.
2. Исследователь: Мэри Вернон, Wisconsin Discovery Portal, получено 30 июня 2015 г.
3. Мэри К. Вернон в проекте «Генеалогия математики»
4. Цитата о награде ACM Fellows, получена 30 июня 2015 г.
5. "ACM Sigmetrics".