Browsing by Author "Miller, Barton P"
Now showing items 23-39 of 39
-
Multi-Application Support in a Parallel Program Performance Tool
Irvin, R Bruce; Miller, Barton P (University of Wisconsin-Madison Department of Computer Sciences, 1993) -
Nomenclator Descriptive Query Optimization for Large X.500 Environments
Ordille, Joann J; Miller, Barton P (University of Wisconsin-Madison Department of Computer Sciences, 1991) -
On the Complexity of Event Ordering for Shared-Memory Parallel Program Executions
Netzer, Robert HB; Miller, Barton P (University of Wisconsin-Madison Department of Computer Sciences, 1990) -
Optimal Tracing and Replay for Debugging Message-Passing Parallel Programs
Netzer, Robert HB; Miller, Barton P (University of Wisconsin-Madison Department of Computer Sciences, 1992) -
Paging Tradeoffs in Distributed-Shared-Memory Multiprocessors
Burger, Douglas C; Hyder, Rahmat S; Miller, Barton P; Wood, David A (University of Wisconsin-Madison Department of Computer Sciences, 1994) -
The Paradyn Parallel Performance Measurement Tools
Miller, Barton P; Cargille, Jonathan M; Irvin, R Bruce; Newhall, Tia; Callaghan, Mark D; Hollingsworth, Jeffrey K; Karavanic, Karen L; Kunchithapadam, Krishna (University of Wisconsin-Madison Department of Computer Sciences, 1994) -
The Paradyn Parallel Performance Tools and PVM
Miller, Barton P; Hollingsworth, Jeffrey K; Callaghan, Mark D (University of Wisconsin-Madison Department of Computer Sciences, 1994) -
Parallel Program Performance Metrics: A Comparison and Validation
Hollingsworth, Jeffrey K; Miller, Barton P (University of Wisconsin-Madison Department of Computer Sciences, 1992) -
Parallelism in Distributed Programs: Measurement and Prediction
Miller, Barton P (University of Wisconsin-Madison Department of Computer Sciences, 1985) -
A Performance Tool for High-Level Parallel Programming Languages
Irvin, R Bruce; Miller, Barton P (University of Wisconsin-Madison Department of Computer Sciences, 1994) -
Slack: A New Performance Metric for Parallel Programs
Miller, Barton P; Hollingsworth, Jeffrey K (University of Wisconsin-Madison Department of Computer Sciences, 1994) -
Specification and Verification of Network Managers for Large Internets
Cohrs, David L; Miller, Barton P (University of Wisconsin-Madison Department of Computer Sciences, 1989)Large internet environments are increasing the difficulty of network management. Integrating increasing numbers of autonomous subnetworks (each with an increasing number of hosts) makes it more difficult to determine if ... -
Techniques for Debugging Parallel Programs With Flowback Analysis
Choi, Jong-Deok; Miller, Barton P; Netzer, Robert (University of Wisconsin-Madison Department of Computer Sciences, 1988) -
Using Binary Code Rewrite to Bypass License Checks
Kosar, Tevfik; Christodorescu, Mihai; Iverson, Rob; Miller, Barton P (University of Wisconsin-Madison Department of Computer Sciences, 2003)A comnon method of enforcing software license terms is for a program to contact another program, called a license server, and ask for permission to run. This study attempts to bypass these license checks in a commercial ... -
Verification of Network Management System Configurations
Cohrs, David L; Miller, Barton P (University of Wisconsin-Madison Department of Computer Sciences, 1990) -
What are Race Conditions? Some Issues and Formalizations
Netzer, Robert HB; Miller, Barton P (University of Wisconsin-Madison Department of Computer Sciences, 1991) -
What to Draw? When to Draw? An Essay on Parallel Program Visualization
Miller, Barton P (University of Wisconsin-Madison Department of Computer Sciences, 1992)