EDBT 2026 Demo / reviewers in the wild / expert
Donald P. Gaver
dblp:34/3543
· DBLP profile ↗
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
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Performance modeling and evaluation
queueing models |
0.0 | 6 | 1986 | 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.0 | 1 | 1986 | Processor-Shared Time-Sharing Models in Heavy Traffic · SIAM J. Comput. 1986 |
Performance modeling and evaluation › queueing models
heavy-traffic analysis |
0.0 | 1 | 1986 | Processor-Shared Time-Sharing Models in Heavy Traffic · SIAM J. Comput. 1986 |
Performance modeling and evaluation › queueing models
processor sharing |
0.0 | 1 | 1986 | 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.0 | 1 | 1986 | Processor-Shared Time-Sharing Models in Heavy Traffic · SIAM J. Comput. 1986 |
Network performance modeling
queueing analysis |
0.0 | 2 | 1982 | 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.0 | 1 | 1982 | Channels that Cooperatively Service a Data Stream and Voice Messages · IEEE Trans. Commun. 1982 |
Network performance modeling › queueing analysis
fluid model |
0.0 | 1 | 1982 | Channels that Cooperatively Service a Data Stream and Voice Messages · IEEE Trans. Commun. 1982 |
Network optimization and economics
resource allocation |
0.0 | 1 | 1982 | Channels that Cooperatively Service a Data Stream and Voice Messages · IEEE Trans. Commun. 1982 |
Network performance modeling › queueing analysis › queueing approximation
diffusion approximation |
0.0 | 1 | 1979 | 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.0 | 1 | 1976 | Multitype multiprogramming: Probability models and numerical procedures · SIGMETRICS 1976 |
Performance modeling and evaluation
numerical algorithms |
0.0 | 1 | 1976 | Multitype multiprogramming: Probability models and numerical procedures · SIGMETRICS 1976 |
Performance modeling and evaluation
queueing analysis |
0.0 | 1 | 1976 | Multitype multiprogramming: Probability models and numerical procedures · SIGMETRICS 1976 |
Performance modeling and evaluation
multiprogramming system |
0.0 | 2 | 1972 | 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.0 | 1 | 1982 | Channels that Cooperatively Service a Data Stream and Voice Messages · IEEE Trans. Commun. 1982 |
Physical-layer communications › multiplexing
voice/data multiplexing |
0.0 | 1 | 1982 | Channels that Cooperatively Service a Data Stream and Voice Messages · IEEE Trans. Commun. 1982 |
Performance modeling and evaluation
asymptotic analysis |
0.0 | 1 | 1972 | Asymptotic Service System Output, with Application to Multiprogramming · SIAM J. Comput. 1972 |
Performance modeling and evaluation › queueing models › closed queueing networks
cyclic queue |
0.0 | 1 | 1972 | Asymptotic Service System Output, with Application to Multiprogramming · SIAM J. Comput. 1972 |
Performance modeling and evaluation › asymptotic analysis
diffusion approximation |
0.0 | 1 | 1971 | Analysis of Remote Terminal Backlogs under Heavy Demand Conditions · J. ACM 1971 |
Storage systems › storage management › storage allocation
queue storage allocation |
0.0 | 1 | 1971 | Probability Models for Buffer Storage Allocation Problems · J. ACM 1971 |
Performance modeling and evaluation
workload characterization |
0.0 | 2 | 1973 | 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.0 | 1 | 1973 | Approximate Models for Processor Utilization in Multiprogrammed Computer Systems · SIAM J. Comput. 1973 |
Storage systems
buffer management |
0.0 | 1 | 1971 | 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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1986 | Processor-Shared Time-Sharing Models in Heavy TrafficabstractProbability 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 MessagesabstractThis 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 InterferenceabstractProbabilistic 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 proceduresabstractThe 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 |
SIGMETRICS | 1 |
| 1976 | Multitype Multiprogramming Models
Donald P. Gaver, George Humfeld |
Acta Informatica | 1 |
| 1973 | Approximate Models for Processor Utilization in Multiprogrammed Computer SystemsabstractThis 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 MultiprogrammingabstractIn 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 ConditionsabstractModels 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. ACM | 1 |
| 1971 | Probability Models for Buffer Storage Allocation ProblemsabstractThis 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. ACM | 1 |
| 1967 | Probability Models for Multiprogramming Computer SystemsabstractA 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. ACM | 1 |