2008 | ||
---|---|---|
80 | 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 | |
2007 | ||
79 | Su Zhang, Mary K. Vernon: Offline and Online Network Traffic Characterization. Networking 2007: 912-923 | |
78 | 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) | |
77 | Yanping Zhao, Derek L. Eager, Mary K. Vernon: Scalable on-demand streaming of nonlinear media. IEEE/ACM Trans. Netw. 15(5): 1149-1162 (2007) | |
76 | George Kola, Mary K. Vernon: Target bandwidth sharing using endhost measures. Perform. Eval. 64(9-12): 948-964 (2007) | |
2006 | ||
75 | Mary K. Vernon: Quantitative system design. ISPASS 2006: 130 | |
74 | George Kola, Mary K. Vernon: QuickProbe: available bandwidth estimation in two roundtrips. SIGMETRICS/Performance 2006: 359-360 | |
73 | Niklas Carlsson, Derek L. Eager, Mary K. Vernon: Multicast protocols for scalable on-demand download. Perform. Eval. 63(9-10): 864-891 (2006) | |
2005 | ||
72 | Sherif M. ElRakabawy, Christoph Lindemann, Mary K. Vernon: Improving TCP Performance for Multihop Wireless Networks. DSN 2005: 684-693 | |
71 | Anirban Mahanti, Derek L. Eager, Mary K. Vernon: Improving multirate congestion control using a TCP Vegas throughput model. Computer Networks 48(2): 113-136 (2005) | |
2004 | ||
70 | Shai Rubin, Ian D. Alderman, David W. Parter, Mary K. Vernon: Foundations for Intrusion Prevention. DIMVA 2004: 143-160 | |
69 | Yanping Zhao, Derek L. Eager, Mary K. Vernon: Scalable On-Demand Streaming of Non-Linear Media. INFOCOM 2004 | |
68 | 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 | |
67 | Mary K. Vernon: Quantitative System Design. MMB 2004: 11-13 | |
66 | Su-Hui Chiang, Mary K. Vernon: Class-Partitioning Job Scheduling for Large-Scale Parallel Systems. PDPTA 2004: 193-199 | |
65 | 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 | |
64 | Niklas Carlsson, Derek L. Eager, Mary K. Vernon: Multicast protocols for scalable on-demand download. SIGMETRICS 2004: 428-429 | |
63 | Vikram S. Adve, Mary K. Vernon: Parallel program performance prediction using deterministic task graph analysis. ACM Trans. Comput. Syst. 22(1): 94-136 (2004) | |
62 | Ananth Krishnamurthy, Rajan Suri, Mary K. Vernon: Analysis of a Fork/Join Synchronization Station with Inputs from Coxian Servers in a Closed Queuing Network. Annals OR 125(1-4): 69-94 (2004) | |
61 | Jussara M. Almeida, Derek L. Eager, Mary K. Vernon, Stephen J. Wright: Minimizing delivery cost in scalable streaming content distribution systems. IEEE Transactions on Multimedia 6(2): 356-365 (2004) | |
2003 | ||
60 | 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 | |
59 | Charalampos (Babis) Samios, Mary K. Vernon: Modeling the throughput of TCP Vegas. SIGMETRICS 2003: 71-81 | |
58 | Daniel J. Sorin, Jonathan Lemon, Derek L. Eager, Mary K. Vernon: Analytic Evaluation of Shared-Memory Architectures. IEEE Trans. Parallel Distrib. Syst. 14(2): 166-180 (2003) | |
57 | 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) | |
2002 | ||
56 | Det Buaklee, Gregory F. Tracy, Mary K. Vernon, Stephen J. Wright: Near-optimal adaptive control of a large grid application. ICS 2002: 315-326 | |
55 | Yanping Zhao, Derek L. Eager, Mary K. Vernon: Network Bandwidth Requirements for Scalable On-Demand Streaming. INFOCOM 2002 | |
54 | Jussara M. Almeida, Derek L. Eager, Michael C. Ferris, Mary K. Vernon: Provisioning Content Distribution Networks for Streaming Media. INFOCOM 2002 | |
53 | 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 | |
52 | 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 | |
51 | Haonan Tan, Derek L. Eager, Mary K. Vernon, Hongfei Guo: Quality of service evaluations of multicast streaming protocols. SIGMETRICS 2002: 183-194 | |
50 | Haonan Tan, Derek L. Eager, Mary K. Vernon: Delimiting the range of effectiveness of scalable on-demand streaming. Perform. Eval. 49(1/4): 387-410 (2002) | |
49 | Charalampos (Babis) Samios, Mary K. Vernon: Modeling throughput in TCP vegas. SIGMETRICS Performance Evaluation Review 30(3): 26-28 (2002) | |
2001 | ||
48 | Su-Hui Chiang, Mary K. Vernon: Production Job Scheduling for Parallel Shared Memory Systems. IPDPS 2001: 47 | |
47 | Su-Hui Chiang, Mary K. Vernon: Characteristics of a Large Shared Memory Production Workload. JSSPP 2001: 159-187 | |
46 | Jussara M. Almeida, Jeffrey Krueger, Derek L. Eager, Mary K. Vernon: Analysis of educational media server workloads. NOSSDAV 2001: 21-30 | |
45 | Anirban Mahanti, Derek L. Eager, Mary K. Vernon, David Sundaram-Stukel: Scalable on-demand media streaming with packet loss recovery. SIGCOMM 2001: 97-108 | |
44 | Jussara M. Almeida, Jeffrey Krueger, Mary K. Vernon: Characterization of user access to streaming media files. SIGMETRICS/Performance 2001: 340-341 | |
43 | 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) | |
2000 | ||
42 | Derek L. Eager, Daniel J. Sorin, Mary K. Vernon: AMVA techniques for high service time variability. SIGMETRICS 2000: 217-228 | |
41 | Vikram S. Adve, Rajive 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) | |
40 | Derek L. Eager, Michael C. Ferris, Mary K. Vernon: Optimized caching in systems with heterogeneous client populations. Perform. Eval. 42(2-3): 163-185 (2000) | |
1999 | ||
39 | Derek L. Eager, Mary K. Vernon, John Zahorjan: Optimal and efficient merging schedules for video-on-demand servers. ACM Multimedia (1) 1999: 199-202 | |
38 | Derek L. Eager, Mary K. Vernon, John Zahorjan: Minimizing Bandwidth Requirements for On-Demand Data Delivery. Multimedia Information Systems 1999: 80-87 | |
37 | David Sundaram-Stukel, Mary K. Vernon: Predictive Analysis of a Wavefront Application using LogGP. PPOPP 1999: 141-150 | |
1998 | ||
36 | 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 | |
35 | Derek L. Eager, Mary K. Vernon: Dynamic Skyscraper Broadcasts for Video-on-Demand. Multimedia Information Systems 1998: 18-32 | |
34 | Ewa Deelman, Aditya Dube, Adolfy Hoisie, Yong Luo, Richard L. Oliver, David Sundaram-Stukel, Harvey J. Wasserman, Vikram S. Adve, Rajive 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 | |
1997 | ||
33 | Matthew Frank, Anant Agarwal, Mary K. Vernon: LoPC: Modeling Contention in Parallel Algorithms. PPOPP 1997: 276-287 | |
32 | 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 | |
31 | Athanassios Tsiolis, Mary K. Vernon: Group-Guaranteed Channel Capacity in Multimedia Storage Servers. SIGMETRICS 1997: 285-297 | |
30 | 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) | |
1996 | ||
29 | 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 | |
28 | Su-Hui Chiang, Mary K. Vernon: Dynamic vs. Static Quantum-Based Parallel Processor Allocation. JSSPP 1996: 200-223 | |
1995 | ||
27 | Gregory B. Brewster, Mary K. Vernon: The Fairness of DQDB Networks with Slot Reuse. INFOCOM 1995: 1154-1163 | |
1994 | ||
26 | 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 | |
25 | Jignesh M. Patel, Michael J. Carey, Mary K. Vernon: Accurate Modeling of the Hybrid Hash Join Algorithm. SIGMETRICS 1994: 56-66 | |
24 | Vikram S. Adve, Mary K. Vernon: Performance Analysis of Mesh Interconnection Networks with Deterministic Routing. IEEE Trans. Parallel Distrib. Syst. 5(3): 225-246 (1994) | |
1993 | ||
23 | Matthew Frank, Mary K. Vernon: A Hybrid Shared Memory/Message Passing Parallel Machine. ICPP 1993: 232-236 | |
22 | Vikram S. Adve, Mary K. Vernon: The Influence of Random Delays on Parallel Execution Times. SIGMETRICS 1993: 61-73 | |
1992 | ||
21 | Steven L. Scott, James R. Goodman, Mary K. Vernon: Performance of the SCI Ring. ISCA 1992: 403-414 | |
20 | Thin-Fong Tsuei, Mary K. Vernon: A Multiprocessor Bus Design Model Validated by System Measurement. IEEE Trans. Parallel Distrib. Syst. 3(6): 712-727 (1992) | |
1991 | ||
19 | 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 | ||
18 | Thin-Fong Tsuei, Mary K. Vernon: Diagnosing Parallel Program Speedup Limitations Using Resource Contention Models. ICPP (1) 1990: 185-189 | |
17 | Scott T. Leutenegger, Mary K. Vernon: The Performance of Multiprogrammed Multiprocessor Scheduling Policies. SIGMETRICS 1990: 226-236 | |
16 | Umakishore Ramachandran, Marvin H. Solomon, Mary K. Vernon: Hardware Support for Interprocess Communication. IEEE Trans. Parallel Distrib. Syst. 1(3): 318-329 (1990) | |
1989 | ||
15 | James R. Goodman, Mary K. Vernon, Philip J. Woest: Efficent Synchronization Primitives for Large-Scale Cache-Coherent Multiprocessors. ASPLOS 1989: 64-75 | |
14 | Mary K. Vernon, Rajeev Jog, Gurindar S. Sohi: Performance Analysis of Hierarchical Cache-Consistent Multiprocessors. Perform. Eval. 9(4): 287-302 (1989) | |
1988 | ||
13 | George E. Bier, Mary K. Vernon: Measurements and prediction of contention in multiprocessor operating systems with scientific application workloads. ICS 1988: 9-15 | |
12 | 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 | |
11 | 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 | |
10 | Scott T. Leutenegger, Mary K. Vernon: A Mean-Value Performance Analysis of a New Multiprocessor Architecture. SIGMETRICS 1988: 167-176 | |
1987 | ||
9 | Umakishore Ramachandran, Marvin H. Solomon, Mary K. Vernon: Techniques for Reducing the Complexity of Large System Models. ICPP 1987: 692-694 | |
8 | Umakishore Ramachandran, Marvin H. Solomon, Mary K. Vernon: Hardware Support for Interprocess Communication. ISCA 1987: 178-188 | |
7 | Mark A. Holliday, Mary K. Vernon: Exact Performance Estimates for Multiprocessor Memory and Bus Interference. IEEE Trans. Computers 36(1): 76-85 (1987) | |
6 | Mark A. Holliday, Mary K. Vernon: A Generalized Times Petri Net Model for Performance Analysis. IEEE Trans. Software Eng. 13(12): 1297-1310 (1987) | |
1986 | ||
5 | Mark A. Holliday, Mary K. Vernon: The GTPN Analyzer: Numerical Methods and User Interface. FJCC 1986: 1099-1104 | |
4 | Mary K. Vernon, Mark A. Holliday: Performance Analysis of Multiprocessor Cache Consistency Protocols Using Generalized Timed Petri Nets. SIGMETRICS 1986: 9-17 | |
3 | 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) | |
1985 | ||
2 | Mark A. Holliday, Mary K. Vernon: A Generalized Timed Petri Net Model for Performance Analysis. PNPM 1985: 181-190 | |
1983 | ||
1 | 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 |