Mary K. Vernon

Affiliations:
  • University of Wisconsin-Madison, Madison, USA


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

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of three.

Awards

ACM Fellow

ACM Fellow 1996, "For fundamental contributions to performance analysis of parallel computer architectures and for leadership in the computing research community.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2012
Estimating queue length distributions for queues with random arrivals.
SIGMETRICS Perform. Evaluation Rev., 2012

2008
Toward a multicore architecture for real-time ray-tracing.
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.
Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

2007
Scalable on-demand streaming of nonlinear media.
IEEE/ACM Trans. Netw., 2007

Network bandwidth requirements for scalable on-demand streaming.
IEEE/ACM Trans. Netw., 2007

Target bandwidth sharing using endhost measures.
Perform. Evaluation, 2007

Offline and Online Network Traffic Characterization.
Proceedings of the NETWORKING 2007. Ad Hoc and Sensor Networks, 2007

2006
Multicast protocols for scalable on-demand download.
Perform. Evaluation, 2006

QuickProbe: available bandwidth estimation in two roundtrips.
Proceedings of the Joint International Conference on Measurement and Modeling of Computer Systems, 2006

Quantitative system design.
Proceedings of the 2006 IEEE International Symposium on Performance Analysis of Systems and Software, 2006

2005
Improving multirate congestion control using a TCP Vegas throughput model.
Comput. Networks, 2005

Mapping Internet Sensors with Probe Response Attacks.
Proceedings of the 14th USENIX Security Symposium, Baltimore, MD, USA, July 31, 2005

Improving TCP Performance for Multihop Wireless Networks.
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.
ACM Trans. Comput. Syst., 2004

Minimizing delivery cost in scalable streaming content distribution systems.
IEEE Trans. Multim., 2004

Foundations for Intrusion Prevention.
Prax. Inf.verarb. Kommun., 2004

Analysis of a Fork/Join Synchronization Station with Inputs from Coxian Servers in a Closed Queuing Network.
Ann. Oper. Res., 2004

Performance analysis of LAS-based scheduling disciplines in a packet switched network.
Proceedings of the International Conference on Measurements and Modeling of Computer Systems, 2004

Class-Partitioning Job Scheduling for Large-Scale Parallel Systems.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2004

Scalable On-Demand Streaming of Non-Linear Media.
Proceedings of the Proceedings IEEE INFOCOM 2004, 2004

Characterizing the query behavior in peer-to-peer file sharing systems.
Proceedings of the 4th ACM SIGCOMM Internet Measurement Conference, 2004

Foundations for Intrusion Prevention.
Proceedings of the Detection of Intrusions and Malware & Vulnerability Assessment, 2004

2003
Analytic Evaluation of Shared-Memory Architectures.
IEEE Trans. Parallel Distributed Syst., 2003

Scalable on-demand media streaming with packet loss recovery.
IEEE/ACM Trans. Netw., 2003

An Approach to Optimizing Adaptive Parabolic PDE Solvers for the Grid.
Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

2002
Modeling throughput in TCP vegas.
SIGMETRICS Perform. Evaluation Rev., 2002

Delimiting the range of effectiveness of scalable on-demand streaming.
Perform. Evaluation, 2002

Quality of service evaluations of multicast streaming protocols.
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.
Proceedings of the Job Scheduling Strategies for Parallel Processing, 2002

Model-Based Control of Adaptive Applications: An Overview.
Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

Provisioning Content Distribution Networks for Streaming Media.
Proceedings of the Proceedings IEEE INFOCOM 2002, 2002

Near-optimal adaptive control of a large grid application.
Proceedings of the 16th international conference on Supercomputing, 2002

2001
Minimizing Bandwidth Requirements for On-Demand Data Delivery.
IEEE Trans. Knowl. Data Eng., 2001

Characterization of user access to streaming media files.
Proceedings of the Joint International Conference on Measurements and Modeling of Computer Systems, 2001

Analysis of educational media server workloads.
Proceedings of the Network and Operating System Support for Digital Audio and Video, 2001

Characteristics of a Large Shared Memory Production Workload.
Proceedings of the Job Scheduling Strategies for Parallel Processing, 2001

Production Job Scheduling for Parallel Shared Memory Systems.
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.
IEEE Trans. Software Eng., 2000

Optimized caching in systems with heterogeneous client populations.
Perform. Evaluation, 2000

AMVA techniques for high service time variability.
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.
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.
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.
Proceedings of the First International Workshop on Software and Performance, 1998

Dynamic Skyscraper Broadcasts for Video-on-Demand.
Proceedings of the Advances in Multimedia Information Systems, 4th International Workshop, 1998

Analytic Evaluation of Shared-memory Systems with ILP Processors.
Proceedings of the 25th Annual International Symposium on Computer Architecture, 1998

1997
A Nationwide Parallel Computing Environment.
Commun. ACM, 1997

Managing Server Load in Global Memory Systems.
Proceedings of the 1997 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, 1997

Group-Guaranteed Channel Capacity in Multimedia Storage Servers.
Proceedings of the 1997 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, 1997

LoPC: Modeling Contention in Parallel Algorithms.
Proceedings of the Sixth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), 1997

1996
Dynamic vs. Static Quantum-Based Parallel Processor Allocation.
Proceedings of the Job Scheduling Strategies for Parallel Processing, 1996

Reducing Network Latency Using Subpages in a Global Memory Environment.
Proceedings of the ASPLOS-VII Proceedings, 1996

1995
The Fairness of DQDB Networks with Slot Reuse.
Proceedings of the Proceedings IEEE INFOCOM '95, 1995

1994
Performance Analysis of Mesh Interconnection Networks with Deterministic Routing.
IEEE Trans. Parallel Distributed Syst., 1994

Accurate Modeling of the Hybrid Hash Join Algorithm.
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.
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.
Proceedings of the 1993 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1993

A Hybrid Shared Memory/Message Passing Parallel Machine.
Proceedings of the 1993 International Conference on Parallel Processing, 1993

1992
A Multiprocessor Bus Design Model Validated by System Measurement.
IEEE Trans. Parallel Distributed Syst., 1992

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

1991
Comparison of Hardware and Software Cache Coherence Schemes.
Proceedings of the 18th Annual International Symposium on Computer Architecture. Toronto, 1991

1990
Hardware Support for Interprocess Communication.
IEEE Trans. Parallel Distributed Syst., 1990

The Performance of Multiprogrammed Multiprocessor Scheduling Policies.
Proceedings of the 1990 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1990

Diagnosing Parallel Program Speedup Limitations Using Resource Contention Models.
Proceedings of the 1990 International Conference on Parallel Processing, 1990

1989
Performance Analysis of Hierarchical Cache-Consistent Multiprocessors.
Perform. Evaluation, 1989

Efficent Synchronization Primitives for Large-Scale Cache-Coherent Multiprocessors.
Proceedings of the ASPLOS-III Proceedings, 1989

1988
A Mean-Value Performance Analysis of a New Multiprocessor Architecture.
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.
Proceedings of the 15th Annual International Symposium on Computer Architecture, 1988

An Accurate and Efficient Performance Analysis Technique for Multiprocessor Snooping Cache-Consistency Protocols.
Proceedings of the 15th Annual International Symposium on Computer Architecture, 1988

Measurements and prediction of contention in multiprocessor operating systems with scientific application workloads.
Proceedings of the 2nd international conference on Supercomputing, 1988

1987
A Generalized Times Petri Net Model for Performance Analysis.
IEEE Trans. Software Eng., 1987

Exact Performance Estimates for Multiprocessor Memory and Bus Interference.
IEEE Trans. Computers, 1987

Techniques for Reducing the Complexity of Large System Models.
Proceedings of the International Conference on Parallel Processing, 1987

1986
SARA (System ARchitects Apprentice): Modeling, Analysis, and Simulation Support for Design of Concurrent Systems.
IEEE Trans. Software Eng., 1986

Performance Analysis of Multiprocessor Cache Consistency Protocols Using Generalized Timed Petri Nets.
Proceedings of the 1986 ACM SIGMETRICS joint international conference on Computer performance modelling, 1986

The GTPN Analyzer: Numerical Methods and User Interface.
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.
Proceedings of the International Workshop on Timed Petri Nets, 1985

1983
Performance Evaluation of Asynchronous Concurrent Systems: The UCLA Graph Model of Behavior.
Proceedings of the Performance '83, 1983

1979
Evaluation methods in SARA - the graph model simulator.
Proceedings of the 1979 ACM SIGMETRICS conference on Simulation, 1979

Analysis of data flow models using the SARA graph model of behavior.
Proceedings of the 1979 International Workshop on Managing Requirements Knowledge, 1979


  Loading...