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

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

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

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

• Холлидей, Марк А.; Вернон, Мэри К. (декабрь 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, номер документа : 10.1145/70082.68188 , ISBN.  978-0-89791-300-3 , S2CID   7422600 .
• Лейтенеггер, Скотт Т.; Вернон, Мэри К. (1990), «Производительность многопрограммных многопроцессорных алгоритмов планирования», Труды конференции ACM SIGMETRICS 1990 года по измерению и моделированию компьютерных систем (SIGMETRICS '90) , Нью-Йорк, Нью-Йорк, США: ACM, стр. 226–236, дои : 10.1145/98457.98761 , ISBN  978-0897913591 , S2CID   16440752 .
• Алмейда, Джуссара М. ; Крюгер, Джеффри; Игер, Дерек Л.; Вернон, Мэри К. (2001), «Анализ рабочих нагрузок образовательных медиасерверов», Материалы 11-го международного семинара по поддержке сетевых и операционных систем для цифрового аудио и видео (NOSSDAV '01) , Нью-Йорк, штат Нью-Йорк, США: ACM, стр. 21–30, CiteSeerX   10.1.1.1.2714 , doi : 10.1145/378344.378348 , ISBN  978-1581133707 , S2CID   5398367 .