Mary K. Vernon

Publication Activity (10 Years)

Years Active: 1979-2012
Publications (10 Years): 0

Top Venues

SIGMETRICS Perform. Evaluation Rev.

Publications

Daniel S. Myers, Mary K. Vernon
Estimating queue length distributions for queues with random arrivals. SIGMETRICS Perform. Evaluation Rev. 40 (3) (2012)
Venkatraman Govindaraju, Peter Djeu, Karthikeyan Sankaralingam, Mary K. Vernon, William R. Mark
Toward a multicore architecture for real-time ray-tracing. MICRO (2008)
Gihan R. Mudalige, Mary K. Vernon, Stephen A. Jarvis
A plug-and-play model for evaluating wavefront computations on parallel architectures. IPDPS (2008)
George Kola, Mary K. Vernon
Target bandwidth sharing using endhost measures. Perform. Evaluation 64 (9-12) (2007)
Yanping Zhao, Derek L. Eager, Mary K. Vernon
Network bandwidth requirements for scalable on-demand streaming. IEEE/ACM Trans. Netw. 15 (4) (2007)
Yanping Zhao, Derek L. Eager, Mary K. Vernon
Scalable on-demand streaming of nonlinear media. IEEE/ACM Trans. Netw. 15 (5) (2007)
Su Zhang, Mary K. Vernon
Offline and Online Network Traffic Characterization. Networking (2007)
Niklas Carlsson, Derek L. Eager, Mary K. Vernon
Multicast protocols for scalable on-demand download. Perform. Evaluation 63 (9-10) (2006)
George Kola, Mary K. Vernon
QuickProbe: available bandwidth estimation in two roundtrips. SIGMETRICS/Performance (2006)
Mary K. Vernon
Quantitative system design. ISPASS (2006)
John Bethencourt, Jason Franklin, Mary K. Vernon
Mapping Internet Sensors with Probe Response Attacks. USENIX Security Symposium (2005)
Anirban Mahanti, Derek L. Eager, Mary K. Vernon
Improving multirate congestion control using a TCP Vegas throughput model. Comput. Networks 48 (2) (2005)
Sherif M. ElRakabawy, Christoph Lindemann, Mary K. Vernon
Improving TCP Performance for Multihop Wireless Networks. DSN (2005)
Niklas Carlsson, Derek L. Eager, Mary K. Vernon
Multicast protocols for scalable on-demand download. SIGMETRICS (2004)
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)
Mary K. Vernon
Quantitative System Design. MMB (2004)
Su-Hui Chiang, Mary K. Vernon
Class-Partitioning Job Scheduling for Large-Scale Parallel Systems. PDPTA (2004)
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) (2004)
Vikram S. Adve, Mary K. Vernon
Parallel program performance prediction using deterministic task graph analysis. ACM Trans. Comput. Syst. 22 (1) (2004)
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) (2004)
Shai Rubin, Ian D. Alderman, David W. Parter, Mary K. Vernon
Foundations for Intrusion Prevention. DIMVA (2004)
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)
Shai Rubin, Ian D. Alderman, Mary K. Vernon
Foundations for Intrusion Prevention. Prax. Inf.verarb. Kommun. 27 (4) (2004)
Yanping Zhao, Derek L. Eager, Mary K. Vernon
Scalable On-Demand Streaming of Non-Linear Media. INFOCOM (2004)
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) (2003)
Charalampos (Babis) Samios, Mary K. Vernon
Modeling the throughput of TCP Vegas. SIGMETRICS (2003)
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)
Daniel J. Sorin, Jonathan Lemon, Derek L. Eager, Mary K. Vernon
Analytic Evaluation of Shared-Memory Architectures. IEEE Trans. Parallel Distributed Syst. 14 (2) (2003)
Jussara M. Almeida, Derek L. Eager, Michael C. Ferris, Mary K. Vernon
Provisioning Content Distribution Networks for Streaming Media. INFOCOM (2002)
Det Buaklee, Gregory F. Tracy, Mary K. Vernon, Stephen J. Wright
Near-optimal adaptive control of a large grid application. ICS (2002)
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)
Charalampos (Babis) Samios, Mary K. Vernon
Modeling throughput in TCP vegas. SIGMETRICS Perform. Evaluation Rev. 30 (3) (2002)
Su-Hui Chiang, Andrea C. Arpaci-Dusseau, Mary K. Vernon
The Impact of More Accurate Requested Runtimes on Production Job Scheduling Performance. JSSPP (2002)
Haonan Tan, Derek L. Eager, Mary K. Vernon
Delimiting the range of effectiveness of scalable on-demand streaming. Perform. Evaluation 49 (1/4) (2002)
Haonan Tan, Derek L. Eager, Mary K. Vernon, Hongfei Guo
Quality of service evaluations of multicast streaming protocols. SIGMETRICS (2002)
Yanping Zhao, Derek L. Eager, Mary K. Vernon
Network Bandwidth Requirements for Scalable On-Demand Streaming. INFOCOM (2002)
Jussara M. Almeida, Jeffrey Krueger, Derek L. Eager, Mary K. Vernon
Analysis of educational media server workloads. NOSSDAV (2001)
Su-Hui Chiang, Mary K. Vernon
Characteristics of a Large Shared Memory Production Workload. JSSPP (2001)
Jussara M. Almeida, Jeffrey Krueger, Mary K. Vernon
Characterization of user access to streaming media files. SIGMETRICS/Performance (2001)
Derek L. Eager, Mary K. Vernon, John Zahorjan
Minimizing Bandwidth Requirements for On-Demand Data Delivery. IEEE Trans. Knowl. Data Eng. 13 (5) (2001)
Su-Hui Chiang, Mary K. Vernon
Production Job Scheduling for Parallel Shared Memory Systems. IPDPS (2001)
Anirban Mahanti, Derek L. Eager, Mary K. Vernon, David Sundaram-Stukel
Scalable on-demand media streaming with packet loss recovery. SIGCOMM (2001)
Derek L. Eager, Daniel J. Sorin, Mary K. Vernon
AMVA techniques for high service time variability. SIGMETRICS (2000)
Derek L. Eager, Michael C. Ferris, Mary K. Vernon
Optimized caching in systems with heterogeneous client populations. Perform. Evaluation 42 (2-3) (2000)
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) (2000)
Derek L. Eager, Mary K. Vernon, John Zahorjan
Optimal and efficient merging schedules for video-on-demand servers. ACM Multimedia (1) (1999)
David Sundaram-Stukel, Mary K. Vernon
Predictive Analysis of a Wavefront Application using LogGP. PPOPP (1999)
Derek L. Eager, Mary K. Vernon, John Zahorjan
Minimizing Bandwidth Requirements for On-Demand Data Delivery. Multimedia Information Systems (1999)
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)
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)
Derek L. Eager, Mary K. Vernon
Dynamic Skyscraper Broadcasts for Video-on-Demand. Multimedia Information Systems (1998)
Athanassios Tsiolis, Mary K. Vernon
Group-Guaranteed Channel Capacity in Multimedia Storage Servers. SIGMETRICS (1997)
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) (1997)
Geoffrey M. Voelker, Hervé A. Jamrozik, Mary K. Vernon, Henry M. Levy, Edward D. Lazowska
Managing Server Load in Global Memory Systems. SIGMETRICS (1997)
Matthew I. Frank, Anant Agarwal, Mary K. Vernon
LoPC: Modeling Contention in Parallel Algorithms. PPOPP (1997)
Su-Hui Chiang, Mary K. Vernon
Dynamic vs. Static Quantum-Based Parallel Processor Allocation. JSSPP (1996)
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)
Gregory B. Brewster, Mary K. Vernon
The Fairness of DQDB Networks with Slot Reuse. INFOCOM (1995)
Vikram S. Adve, Mary K. Vernon
Performance Analysis of Mesh Interconnection Networks with Deterministic Routing. IEEE Trans. Parallel Distributed Syst. 5 (3) (1994)
Jignesh M. Patel, Michael J. Carey, Mary K. Vernon
Accurate Modeling of the Hybrid Hash Join Algorithm. SIGMETRICS (1994)
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)
Matthew I. Frank, Mary K. Vernon
A Hybrid Shared Memory/Message Passing Parallel Machine. ICPP (1) (1993)
Vikram S. Adve, Mary K. Vernon
The Influence of Random Delays on Parallel Execution Times. SIGMETRICS (1993)
Steven L. Scott, James R. Goodman, Mary K. Vernon
Performance of the SCI Ring. ISCA (1992)
Thin-Fong Tsuei, Mary K. Vernon
A Multiprocessor Bus Design Model Validated by System Measurement. IEEE Trans. Parallel Distributed Syst. 3 (6) (1992)
Sarita V. Adve, Vikram S. Adve, Mark D. Hill, Mary K. Vernon
Comparison of Hardware and Software Cache Coherence Schemes. ISCA (1991)
Scott T. Leutenegger, Mary K. Vernon
The Performance of Multiprogrammed Multiprocessor Scheduling Policies. SIGMETRICS (1990)
Umakishore Ramachandran, Marvin H. Solomon, Mary K. Vernon
Hardware Support for Interprocess Communication. IEEE Trans. Parallel Distributed Syst. 1 (3) (1990)
Thin-Fong Tsuei, Mary K. Vernon
Diagnosing Parallel Program Speedup Limitations Using Resource Contention Models. ICPP (1) (1990)
James R. Goodman, Mary K. Vernon, Philip J. Woest
Efficent Synchronization Primitives for Large-Scale Cache-Coherent Multiprocessors. ASPLOS (1989)
Mary K. Vernon, Rajeev Jog, Gurindar S. Sohi
Performance Analysis of Hierarchical Cache-Consistent Multiprocessors. Perform. Evaluation 9 (4) (1989)
George E. Bier, Mary K. Vernon
Measurements and prediction of contention in multiprocessor operating systems with scientific application workloads. ICS (1988)
Scott T. Leutenegger, Mary K. Vernon
A Mean-Value Performance Analysis of a New Multiprocessor Architecture. SIGMETRICS (1988)
Mary K. Vernon, Edward D. Lazowska, John Zahorjan
An Accurate and Efficient Performance Analysis Technique for Multiprocessor Snooping Cache-Consistency Protocols. ISCA (1988)
Mary K. Vernon, Udi Manber
Distributed Round-Robin and First-Come First-Serve Protocols and Their Application to Multiprocessor Bus Arbitration. ISCA (1988)
Umakishore Ramachandran, Marvin H. Solomon, Mary K. Vernon
Hardware Support for Interprocess Communication. ISCA (1987)
Mark A. Holliday, Mary K. Vernon
Exact Performance Estimates for Multiprocessor Memory and Bus Interference. IEEE Trans. Computers 36 (1) (1987)
Umakishore Ramachandran, Marvin H. Solomon, Mary K. Vernon
Techniques for Reducing the Complexity of Large System Models. ICPP (1987)
Mark A. Holliday, Mary K. Vernon
A Generalized Times Petri Net Model for Performance Analysis. IEEE Trans. Software Eng. 13 (12) (1987)
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) (1986)
Mark A. Holliday, Mary K. Vernon
The GTPN Analyzer: Numerical Methods and User Interface. FJCC (1986)
Mary K. Vernon, Mark A. Holliday
Performance Analysis of Multiprocessor Cache Consistency Protocols Using Generalized Timed Petri Nets. SIGMETRICS (1986)
Mark A. Holliday, Mary K. Vernon
A Generalized Timed Petri Net Model for Performance Analysis. PNPM (1985)
Mary K. Vernon, Edmundo de Souza e Silva, Gerald Estrin
Performance Evaluation of Asynchronous Concurrent Systems: The UCLA Graph Model of Behavior. Performance (1983)
Gerald Estrin, Mary K. Vernon, Rami R. Razouk
Evaluation methods in SARA - the graph model simulator. SIGMETRICS Performance Evaluation Review (1979)
Rami R. Razouk, Mary K. Vernon, Gerald Estrin
Evaluation methods in SARA - the graph model simulator. SIGMETRICS (1979)
W. 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)