Mary K. Vernon

According to our database, Mary K. Vernon authored at least 79 papers between 1979 and 2012.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of three.

2012

Estimating queue length distributions for queues with random arrivals.

Daniel S. Myers, Mary K. Vernon

SIGMETRICS Perform. Evaluation Rev., 2012

2008

Toward a multicore architecture for real-time ray-tracing.

Venkatraman Govindaraju, Peter Djeu, Karthikeyan Sankaralingam, Mary K. Vernon, William R. Mark

Proceedings of the 41st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-41 2008), 2008

A plug-and-play model for evaluating wavefront computations on parallel architectures.

Gihan R. Mudalige, Mary K. Vernon, Stephen A. Jarvis

Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

2007

Scalable on-demand streaming of nonlinear media.

Yanping Zhao, Derek L. Eager, Mary K. Vernon

IEEE/ACM Trans. Netw., 2007

Network bandwidth requirements for scalable on-demand streaming.

Yanping Zhao, Derek L. Eager, Mary K. Vernon

IEEE/ACM Trans. Netw., 2007

Target bandwidth sharing using endhost measures.

George Kola, Mary K. Vernon

Perform. Evaluation, 2007

Offline and Online Network Traffic Characterization.

Su Zhang, Mary K. Vernon

Proceedings of the NETWORKING 2007. Ad Hoc and Sensor Networks, 2007

2006

Multicast protocols for scalable on-demand download.

Niklas Carlsson, Derek L. Eager, Mary K. Vernon

Perform. Evaluation, 2006

QuickProbe: available bandwidth estimation in two roundtrips.

George Kola, Mary K. Vernon

Proceedings of the Joint International Conference on Measurement and Modeling of Computer Systems, 2006

2005

Improving multirate congestion control using a TCP Vegas throughput model.

Anirban Mahanti, Derek L. Eager, Mary K. Vernon

Comput. Networks, 2005

Mapping Internet Sensors with Probe Response Attacks.

John Bethencourt, Jason Franklin, Mary K. Vernon

Proceedings of the 14th USENIX Security Symposium, Baltimore, MD, USA, July 31, 2005

Improving TCP Performance for Multihop Wireless Networks.

Sherif M. ElRakabawy, Christoph Lindemann, Mary K. Vernon

Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005

2004

Parallel program performance prediction using deterministic task graph analysis.

Vikram S. Adve, Mary K. Vernon

ACM Trans. Comput. Syst., 2004

Minimizing delivery cost in scalable streaming content distribution systems.

Jussara M. Almeida, Derek L. Eager, Mary K. Vernon, Stephen J. Wright

IEEE Trans. Multim., 2004

Foundations for Intrusion Prevention.

Shai Rubin, Ian D. Alderman, Mary K. Vernon

Prax. Inf.verarb. Kommun., 2004

Analysis of a Fork/Join Synchronization Station with Inputs from Coxian Servers in a Closed Queuing Network.

Ananth Krishnamurthy, Rajan Suri, Mary K. Vernon

Ann. Oper. Res., 2004

Performance analysis of LAS-based scheduling disciplines in a packet switched network.

Idris A. Rai, Guillaume Urvoy-Keller, Mary K. Vernon, Ernst W. Biersack

Proceedings of the International Conference on Measurements and Modeling of Computer Systems, 2004

Class-Partitioning Job Scheduling for Large-Scale Parallel Systems.

Su-Hui Chiang, Mary K. Vernon

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2004

Quantitative System Design.

Mary K. Vernon

Proceedings of the MMB & PGTS 2004, 2004

Scalable On-Demand Streaming of Non-Linear Media.

Yanping Zhao, Derek L. Eager, Mary K. Vernon

Proceedings of the Proceedings IEEE INFOCOM 2004, 2004

Characterizing the query behavior in peer-to-peer file sharing systems.

Alexander Klemm, Christoph Lindemann, Mary K. Vernon, Oliver P. Waldhorst

Proceedings of the 4th ACM SIGCOMM Internet Measurement Conference, 2004

Foundations for Intrusion Prevention.

Shai Rubin, Ian D. Alderman, David W. Parter, Mary K. Vernon

Proceedings of the Detection of Intrusions and Malware & Vulnerability Assessment, 2004

2003

Analytic Evaluation of Shared-Memory Architectures.

Daniel J. Sorin, Jonathan Lemon, Derek L. Eager, Mary K. Vernon

IEEE Trans. Parallel Distributed Syst., 2003

Scalable on-demand media streaming with packet loss recovery.

Anirban Mahanti, Derek L. Eager, Mary K. Vernon, David Sundaram-Stukel

IEEE/ACM Trans. Netw., 2003

An Approach to Optimizing Adaptive Parabolic PDE Solvers for the Grid.

Vikram S. Adve, James C. Browne, Brian Ensink, John R. Rice, Patricia J. Teller, Mary K. Vernon, Stephen J. Wright

Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

2002

Modeling throughput in TCP vegas.

Charalampos (Babis) Samios, Mary K. Vernon

SIGMETRICS Perform. Evaluation Rev., 2002

Delimiting the range of effectiveness of scalable on-demand streaming.

Haonan Tan, Derek L. Eager, Mary K. Vernon

Perform. Evaluation, 2002

Quality of service evaluations of multicast streaming protocols.

Haonan Tan, Derek L. Eager, Mary K. Vernon, Hongfei Guo

Proceedings of the International Conference on Measurements and Modeling of Computer Systems, 2002

The Impact of More Accurate Requested Runtimes on Production Job Scheduling Performance.

Su-Hui Chiang, Andrea C. Arpaci-Dusseau, Mary K. Vernon

Proceedings of the Job Scheduling Strategies for Parallel Processing, 2002

Model-Based Control of Adaptive Applications: An Overview.

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

Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

Provisioning Content Distribution Networks for Streaming Media.

Jussara M. Almeida, Derek L. Eager, Michael C. Ferris, Mary K. Vernon

Proceedings of the Proceedings IEEE INFOCOM 2002, 2002

Near-optimal adaptive control of a large grid application.

Det Buaklee, Gregory F. Tracy, Mary K. Vernon, Stephen J. Wright

Proceedings of the 16th international conference on Supercomputing, 2002

2001

Minimizing Bandwidth Requirements for On-Demand Data Delivery.

Derek L. Eager, Mary K. Vernon, John Zahorjan

IEEE Trans. Knowl. Data Eng., 2001

Characterization of user access to streaming media files.

Jussara M. Almeida, Jeffrey Krueger, Mary K. Vernon

Proceedings of the Joint International Conference on Measurements and Modeling of Computer Systems, 2001

Analysis of educational media server workloads.

Jussara M. Almeida, Jeffrey Krueger, Derek L. Eager, Mary K. Vernon

Proceedings of the Network and Operating System Support for Digital Audio and Video, 2001

Characteristics of a Large Shared Memory Production Workload.

Su-Hui Chiang, Mary K. Vernon

Proceedings of the Job Scheduling Strategies for Parallel Processing, 2001

Production Job Scheduling for Parallel Shared Memory Systems.

Su-Hui Chiang, Mary K. Vernon

Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS-01), 2001

2000

POEMS: End-to-End Performance Design of Large Parallel Adaptive Computational Systems.

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

IEEE Trans. Software Eng., 2000

Optimized caching in systems with heterogeneous client populations.

Derek L. Eager, Michael C. Ferris, Mary K. Vernon

Perform. Evaluation, 2000

AMVA techniques for high service time variability.

Derek L. Eager, Daniel J. Sorin, Mary K. Vernon

Proceedings of the 2000 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, 2000

1999

Predictive Analysis of a Wavefront Application using LogGP.

David Sundaram-Stukel, Mary K. Vernon

Proceedings of the 1999 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP'99), 1999

Optimal and efficient merging schedules for video-on-demand servers.

Derek L. Eager, Mary K. Vernon, John Zahorjan

Proceedings of the 7th ACM International Conference on Multimedia '99, Orlando, FL, USA, October 30, 1999

1998

Poems: end-to-end performance design of large parallel adaptive computational systems.

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

Proceedings of the First International Workshop on Software and Performance, 1998

Dynamic Skyscraper Broadcasts for Video-on-Demand.

Derek L. Eager, Mary K. Vernon

Proceedings of the Advances in Multimedia Information Systems, 4th International Workshop, 1998

Analytic Evaluation of Shared-memory Systems with ILP Processors.

Daniel J. Sorin, Vijay S. Pai, Sarita V. Adve, Mary K. Vernon, David A. Wood

Proceedings of the 25th Annual International Symposium on Computer Architecture, 1998

1997

A Nationwide Parallel Computing Environment.

Ken Kennedy, Charles F. Bender, John W. D. Connolly, John L. Hennessy, Mary K. Vernon, Larry Smarr

Commun. ACM, 1997

Managing Server Load in Global Memory Systems.

Geoffrey M. Voelker, Hervé A. Jamrozik, Mary K. Vernon, Henry M. Levy, Edward D. Lazowska

Proceedings of the 1997 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, 1997

Group-Guaranteed Channel Capacity in Multimedia Storage Servers.

Athanassios Tsiolis, Mary K. Vernon

Proceedings of the 1997 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, 1997

LoPC: Modeling Contention in Parallel Algorithms.

Matthew I. Frank, Anant Agarwal, Mary K. Vernon

Proceedings of the Sixth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), 1997

1996

Dynamic vs. Static Quantum-Based Parallel Processor Allocation.

Su-Hui Chiang, Mary K. Vernon

Proceedings of the Job Scheduling Strategies for Parallel Processing, 1996

Reducing Network Latency Using Subpages in a Global Memory Environment.

Hervé A. Jamrozik, Michael J. Feeley, Geoffrey M. Voelker, James Evans II, Anna R. Karlin, Henry M. Levy, Mary K. Vernon

Proceedings of the ASPLOS-VII Proceedings, 1996

1995

The Fairness of DQDB Networks with Slot Reuse.

Gregory B. Brewster, Mary K. Vernon

Proceedings of the Proceedings IEEE INFOCOM '95, 1995

1994

Performance Analysis of Mesh Interconnection Networks with Deterministic Routing.

Vikram S. Adve, Mary K. Vernon

IEEE Trans. Parallel Distributed Syst., 1994

Accurate Modeling of the Hybrid Hash Join Algorithm.

Jignesh M. Patel, Michael J. Carey, Mary K. Vernon

Proceedings of the 1994 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1994

Use of Application Characteristics and Limited Preemption for Run-to-Completion Parallel Processor Scheduling Policies.

Su-Hui Chiang, Rajesh K. Mansharamani, Mary K. Vernon

Proceedings of the 1994 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1994

1993

The Influence of Random Delays on Parallel Execution Times.

Vikram S. Adve, Mary K. Vernon

Proceedings of the 1993 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1993

A Hybrid Shared Memory/Message Passing Parallel Machine.

Matthew I. Frank, Mary K. Vernon

Proceedings of the 1993 International Conference on Parallel Processing, 1993

1992

A Multiprocessor Bus Design Model Validated by System Measurement.

Thin-Fong Tsuei, Mary K. Vernon

IEEE Trans. Parallel Distributed Syst., 1992

Performance of the SCI Ring.

Steven L. Scott, James R. Goodman, Mary K. Vernon

Proceedings of the 19th Annual International Symposium on Computer Architecture. Gold Coast, 1992

1991

Comparison of Hardware and Software Cache Coherence Schemes.

Sarita V. Adve, Vikram S. Adve, Mark D. Hill, Mary K. Vernon

Proceedings of the 18th Annual International Symposium on Computer Architecture. Toronto, 1991

1990

Hardware Support for Interprocess Communication.

Umakishore Ramachandran, Marvin H. Solomon, Mary K. Vernon

IEEE Trans. Parallel Distributed Syst., 1990

The Performance of Multiprogrammed Multiprocessor Scheduling Policies.

Scott T. Leutenegger, Mary K. Vernon

Proceedings of the 1990 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1990

Diagnosing Parallel Program Speedup Limitations Using Resource Contention Models.

Thin-Fong Tsuei, Mary K. Vernon

Proceedings of the 1990 International Conference on Parallel Processing, 1990

1989

Performance Analysis of Hierarchical Cache-Consistent Multiprocessors.

Mary K. Vernon, Rajeev Jog, Gurindar S. Sohi

Perform. Evaluation, 1989

Efficent Synchronization Primitives for Large-Scale Cache-Coherent Multiprocessors.

James R. Goodman, Mary K. Vernon, Philip J. Woest

Proceedings of the ASPLOS-III Proceedings, 1989

1988

A Mean-Value Performance Analysis of a New Multiprocessor Architecture.

Scott T. Leutenegger, Mary K. Vernon

Proceedings of the 1988 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1988

Distributed Round-Robin and First-Come First-Serve Protocols and Their Application to Multiprocessor Bus Arbitration.

Mary K. Vernon, Udi Manber

Proceedings of the 15th Annual International Symposium on Computer Architecture, 1988

An Accurate and Efficient Performance Analysis Technique for Multiprocessor Snooping Cache-Consistency Protocols.

Mary K. Vernon, Edward D. Lazowska, John Zahorjan

Proceedings of the 15th Annual International Symposium on Computer Architecture, 1988

Measurements and prediction of contention in multiprocessor operating systems with scientific application workloads.

George E. Bier, Mary K. Vernon

Proceedings of the 2nd international conference on Supercomputing, 1988

1987

A Generalized Times Petri Net Model for Performance Analysis.

Mark A. Holliday, Mary K. Vernon

IEEE Trans. Software Eng., 1987

Exact Performance Estimates for Multiprocessor Memory and Bus Interference.

Mark A. Holliday, Mary K. Vernon

IEEE Trans. Computers, 1987

Techniques for Reducing the Complexity of Large System Models.

Umakishore Ramachandran, Marvin H. Solomon, Mary K. Vernon

Proceedings of the International Conference on Parallel Processing, 1987

1986

SARA (System ARchitects Apprentice): Modeling, Analysis, and Simulation Support for Design of Concurrent Systems.

Gerald Estrin, Robert S. Fenchel, Rami R. Razouk, Mary K. Vernon

IEEE Trans. Software Eng., 1986

Performance Analysis of Multiprocessor Cache Consistency Protocols Using Generalized Timed Petri Nets.

Mary K. Vernon, Mark A. Holliday

Proceedings of the 1986 ACM SIGMETRICS joint international conference on Computer performance modelling, 1986

The GTPN Analyzer: Numerical Methods and User Interface.

Mark A. Holliday, Mary K. Vernon

Proceedings of the Fall Joint Computer Conference, November 2-6, 1986, Dallas, Texas, USA, 1986

1985

A Generalized Timed Petri Net Model for Performance Analysis.

Mark A. Holliday, Mary K. Vernon

Proceedings of the International Workshop on Timed Petri Nets, 1985

1983

Performance Evaluation of Asynchronous Concurrent Systems: The UCLA Graph Model of Behavior.

Mary K. Vernon, Edmundo de Souza e Silva, Gerald Estrin

Proceedings of the Performance '83, 1983

1979

Evaluation methods in SARA - the graph model simulator.

Rami R. Razouk, Mary K. Vernon, Gerald Estrin

Proceedings of the 1979 ACM SIGMETRICS conference on Simulation, 1979

Analysis of data flow models using the SARA graph model of behavior.

Wilson Vicente Ruggiero, Gerald Estrin, Robert S. Fenchel, Rami R. Razouk, D. Schwabe, Mary K. Vernon

Proceedings of the 1979 International Workshop on Managing Requirements Knowledge, 1979