default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMary K. Vernon
Person information
- affiliation: University of Wisconsin-Madison, Madison, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2012
[j25]Daniel S. Myers, Mary K. Vernon:
Estimating queue length distributions for queues with random arrivals. SIGMETRICS Perform. Evaluation Rev. 40(3): 77-79 (2012)
2000 – 2009
- 2008
- [c61]Gihan R. Mudalige
, Mary K. Vernon, Stephen A. Jarvis:
A plug-and-play model for evaluating wavefront computations on parallel architectures. IPDPS 2008: 1-14 - [c60]Venkatraman Govindaraju, Peter Djeu, Karthikeyan Sankaralingam, Mary K. Vernon, William R. Mark:
Toward a multicore architecture for real-time ray-tracing. MICRO 2008: 176-187 - 2007
- [j24]George Kola, Mary K. Vernon:
Target bandwidth sharing using endhost measures. Perform. Evaluation 64(9-12): 948-964 (2007) - [j23]Yanping Zhao, Derek L. Eager, Mary K. Vernon:
Network bandwidth requirements for scalable on-demand streaming. IEEE/ACM Trans. Netw. 15(4): 878-891 (2007) - [j22]Yanping Zhao, Derek L. Eager, Mary K. Vernon:
Scalable on-demand streaming of nonlinear media. IEEE/ACM Trans. Netw. 15(5): 1149-1162 (2007) - [c59]Su Zhang, Mary K. Vernon:
Offline and Online Network Traffic Characterization. Networking 2007: 912-923 - 2006
- [j21]Niklas Carlsson, Derek L. Eager, Mary K. Vernon:
Multicast protocols for scalable on-demand download. Perform. Evaluation 63(9-10): 864-891 (2006) - [c58]Mary K. Vernon:
Quantitative system design. ISPASS 2006: 130 - [c57]George Kola, Mary K. Vernon:
QuickProbe: available bandwidth estimation in two roundtrips. SIGMETRICS/Performance 2006: 359-360 - 2005
- [j20]Anirban Mahanti, Derek L. Eager, Mary K. Vernon:
Improving multirate congestion control using a TCP Vegas throughput model. Comput. Networks 48(2): 113-136 (2005) - [c56]Sherif M. ElRakabawy, Christoph Lindemann, Mary K. Vernon:
Improving TCP Performance for Multihop Wireless Networks. DSN 2005: 684-693 - [c55]John Bethencourt, Jason Franklin, Mary K. Vernon:
Mapping Internet Sensors with Probe Response Attacks. USENIX Security Symposium 2005 - 2004
- [j19]Ananth Krishnamurthy, Rajan Suri, Mary K. Vernon:
Analysis of a Fork/Join Synchronization Station with Inputs from Coxian Servers in a Closed Queuing Network. Ann. Oper. Res. 125(1-4): 69-94 (2004) - [j18]Shai Rubin, Ian D. Alderman, Mary K. Vernon:
Foundations for Intrusion Prevention. Prax. Inf.verarb. Kommun. 27(4): 209-218 (2004) - [j17]Jussara M. Almeida, Derek L. Eager, Mary K. Vernon, Stephen J. Wright:
Minimizing delivery cost in scalable streaming content distribution systems. IEEE Trans. Multim. 6(2): 356-365 (2004) - [j16]Vikram S. Adve, Mary K. Vernon:
Parallel program performance prediction using deterministic task graph analysis. ACM Trans. Comput. Syst. 22(1): 94-136 (2004) - [c54]Shai Rubin, Ian D. Alderman, David W. Parter, Mary K. Vernon:
Foundations for Intrusion Prevention. DIMVA 2004: 143-160 - [c53]Alexander Klemm, Christoph Lindemann, Mary K. Vernon, Oliver P. Waldhorst:
Characterizing the query behavior in peer-to-peer file sharing systems. Internet Measurement Conference 2004: 55-67 - [c52]Yanping Zhao, Derek L. Eager, Mary K. Vernon:
Scalable On-Demand Streaming of Non-Linear Media. INFOCOM 2004: 1522-1533 - [c51]Mary K. Vernon:
Quantitative System Design. MMB 2004: 11-13 - [c50]Su-Hui Chiang, Mary K. Vernon:
Class-Partitioning Job Scheduling for Large-Scale Parallel Systems. PDPTA 2004: 193-199 - [c49]Idris A. Rai, Guillaume Urvoy-Keller, Mary K. Vernon, Ernst W. Biersack:
Performance analysis of LAS-based scheduling disciplines in a packet switched network. SIGMETRICS 2004: 106-117 - [c48]Niklas Carlsson, Derek L. Eager, Mary K. Vernon:
Multicast protocols for scalable on-demand download. SIGMETRICS 2004: 428-429 - 2003
- [j15]Anirban Mahanti, Derek L. Eager, Mary K. Vernon, David Sundaram-Stukel:
Scalable on-demand media streaming with packet loss recovery. IEEE/ACM Trans. Netw. 11(2): 195-209 (2003) - [j14]Daniel J. Sorin, Jonathan Lemon, Derek L. Eager, Mary K. Vernon:
Analytic Evaluation of Shared-Memory Architectures. IEEE Trans. Parallel Distributed Syst. 14(2): 166-180 (2003) - [c47]Vikram S. Adve, James C. Browne, Brian Ensink, John R. Rice, Patricia J. Teller, Mary K. Vernon, Stephen J. Wright:
An Approach to Optimizing Adaptive Parabolic PDE Solvers for the Grid. IPDPS 2003: 210 - [c46]Charalampos (Babis) Samios, Mary K. Vernon:
Modeling the throughput of TCP Vegas. SIGMETRICS 2003: 71-81 - 2002
- [j13]Haonan Tan, Derek L. Eager, Mary K. Vernon:
Delimiting the range of effectiveness of scalable on-demand streaming. Perform. Evaluation 49(1/4): 387-410 (2002) - [j12]Charalampos (Babis) Samios, Mary K. Vernon:
Modeling throughput in TCP vegas. SIGMETRICS Perform. Evaluation Rev. 30(3): 26-28 (2002) - [c45]Det Buaklee, Gregory F. Tracy, Mary K. Vernon, Stephen J. Wright:
Near-optimal adaptive control of a large grid application. ICS 2002: 315-326 - [c44]Yanping Zhao, Derek L. Eager, Mary K. Vernon:
Network Bandwidth Requirements for Scalable On-Demand Streaming. INFOCOM 2002: 1119-1128 - [c43]Jussara M. Almeida, Derek L. Eager, Michael C. Ferris, Mary K. Vernon:
Provisioning Content Distribution Networks for Streaming Media. INFOCOM 2002: 1746-1755 - [c42]Vikram S. Adve, Afolami Akinsanmi, James C. Browne, Det Buaklee, Guoshen Deng, Vinh Vi Lam, Trevor Morgan, John R. Rice, Gregory J. Rodin, Patricia J. Teller, Gregory F. Tracy, Mary K. Vernon, Stephen J. Wright:
Model-Based Control of Adaptive Applications: An Overview. IPDPS 2002 - [c41]Su-Hui Chiang, Andrea C. Arpaci-Dusseau, Mary K. Vernon:
The Impact of More Accurate Requested Runtimes on Production Job Scheduling Performance. JSSPP 2002: 103-127 - [c40]Haonan Tan, Derek L. Eager, Mary K. Vernon, Hongfei Guo:
Quality of service evaluations of multicast streaming protocols. SIGMETRICS 2002: 183-194 - 2001
- [j11]Derek L. Eager, Mary K. Vernon, John Zahorjan:
Minimizing Bandwidth Requirements for On-Demand Data Delivery. IEEE Trans. Knowl. Data Eng. 13(5): 742-757 (2001) - [c39]Su-Hui Chiang, Mary K. Vernon:
Production Job Scheduling for Parallel Shared Memory Systems. IPDPS 2001: 47 - [c38]Su-Hui Chiang, Mary K. Vernon:
Characteristics of a Large Shared Memory Production Workload. JSSPP 2001: 159-187 - [c37]Jussara M. Almeida, Jeffrey Krueger, Derek L. Eager, Mary K. Vernon:
Analysis of educational media server workloads. NOSSDAV 2001: 21-30 - [c36]Anirban Mahanti, Derek L. Eager, Mary K. Vernon, David Sundaram-Stukel:
Scalable on-demand media streaming with packet loss recovery. SIGCOMM 2001: 97-108 - [c35]Jussara M. Almeida, Jeffrey Krueger, Mary K. Vernon:
Characterization of user access to streaming media files. SIGMETRICS/Performance 2001: 340-341 - [e2]Mary K. Vernon:
Proceedings of the Joint International Conference on Measurements and Modeling of Computer Systems, SIGMETRICS/Performance 2001, June 16-20, 2001, Cambridge, MA, USA. ACM 2001, ISBN 1-58113-334-0 [contents] - 2000
- [j10]Derek L. Eager, Michael C. Ferris, Mary K. Vernon:
Optimized caching in systems with heterogeneous client populations. Perform. Evaluation 42(2-3): 163-185 (2000) - [j9]Vikram S. Adve, Rajive L. Bagrodia, James C. Browne, Ewa Deelman, Aditya Dube, Elias N. Houstis, John R. Rice, Rizos Sakellariou, David Sundaram-Stukel, Patricia J. Teller, Mary K. Vernon:
POEMS: End-to-End Performance Design of Large Parallel Adaptive Computational Systems. IEEE Trans. Software Eng. 26(11): 1027-1048 (2000) - [c34]Derek L. Eager, Daniel J. Sorin, Mary K. Vernon:
AMVA techniques for high service time variability. SIGMETRICS 2000: 217-228
1990 – 1999
- 1999
- [c33]Derek L. Eager, Mary K. Vernon, John Zahorjan:
Minimizing Bandwidth Requirements for On-Demand Data Delivery. Multimedia Information Systems 1999: 80-87 - [c32]Derek L. Eager, Mary K. Vernon, John Zahorjan:
Optimal and efficient merging schedules for video-on-demand servers. ACM Multimedia (1) 1999: 199-202 - [c31]David Sundaram-Stukel, Mary K. Vernon:
Predictive Analysis of a Wavefront Application using LogGP. PPoPP 1999: 141-150 - 1998
- [c30]Daniel J. Sorin, Vijay S. Pai, Sarita V. Adve, Mary K. Vernon, David A. Wood:
Analytic Evaluation of Shared-memory Systems with ILP Processors. ISCA 1998: 380-391 - [c29]Derek L. Eager, Mary K. Vernon:
Dynamic Skyscraper Broadcasts for Video-on-Demand. Multimedia Information Systems 1998: 18-32 - [c28]Ewa Deelman, Aditya Dube, Adolfy Hoisie, Yong Luo, Richard L. Oliver, David Sundaram-Stukel, Harvey J. Wasserman, Vikram S. Adve, Rajive L. Bagrodia, James C. Browne, Elias N. Houstis, Olaf M. Lubeck, John R. Rice, Patricia J. Teller, Mary K. Vernon:
Poems: end-to-end performance design of large parallel adaptive computational systems. WOSP 1998: 18-30 - [e1]Mary K. Vernon, Garth Gibson, Guy Latouche, Scott T. Leutenegger:
Proceedings of the 1998 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems, SIGMETRICS '98 / PERFORMANCE '98, Madison, Wisconsin, USA, June 22-26, 1998. ACM 1998, ISBN 0-89791-982-3 [contents] - 1997
- [j8]Ken Kennedy, Charles F. Bender, John W. D. Connolly, John L. Hennessy, Mary K. Vernon, Larry Smarr:
A Nationwide Parallel Computing Environment. Commun. ACM 40(11): 62-72 (1997) - [c27]Matthew I. Frank, Anant Agarwal, Mary K. Vernon:
LoPC: Modeling Contention in Parallel Algorithms. PPoPP 1997: 276-287 - [c26]Geoffrey M. Voelker, Hervé A. Jamrozik, Mary K. Vernon, Henry M. Levy, Edward D. Lazowska:
Managing Server Load in Global Memory Systems. SIGMETRICS 1997: 127-138 - [c25]Athanassios Tsiolis, Mary K. Vernon:
Group-Guaranteed Channel Capacity in Multimedia Storage Servers. SIGMETRICS 1997: 285-297 - 1996
- [c24]Hervé A. Jamrozik, Michael J. Feeley, Geoffrey M. Voelker, James Evans II, Anna R. Karlin, Henry M. Levy, Mary K. Vernon:
Reducing Network Latency Using Subpages in a Global Memory Environment. ASPLOS 1996: 258-267 - [c23]Su-Hui Chiang, Mary K. Vernon:
Dynamic vs. Static Quantum-Based Parallel Processor Allocation. JSSPP 1996: 200-223 - 1995
- [c22]Gregory B. Brewster, Mary K. Vernon:
The Fairness of DQDB Networks with Slot Reuse. INFOCOM 1995: 1154-1163 - 1994
- [j7]Vikram S. Adve, Mary K. Vernon:
Performance Analysis of Mesh Interconnection Networks with Deterministic Routing. IEEE Trans. Parallel Distributed Syst. 5(3): 225-246 (1994) - [c21]Su-Hui Chiang, Rajesh K. Mansharamani, Mary K. Vernon:
Use of Application Characteristics and Limited Preemption for Run-to-Completion Parallel Processor Scheduling Policies. SIGMETRICS 1994: 33-44 - [c20]Jignesh M. Patel, Michael J. Carey, Mary K. Vernon:
Accurate Modeling of the Hybrid Hash Join Algorithm. SIGMETRICS 1994: 56-66 - 1993
- [c19]Matthew I. Frank, Mary K. Vernon:
A Hybrid Shared Memory/Message Passing Parallel Machine. ICPP (1) 1993: 232-236 - [c18]Vikram S. Adve, Mary K. Vernon:
The Influence of Random Delays on Parallel Execution Times. SIGMETRICS 1993: 61-73 - 1992
- [j6]Thin-Fong Tsuei, Mary K. Vernon:
A Multiprocessor Bus Design Model Validated by System Measurement. IEEE Trans. Parallel Distributed Syst. 3(6): 712-727 (1992) - [c17]Steven L. Scott, James R. Goodman, Mary K. Vernon:
Performance of the SCI Ring. ISCA 1992: 403-414 - 1991
- [c16]Sarita V. Adve, Vikram S. Adve, Mark D. Hill, Mary K. Vernon:
Comparison of Hardware and Software Cache Coherence Schemes. ISCA 1991: 298-308 - 1990
- [j5]Umakishore Ramachandran, Marvin H. Solomon, Mary K. Vernon:
Hardware Support for Interprocess Communication. IEEE Trans. Parallel Distributed Syst. 1(3): 318-329 (1990) - [c15]Thin-Fong Tsuei, Mary K. Vernon:
Diagnosing Parallel Program Speedup Limitations Using Resource Contention Models. ICPP (1) 1990: 185-189 - [c14]Scott T. Leutenegger, Mary K. Vernon:
The Performance of Multiprogrammed Multiprocessor Scheduling Policies. SIGMETRICS 1990: 226-236
1980 – 1989
- 1989
- [j4]Mary K. Vernon, Rajeev Jog, Gurindar S. Sohi:
Performance Analysis of Hierarchical Cache-Consistent Multiprocessors. Perform. Evaluation 9(4): 287-302 (1989) - [c13]James R. Goodman, Mary K. Vernon, Philip J. Woest:
Efficent Synchronization Primitives for Large-Scale Cache-Coherent Multiprocessors. ASPLOS 1989: 64-75 - 1988
- [c12]George E. Bier, Mary K. Vernon:
Measurements and prediction of contention in multiprocessor operating systems with scientific application workloads. ICS 1988: 9-15 - [c11]Mary K. Vernon, Udi Manber:
Distributed Round-Robin and First-Come First-Serve Protocols and Their Application to Multiprocessor Bus Arbitration. ISCA 1988: 269-277 - [c10]Mary K. Vernon, Edward D. Lazowska, John Zahorjan:
An Accurate and Efficient Performance Analysis Technique for Multiprocessor Snooping Cache-Consistency Protocols. ISCA 1988: 308-315 - [c9]Scott T. Leutenegger, Mary K. Vernon:
A Mean-Value Performance Analysis of a New Multiprocessor Architecture. SIGMETRICS 1988: 167-176 - 1987
- [j3]Mark A. Holliday, Mary K. Vernon:
Exact Performance Estimates for Multiprocessor Memory and Bus Interference. IEEE Trans. Computers 36(1): 76-85 (1987) - [j2]Mark A. Holliday, Mary K. Vernon:
A Generalized Times Petri Net Model for Performance Analysis. IEEE Trans. Software Eng. 13(12): 1297-1310 (1987) - [c8]Umakishore Ramachandran, Marvin H. Solomon, Mary K. Vernon:
Techniques for Reducing the Complexity of Large System Models. ICPP 1987: 692-694 - [c7]Umakishore Ramachandran, Marvin H. Solomon, Mary K. Vernon:
Hardware Support for Interprocess Communication. ISCA 1987: 178-188 - 1986
- [j1]Gerald Estrin, Robert S. Fenchel, Rami R. Razouk, Mary K. Vernon:
SARA (System ARchitects Apprentice): Modeling, Analysis, and Simulation Support for Design of Concurrent Systems. IEEE Trans. Software Eng. 12(2): 293-311 (1986) - [c6]Mark A. Holliday, Mary K. Vernon:
The GTPN Analyzer: Numerical Methods and User Interface. FJCC 1986: 1099-1104 - [c5]Mary K. Vernon, Mark A. Holliday:
Performance Analysis of Multiprocessor Cache Consistency Protocols Using Generalized Timed Petri Nets. SIGMETRICS 1986: 9-17 - 1985
- [c4]Mark A. Holliday, Mary K. Vernon:
A Generalized Timed Petri Net Model for Performance Analysis. PNPM 1985: 181-190 - 1983
- [c3]Mary K. Vernon, Edmundo de Souza e Silva, Gerald Estrin:
Performance Evaluation of Asynchronous Concurrent Systems: The UCLA Graph Model of Behavior. Performance 1983: 153-171
1970 – 1979
- 1979
- [c2]Wilson Vicente Ruggiero, Gerald Estrin, Robert S. Fenchel, Rami R. Razouk, D. Schwabe, Mary K. Vernon:
Analysis of data flow models using the SARA graph model of behavior. MARK 1979: 975-988 - [c1]Rami R. Razouk, Mary K. Vernon, Gerald Estrin:
Evaluation methods in SARA - the graph model simulator. SIGMETRICS 1979: 189-206
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
