メアリー・K・ヴァーノン

メアリー・キャサリン・ヴァーノン（1953年生まれ）は、ウィスコンシン大学マディソン校でコンピュータサイエンスと産業工学の教授を務めるアメリカのコンピュータ科学者です。彼女の研究は、高性能コンピュータアーキテクチャとストリーミングメディアに関するものです。^[1]

ヴァーノンは1975年にカリフォルニア大学ロサンゼルス校で化学の学士号を取得し、^[2] 1983年にジェラルド・エストリンの指導の下、カリフォルニア大学ロサンゼルス校でコンピュータサイエンスの博士号を取得しました。^[3]彼女は1996年に「並列コンピュータアーキテクチャのパフォーマンス分析への根本的な貢献とコンピューティング研究コミュニティにおけるリーダーシップ」により、計算機協会のフェローに任命されました。 ^[4] 2019年には、「分析的パフォーマンスモデリング技術と、幅広い影響力のあるコンピュータおよび通信システムアーキテクチャの分析設計への貢献」により、ACM SIGMETRICS功績賞を受賞しました。^[5]

• Holliday, Mark A.; Vernon, Mary K. (1987 年 12 月)、「パフォーマンス分析のための一般化された時間付きペトリ ネット モデル」、IEEE Transactions on Software Engineering、SE-13 (12): 1297–1310、doi :10.1109/TSE.1987.233141、hdl : 1793/10030、S2CID  18145031。
• グッドマン、ジェームズ R.、ヴァーノン、メアリー K.、ウォエスト、フィリップ J. (1989)、「大規模キャッシュコヒーレントマルチプロセッサ向けの効率的な同期プリミティブ」、プログラミング言語およびオペレーティングシステムのアーキテクチャサポートに関する第 3 回国際会議 (ASPLOS III) の議事録、ニューヨーク、ニューヨーク、米国: ACM、pp. 64–75、doi : 10.1145/70082.68188、ISBN 978-0-89791-300-3、S2CID  7422600。
• Leutenegger, Scott T.; Vernon, Mary K. (1990)、「マルチプログラム マルチプロセッサ スケジューリング アルゴリズムのパフォーマンス」、1990 ACM SIGMETRICS コンピュータ システムの測定とモデリングに関する会議 (SIGMETRICS '90) の議事録、ニューヨーク、ニューヨーク、米国: ACM、pp. 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、pp. 21–30、CiteSeerX  10.1.1.1.2714、doi :10.1145/378344.378348、ISBN 978-1581133707、S2CID  5398367。