Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Jon G. Bredeson

dblp:00/413 · DBLP profile ↗
← Back
14ranked-venue papers
6as first author
0since 2021 · last 1994
—ORCID · none

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

Systems, architecture and hardware · 8 · 4 first-authorTheory of computation · 4 · 2 first-authorComputer networks · 1Software engineering, systems software and programming languages · 1Applied, interdisciplinary, general and emerging computing · 1

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
9 papers
Electronic design automation · 85% Integrated circuit design · 13% Hardware reliability and fault tolerance · 2%
Theoretical computer science
3 papers
Coding theory · 92% Graph algorithms and graph theory · 8%

Topics — the 22 heaviest of 24, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Electronic design automation
logic synthesis
0.081978
A Method to Simplify a Boolean Function into a Near Minimal Sum-of-Products for Programmable Logic Arrays · IEEE Trans. Computers 1978
Comments on "Synthesis of Multiple-Input Change Asynchronous Machines Using Controlled Excitation and Flip-Flops" · IEEE Trans. Computers 1975
Synthesis of Multiple-Input Change Asynchronous Circuits Using Transition-Sensitive Flip-Flops · IEEE Trans. Computers 1973
Electronic design automation
hardware verification and test
0.021980
Minimal Redundant Logic for High Reliability and Irredundant Testability · IEEE Trans. Computers 1980
Comments on "Cause-Effect Analysis for Multiple Fault Detection in Combinational Networks" · IEEE Trans. Computers 1974
Electronic design automation › hardware verification and test
design for testability
0.011980
Minimal Redundant Logic for High Reliability and Irredundant Testability · IEEE Trans. Computers 1980
Electronic design automation › logic synthesis
asynchronous circuit synthesis
0.021975
Comments on "Synthesis of Multiple-Input Change Asynchronous Machines Using Controlled Excitation and Flip-Flops" · IEEE Trans. Computers 1975
Synthesis of Multiple-Input Change Asynchronous Circuits Using Transition-Sensitive Flip-Flops · IEEE Trans. Computers 1973
Electronic design automation › logic synthesis › logic minimization
boolean function minimization
0.011978
A Method to Simplify a Boolean Function into a Near Minimal Sum-of-Products for Programmable Logic Arrays · IEEE Trans. Computers 1978
Electronic design automation › logic synthesis
programmable logic array
0.011978
A Method to Simplify a Boolean Function into a Near Minimal Sum-of-Products for Programmable Logic Arrays · IEEE Trans. Computers 1978
Integrated circuit design
digital circuit design
0.021973
Synthesis of Multiple-Input Change Asynchronous Circuits Using Transition-Sensitive Flip-Flops · IEEE Trans. Computers 1973
Generation of a Clock Pulse for Asynchronous Sequential Machines to Eliminate Critical Races · IEEE Trans. Computers 1971
Coding theory › error-correcting codes
graph-based codes
0.031969
Ternary graph theoretic error-correcting codes (Corresp.) · IEEE Trans. Inf. Theory 1969
Graph theoretic error-correcting codes · IEEE Trans. Inf. Theory 1968
Decoding of graph theoretic codes (Corresp.) · IEEE Trans. Inf. Theory 1967
Electronic design automation › hardware verification and test
fault detection
0.011974
Comments on "Cause-Effect Analysis for Multiple Fault Detection in Combinational Networks" · IEEE Trans. Computers 1974
Electronic design automation › hardware verification and test › fault detection
multiple fault detection
0.011974
Comments on "Cause-Effect Analysis for Multiple Fault Detection in Combinational Networks" · IEEE Trans. Computers 1974
Coding theory
error-correcting codes
0.021969
Ternary graph theoretic error-correcting codes (Corresp.) · IEEE Trans. Inf. Theory 1969
Graph theoretic error-correcting codes · IEEE Trans. Inf. Theory 1968
Electronic design automation › logic synthesis › asynchronous circuit synthesis
hazard elimination
0.011972
Elimination of Static and Dynamic Hazards for Multiple Input Changes in Combinatorial Switching Circuits · Inf. Control. 1972
Integrated circuit design › asynchronous circuit design
asynchronous sequential machine
0.011971
Generation of a Clock Pulse for Asynchronous Sequential Machines to Eliminate Critical Races · IEEE Trans. Computers 1971
Hardware reliability and fault tolerance › fault-tolerant design
fault-tolerant circuit design
0.011980
Minimal Redundant Logic for High Reliability and Irredundant Testability · IEEE Trans. Computers 1980
Electronic design automation › logic synthesis
prime implicant generation
0.011971
Generation of Prime Implicants by Direct Multiplication · IEEE Trans. Computers 1971
Electronic design automation › logic synthesis › logic optimization
redundancy removal
0.011980
Minimal Redundant Logic for High Reliability and Irredundant Testability · IEEE Trans. Computers 1980
Integrated circuit design › digital circuit design
sequential circuit design
0.011970
On Tracey's Internal State Assignment Method · IEEE Trans. Computers 1970
Electronic design automation › logic synthesis
state assignment
0.011970
On Tracey's Internal State Assignment Method · IEEE Trans. Computers 1970
Coding theory › error-correcting codes › q-ary codes
ternary codes
0.011969
Ternary graph theoretic error-correcting codes (Corresp.) · IEEE Trans. Inf. Theory 1969
Coding theory › error-correcting codes
decoding
0.011967
Decoding of graph theoretic codes (Corresp.) · IEEE Trans. Inf. Theory 1967
Electronic design automation › logic synthesis
combinational network
0.011974
Comments on "Cause-Effect Analysis for Multiple Fault Detection in Combinational Networks" · IEEE Trans. Computers 1974
Graph algorithms and graph theory
directed graph
0.021969
Ternary graph theoretic error-correcting codes (Corresp.) · IEEE Trans. Inf. Theory 1969
Graph theoretic error-correcting codes · IEEE Trans. Inf. Theory 1968

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

redundancy analysis · 0.0hazard analysis · 0.0gating · 0.0flip-flop · 0.0edge-sensitive element · 0.0controlled excitation · 0.0boolean algebra · 0.0transition-sensitive flip-flop · 0.0graph-based code construction · 0.0graph theory · 0.0disjunctive form · 0.0conjunctive form expansion · 0.0augmentation technique · 0.0
YearPublicationVenuePosition
1994 Real-Time Study of a High Performance Protocol for Local/Metropolitan Ring Networks
abstract
We propose a new group of slotted ring protocols called REALNET. In REALNET networks the ring access scheme, traffic control and management, and slot allocation for voice and data cycles are made highly adaptive. We analyze, simulate and compare different REALNET networks which use different methods for their cycle alternation strategy. The results show that REALNET networks that use prediction satisfy strict voice delay requirements, allow small percentages of voice packet loss for a large number of active voice stations, as well as providing higher bandwidth utilization, and giving lower delays and higher throughputs for data packets when compared to other integrated services protocols.>
Hamid Barghi, William T. Cronenwett, Jon G. Bredeson
LCN3
1980 Minimal Redundant Logic for High Reliability and Irredundant Testability
abstract
The procedures introduced in this paper convert redundant circuits into irredundant circuits for testing purposes. In a redundant circuit, there are redundant connections which contribute no unique l's or 0's to the output of the circuit. These redundant connections are contained in the circuit for specific purposes, such as hazard protection, integrated circuit standardization, structural purposes, correct operation in the presence of faults, and other reasons. Most faults on these redundant connections cannot be detected due to the unchanging output. An irredundant circuit contains no redundant connections and all lines are completely testable.
John C. Sutton, Jon G. Bredeson
IEEE Trans. Computers2
1978 Computer-assisted data communications engineering instruction
abstract
This paper describes the application of generalized computer-assisted modeling techniques to support data communication engineering instruction. The characteristics of multidrop line networks are identified and performance investigated with IBM's GPSS V Simulation Language. Network connectivity is illustrated with a Fortran language program.
N. W. Styer, Jon G. Bredeson
COMPSAC2
1978 A Method to Simplify a Boolean Function into a Near Minimal Sum-of-Products for Programmable Logic Arrays
abstract
This paper describes an algorithm for minimizing an arbitrary Boolean function. The approach differs from most previous procedures in which first all prime implicants are found and then a minimal set is then determined. This procedure imposes a set of conditions on the selection of the next prime implicant in order to obtain a near minimal sum-of-products realization. Extension to the multiple output and incompletely specified function cases is given. An important characteristic of the proposed procedure is the relatively small amount of computer time spent to solve a problem, as compared to other procedures. The MINI algorithm may give better results for a large number of inputs and outputs if relatively few product terms are needed. This procedure is also well suited to find a solution for programmable logic arrays (PLA's) which internally implement large Boolean functions as a sum-of-products.
Zosimo Arevalo, Jon G. Bredeson
IEEE Trans. Computers2
1975 Comments on "Synthesis of Multiple-Input Change Asynchronous Machines Using Controlled Excitation and Flip-Flops"
abstract
Mealy synchronous machines cannot be implemented by Chuang and Das"1 procedure for multiple-input change asynchronous circuits. The circuit must be changed to handle this common type of machine.
Jon G. Bredeson
IEEE Trans. Computers1
1974 Comments on "Cause-Effect Analysis for Multiple Fault Detection in Combinational Networks"
abstract
Bosson and Hong1 have developed an effective procedure for multiple fault detection. However, their claim that their procedure gives near-minimal results is not necessarily the case.
C. D. Latino, Jon G. Bredeson
IEEE Trans. Computers2
1973 Synthesis of Multiple-Input Change Asynchronous Circuits Using Transition-Sensitive Flip-Flops
abstract
Recently, a good deal of research has been conducted on the use of transition-or edge-sensitive elements in the design of asynchronous sequential circuits. Transition-sensitive memory elements have been used extensively in the implementation of synchronous sequential circuits as a means of eliminating the restrictions placed on pulsewidth. Several means are available for achieving multiple-input or universal transition-sensitive flip-flops. Here the approach is to employ a basic flip-flop as the memory element and add transition-sensitive gating to the flip-flop input. In this manner, any type of transition-sensitive flip-flop may be configured.
Jon G. Bredeson, Paul T. Hulina
IEEE Trans. Computers1
1972 Elimination of Static and Dynamic Hazards for Multiple Input Changes in Combinatorial Switching Circuits
Jon G. Bredeson, Paul T. Hulina
Inf. Control.1
1971 Generation of a Clock Pulse for Asynchronous Sequential Machines to Eliminate Critical Races
abstract
A circuit for generating a clock pulse for asynchronous circuits is given, and when used with transition sensitive flip-flops eliminates critical races for an arbitrary state assignment. Thus the minimum number of internal variables may be used. Furthermore, logic and sequential hazards will not affect the circuit performance.
Jon G. Bredeson, Paul T. Hulina
IEEE Trans. Computers1
1971 Generation of Prime Implicants by Direct Multiplication
abstract
This correspondence shows that the Necula [1] and Slagle, Chang. and Lee [2] methods for determining prime implicants are a mechanization of a method first given by Nelson [3], i. e., generating of all prime implicants by direct expansion of a conjunctive form to a disjunctive form.
Jon G. Bredeson, Paul T. Hulina
IEEE Trans. Computers1
1970 On Tracey's Internal State Assignment Method
abstract
Certain partitions in Tracey's assignment method may be eliminated because of impossible transitions on the inputs. This may reduce the complexity of the sequential machine.
Paul T. Hulina, Jon G. Bredeson
IEEE Trans. Computers2
1969 Ternary graph theoretic error-correcting codes (Corresp.)
abstract
It is shown that directed graphs can be used to generate a class of moderately efficient error-correcting codes, which are easily decodable.
S. Louis Hakimi, Jon G. Bredeson
IEEE Trans. Inf. Theory2
1968 Graph theoretic error-correcting codes
abstract
A study of the efficiency, error-correcting capabilities, and limitations of graph theoretic block codes is presented. Augmentation of graph theoretic codes and their generation is discussed. It is shown that such augmentation techniques can substantially increase the level of efficiency of these codes and potentially could increase it to the level of the best available codes. Furthermore, the augmented graph theoretic codes are shown to be easily decodable.
S. Louis Hakimi, Jon G. Bredeson
IEEE Trans. Inf. Theory2
1967 Decoding of graph theoretic codes (Corresp.)
Jon G. Bredeson, S. Louis Hakimi
IEEE Trans. Inf. Theory1