Victor Konrad

Publication Activity (10 Years)

Years Active: 1977-2010
Publications (10 Years): 0

Publications

Kevin D. Jones, Victor Konrad, Dejan Nickovic
Analog property checkers: a DDR2 case study. Formal Methods Syst. Des. 36 (2) (2010)
Victor Konrad
Efficient Computation of the Maximum of the Sum of Two Sequences and Applications. IEEE Trans. Computers 35 (7) (1986)
Yehuda Wallach, Victor Konrad
On Block-Parallel Methods for Solving Linear Equations. IEEE Trans. Computers 29 (5) (1980)
Victor Konrad, Yehuda Wallach
Iterative Solution of Linear Equations on a Parallel Processor System. IEEE Trans. Computers 26 (9) (1977)