Search
Now showing items 11-20 of 523
Performance Evaluation of the PIPE Computer Architecture
(University of Wisconsin-Madison Department of Computer Sciences, 1984)
A Performance Evaluation of Database Machine Architectures
(University of Wisconsin-Madison Department of Computer Sciences, 1981)
The Arachne Distributed Operating System
(University of Wisconsin-Madison Department of Computer Sciences, 1981)
Access Problems with Computer-Based Services
(University of Wisconsin-Madison Department of Computer Sciences, 1983)
Using Self-Reducibilities to Characterize Polynomial Time
(University of Wisconsin-Madison Department of Computer Sciences, 1988)
Fairness Analysis of Multiprocessor Bus Arbitration Protocols
(University of Wisconsin-Madison Department of Computer Sciences, 1988)
Analysis of Speedup in Distributed Algorithms
(University of Wisconsin-Madison Department of Computer Sciences, 1981)
Simulation of a Connectionist Stereo Algorithm on a Shared-Memory Multiprocessor
(University of Wisconsin-Madison Department of Computer Sciences, 1988)
Semantics of Program Representation Graphs
(University of Wisconsin-Madison Department of Computer Sciences, 1989)
Program representation graphs are a recently introduced intermediate representation form for programs. In this paper, we develop a mathematical semantics for these graphs by interpreting them as data-flow graphs. We also ...
Weak Ordering - A New Definition and Some Implications
(University of Wisconsin-Madison Department of Computer Sciences, 1989)
A model for correct program behavior commonly and often implicitly assumed by programmers is that of sequential consistency, which guarantees that all memory accesses execute atomically and in program order. An alternative ...