Donald P. Gaver

dblp:34/3543 · DBLP profile ↗
← Back
10ranked-venue papers
10as first author
0since 2021 · last 1986
0000-0002-1450-3843ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 4 · 4 first-authorApplied, interdisciplinary, general and emerging computing · 3 · 3 first-authorComputer networks · 2 · 2 first-authorSystems, architecture and hardware · 1 · 1 first-authorSoftware engineering, systems software and programming languages · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer architecture, parallel and distributed computing, and storage systems
7 papers
Performance modeling and evaluation · 84% Embedded and real-time systems · 14% Storage systems · 2%
Computer networks
3 papers
Network performance modeling · 60% Internet architecture and protocols · 20% Network optimization and economics · 15%

Topics — the 23 heaviest of 26, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Performance modeling and evaluation
queueing models
0.061986
Processor-Shared Time-Sharing Models in Heavy Traffic · SIAM J. Comput. 1986
Approximate Models for Processor Utilization in Multiprogrammed Computer Systems · SIAM J. Comput. 1973
Asymptotic Service System Output, with Application to Multiprogramming · SIAM J. Comput. 1972
Performance modeling and evaluation
gaussian approximation
0.011986
Processor-Shared Time-Sharing Models in Heavy Traffic · SIAM J. Comput. 1986
Performance modeling and evaluation › queueing models
heavy-traffic analysis
0.011986
Processor-Shared Time-Sharing Models in Heavy Traffic · SIAM J. Comput. 1986
Performance modeling and evaluation › queueing models
processor sharing
0.011986
Processor-Shared Time-Sharing Models in Heavy Traffic · SIAM J. Comput. 1986
Embedded and real-time systems › real-time scheduling › schedulability analysis
response time analysis
0.011986
Processor-Shared Time-Sharing Models in Heavy Traffic · SIAM J. Comput. 1986
Network performance modeling
queueing analysis
0.021982
Channels that Cooperatively Service a Data Stream and Voice Messages · IEEE Trans. Commun. 1982
A Diffusion Approximation Model for a Communication System Allowing Message Interference · IEEE Trans. Commun. 1979
Internet architecture and protocols › resource reservation
bandwidth reservation
0.011982
Channels that Cooperatively Service a Data Stream and Voice Messages · IEEE Trans. Commun. 1982
Network performance modeling › queueing analysis
fluid model
0.011982
Channels that Cooperatively Service a Data Stream and Voice Messages · IEEE Trans. Commun. 1982
Network optimization and economics
resource allocation
0.011982
Channels that Cooperatively Service a Data Stream and Voice Messages · IEEE Trans. Commun. 1982
Network performance modeling › queueing analysis › queueing approximation
diffusion approximation
0.011979
A Diffusion Approximation Model for a Communication System Allowing Message Interference · IEEE Trans. Commun. 1979
Performance modeling and evaluation › parallel system performance
multiprogramming models
0.011976
Multitype multiprogramming: Probability models and numerical procedures · SIGMETRICS 1976
Performance modeling and evaluation
numerical algorithms
0.011976
Multitype multiprogramming: Probability models and numerical procedures · SIGMETRICS 1976
Performance modeling and evaluation
queueing analysis
0.011976
Multitype multiprogramming: Probability models and numerical procedures · SIGMETRICS 1976
Performance modeling and evaluation
multiprogramming system
0.021972
Asymptotic Service System Output, with Application to Multiprogramming · SIAM J. Comput. 1972
Probability Models for Multiprogramming Computer Systems · J. ACM 1967
Internet architecture and protocols
integrated services
0.011982
Channels that Cooperatively Service a Data Stream and Voice Messages · IEEE Trans. Commun. 1982
Physical-layer communications › multiplexing
voice/data multiplexing
0.011982
Channels that Cooperatively Service a Data Stream and Voice Messages · IEEE Trans. Commun. 1982
Performance modeling and evaluation
asymptotic analysis
0.011972
Asymptotic Service System Output, with Application to Multiprogramming · SIAM J. Comput. 1972
Performance modeling and evaluation › queueing models › closed queueing networks
cyclic queue
0.011972
Asymptotic Service System Output, with Application to Multiprogramming · SIAM J. Comput. 1972
Performance modeling and evaluation › asymptotic analysis
diffusion approximation
0.011971
Analysis of Remote Terminal Backlogs under Heavy Demand Conditions · J. ACM 1971
Storage systems › storage management › storage allocation
queue storage allocation
0.011971
Probability Models for Buffer Storage Allocation Problems · J. ACM 1971
Performance modeling and evaluation
workload characterization
0.021973
Probability Models for Multiprogramming Computer Systems · J. ACM 1967
Approximate Models for Processor Utilization in Multiprogrammed Computer Systems · SIAM J. Comput. 1973
Performance modeling and evaluation › workload characterization
multiprogramming level
0.011973
Approximate Models for Processor Utilization in Multiprogrammed Computer Systems · SIAM J. Comput. 1973
Storage systems
buffer management
0.011971
Probability Models for Buffer Storage Allocation Problems · J. ACM 1971

Methods — techniques the papers use, named apart from their topics

probability model · 0.0heavy-traffic analysis · 0.0diffusion approximation · 0.0transient analysis · 0.0equilibrium distribution analysis · 0.0wald's identity · 0.0simulation validation · 0.0queueing theory · 0.0numerical analysis · 0.0normal approximation · 0.0gordon-newell model · 0.0simulation · 0.0numerical comparison · 0.0
YearPublicationVenuePosition
1986 Processor-Shared Time-Sharing Models in Heavy Traffic
abstract
Probability models are presented for computer systems with processor-shared (time-sliced) service discipline. The response (sojourn) time of an arriving job that requires T units of processing time is shown to be approximately Gaussian/normal under moderately heavy traffic conditions, e.g. when the number of terminals is large.
Donald P. Gaver, Patricia A. Jacobs
SIAM J. Comput.1
1982 Channels that Cooperatively Service a Data Stream and Voice Messages
abstract
This paper presents an analysis of the performance of a special type of voice-data queueing system. The system consists of an integrated circuit-and packet-switched multiplexer resembling that found in the SENET network. A fluid-flow approximation for the data component is introduced to ease study of the voice loss rate and data packet waiting times. In this paper it is shown that very long data queues are possible, with the mean data queue length being proportional to the ratio of the holding time for voice to the holding time for data. The equilibrium distribution is determined, and aspects of the transient behavior are characterized. The question of how much bandwidth to reserve for exclusive use of data and how much to share between voice and data is addressed.
Donald P. Gaver, John P. Lehoczky
IEEE Trans. Commun.1
1979 A Diffusion Approximation Model for a Communication System Allowing Message Interference
abstract
Probabilistic models are presented and investigated to describe the service furnished to messages sent via communications channels on which messages in progress may be "destroyed" by a new message demand. Retries by destroyed messages are modeled. The general approach utilizes diffusion approximations. The quality of the numerical results is evaluated by comparison with simulations, and is found to be satisfactory.
Donald P. Gaver, John P. Lehoczky
IEEE Trans. Commun.1
1976 Multitype multiprogramming: Probability models and numerical procedures
abstract
The purpose of the present paper is to study systems in which different job types are present at the various servers and are processed according to a variety of scheduling disciplines, in particular in “first-come, first-served” order. Our approach is numerical, and is applied to an example which is also analyzed by means of the Gordon and Newell (GN) model. Using a plausible method of fitting the latter provides a reasonably, satisfactory approximation to the “true” multitype system parameters.
Donald P. Gaver, George Humfeld
SIGMETRICS1
1976 Multitype Multiprogramming Models
Donald P. Gaver, George Humfeld
Acta Informatica1
1973 Approximate Models for Processor Utilization in Multiprogrammed Computer Systems
abstract
This paper presents results of an approximation study of cyclic queueing phenomena that occur in multiprogrammed computer systems. Based on Wald’s identity and using ideas of diffusion, the objective is to develop convenient and nearly explicit formulas relating processor utilization in such systems to simple program parameters and the level of multiprogramming. Some numerical results to indicate the quality of the proposed approximation are given.
Donald P. Gaver, Gerald S. Shedler
SIAM J. Comput.1
1972 Asymptotic Service System Output, with Application to Multiprogramming
abstract
In a multiprogramming computer system modeled as a cyclic queue the number of program segments completed at the CPU in a period of time is discussed. It is shown that this number is approximately normally distributed as the time period becomes long. Parameters of the normal distribution are determined. Numerical examples illustrate the results.
Donald P. Gaver
SIAM J. Comput.1
1971 Analysis of Remote Terminal Backlogs under Heavy Demand Conditions
abstract
Models are developed to describe delays and backlogs at remote terminals polled in turn by a single computer.The effects modeled include transmission delays caused by line noise, and the number and types of terminals (passive input, and active or two-way response).Use is made of the diffusion approximation to state variables, the latter being especially relevant when the system is heavily loaded.A limited amount of mathematical and stimulationgenerated evidence attests to the adequacy of this approximation.
Donald P. Gaver
J. ACM1
1971 Probability Models for Buffer Storage Allocation Problems
abstract
This paper considers some of the issues that arise when messages or jobs inbound to a computer facility are buffered prior to being processed.Models are developed that describe (a) the results of blocking a single memory unit for the use of diverse messages, (b) the occupancy behavior of a buffer that is tied to a single message source, and (c) the occupancy of a buffer dynamically shared among many independent sources.
Donald P. Gaver, Peter A. W. Lewis
J. ACM1
1967 Probability Models for Multiprogramming Computer Systems
abstract
A probabilistic model is developed for a multiprogramming computer configuration, i.e., one in which several program segments are simultaneously in main memory (core). The model relates speed and number of input-output devices, core size, and central processor speed to central processor and system productivity. Incorporated in the model are parameters describing the statistical variability of input-output and central processor activities. Thus the model permits comparisons between systems loaded with different mixtures of job types (“scientific” vs. “business” applications). Numerical comparisons of various systems are provided.
Donald P. Gaver
J. ACM1