Victor Konrad

dblp:02/5351 · DBLP profile ↗
← Back
4ranked-venue papers
2as first author
0since 2021 · last 2010
—ORCID · none

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

Systems, architecture and hardware · 3 · 2 first-authorTheory of computation · 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.

Theoretical computer science
2 papers
Algorithms and data structures · 100%
Computer architecture, parallel and distributed computing, and storage systems
2 papers
High-performance computing · 75% Parallel and multicore computing · 25%

Topics — the 6 heaviest of 7, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Algorithms and data structures
sequence algorithms
0.011986
Efficient Computation of the Maximum of the Sum of Two Sequences and Applications · IEEE Trans. Computers 1986
High-performance computing
parallel numerical algorithms
0.011980
On Block-Parallel Methods for Solving Linear Equations · IEEE Trans. Computers 1980
High-performance computing › numerical linear algebra › linear solver
iterative linear solvers
0.011977
Iterative Solution of Linear Equations on a Parallel Processor System · IEEE Trans. Computers 1977
Parallel and multicore computing
parallel algorithms
0.011977
Iterative Solution of Linear Equations on a Parallel Processor System · IEEE Trans. Computers 1977
High-performance computing
scientific computing systems
0.011980
On Block-Parallel Methods for Solving Linear Equations · IEEE Trans. Computers 1980
Algorithms and data structures
numerical linear algebra
0.011977
Iterative Solution of Linear Equations on a Parallel Processor System · IEEE Trans. Computers 1977

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

ranking-based algorithm · 0.0monotone function generalization · 0.0gauss-seidel method · 0.0parallelization · 0.0jacobi method · 0.0back-substitution · 0.0MIMD · 0.0
YearPublicationVenuePosition
2010 Analog property checkers: a DDR2 case study
Kevin D. Jones, Victor Konrad, Dejan Nickovic
Formal Methods Syst. Des.2
1986 Efficient Computation of the Maximum of the Sum of Two Sequences and Applications
abstract
Computing max{a1+ b1, a2+ b2, ... ,an+ bn} trivially takes n additions. We show that if we are given the ranking for the a's and the b's separately, then an algorithm exists which will compute the maximum in ≅2n additions on the average. This can be generalized to yield an efficient algorithm to compute max{h(a1,b1), h(a2,b2),..., h(an, bn)} where h(x,y) is monotone increasing in x and y. Another generalization shows an efficient way of computing the maximum norm of a difference between two vectors. Applications are shown in pattern classification and computational geometry.
Victor Konrad
IEEE Trans. Computers1
1980 On Block-Parallel Methods for Solving Linear Equations
abstract
An MIMD-type parallel-processing system was introduced recently. Using an extended PL/I notation, algorithms for the Gauss-Seidel method and for back substitution are written for this system. Block execution is shown to result in higher speedups.
Yehuda Wallach, Victor Konrad
IEEE Trans. Computers2
1977 Iterative Solution of Linear Equations on a Parallel Processor System
abstract
A parallel processor system and its mode of operation are described. A notation for writing programs on it is introduced. Methods for iterative solution of a set of linear equations are then discussed. The well-known algorithms of Jacobi and Gauss–Seidel are parallelized despite the apparent inherent sequentiality of the latter. New, parallel methods for the iterative solution of linear equations are introduced and their convergence is discussed. A measure of speedup is computed for all methods. It shows that in most cases the algorithms developed in the paper may be efficiently executed on a parallel processor system.
Victor Konrad, Yehuda Wallach
IEEE Trans. Computers1