David Horák

发表

An Overview of Scalable FETI—DP Algorithms for Variational Inequalities

Zdeněk Dostál, David Horák, Dan Stefanica, 2007 .

Theoretically Supported Scalable FETI for Numerical Solution of Variational Inequalities

David Horák, Zdenek Dostál, Z. Dostál, 2007, SIAM J. Numer. Anal..

Numerical libraries solving large-scale problems developed at IT4Innovations Research Programme Supercomputing for Industry ☆

David Horák, Lubomir Riha, Michal Merta, 2016 .

Investigating Convergence of Linear SVM Implemented in PermonSVM Employing MPRGP Algorithm

Martin Cermák, David Horák, Jakub Kruzík, 2017, HPCSE.

Advanced Approach of Material Region Detections on Fibre-Reinforced Concrete CT-Scans

Martin Čermák, David Horák, Marek Pecha, 2017 .

FETI-based algorithms for modelling of fibrous composite materials with debonding

David Horák, Zdenek Dostál, Oldrich Vlach, 2007, Math. Comput. Simul..

The impact of enabling multiple subdomains per MPI process in the TFETI domain decomposition method

Martin Cermák, Vaclav Hapla, David Horák, 2018, Appl. Math. Comput..

Steps to increase practical applicability of PragTic software

Martin Cermák, David Horák, Jan Papuga, 2019, Adv. Eng. Softw..

Implementation of the efficient communication layer for the highly parallel total FETI and hybrid total FETI solvers

Vaclav Hapla, David Horák, Tomás Kozubek, 2016, Parallel Comput..

Notes on the preliminary results of a linear two-class classifier in the PERMON toolbox

Martin Čermák, David Horák, Marek Pecha, 2018 .

Parallel strategies for solving the FETI coarse problem in the PERMON toolbox

Martin Čermák, David Horák, Alena Vasatova, 2017 .

Scalable solvers combining FETIand QP algorithms

David Horák, 2016 .

FLLOP: A Massively Parallel Solver Combining FETI Domain Decomposition Method and Quadratic Programming

Martin Cermák, Vaclav Hapla, David Horák, 2014, 2014 IEEE Intl Conf on High Performance Computing and Communications, 2014 IEEE 6th Intl Symp on Cyberspace Safety and Security, 2014 IEEE 11th Intl Conf on Embedded Software and Syst (HPCC,CSS,ICESS).

TFETI Coarse Space Projectors Parallelization Strategies

Vaclav Hapla, David Horák, D. Hořák, 2011, PPAM.

Analyzing l1-loss and l2-loss Support Vector Machines Implemented in PERMON Toolbox

David Horák, Marek Pecha, D. Hořák, 2018, Lecture Notes in Electrical Engineering.

Highly Scalable Domain Decomposition Methods in Engineering Applications

David Horák, Tomáš Kozubek, Vít Vondrák, 2015 .

Use of Direct Solvers in TFETI Massively Parallel Implementation

Vaclav Hapla, David Horák, Michal Merta, 2012, PARA.

Comparison of active-set and gradient projection-based algorithms for box-constrained quadratic programming

Serena Crisci, David Horák, Jakub Kruzík, 2020, Soft Computing.

Energy consumption optimization of the Total-FETI solver and BLAS routines by changing the CPU frequency

David Horák, Lubomír Ríha, Martin Beseda, 2016, 2016 International Conference on High Performance Computing & Simulation (HPCS).

A Note on massively parallel implementation of FETI for the solution of contact problems

Martin Čermák, David Horák, Václav Hapla, 2017 .

Comparison of selected FETI coarse space projector implementation strategies

David Horák, Martin Cermak, Václav Hapla, 2020, Parallel Comput..

Efficient lifetime estimation techniques for general multiaxial loading

Martin Čermák, David Horák, Jan Papuga, 2017 .

Inner product free iterative solution and elimination methods for linear systems of a three-by-three block matrix form

Owe Axelsson, Zhao-Zheng Liang, David Horák, 2021, J. Comput. Appl. Math..

Energy consumption optimization of the total-FETI solver by changing the CPU frequency

Martin Čermák, David Horák, Joseph Schuchart, 2017 .

Total-FETI domain decomposition method for solution of elasto-plastic problems

Martin Cermák, Vaclav Hapla, David Horák, 2015, Adv. Eng. Softw..

On R-linear convergence of semi-monotonic inexact augmented Lagrangians for saddle point problems

David Horák, Zdenek Dostál, Petr Vodstrcil, 2013, Computational Optimization and Applications.

Total FETI domain decomposition method and its massively parallel implementation

Martin Cermák, Vaclav Hapla, David Horák, 2013, Adv. Eng. Softw..

A scalable FETI-DP algorithm with non-penetration mortar conditions on contact interface

David Horák, Dan Stefanica, Zdenek Dostál, 2009, J. Comput. Appl. Math..

Scalable FETI with optimal dual penalty for a variational inequality

David Horák, Zdenek Dostál, Z. Dostál, 2004, Numer. Linear Algebra Appl..

Scalable FETI Algorithms for Frictionless Contact Problems

Charbel Farhat, Zdeněk Dostál, David Horák, 2008 .

Description of Seismic Events Using Wavelet Transform

David Horák, Nina Castová, Zdenek Kaláb, 2006, Int. J. Wavelets Multiresolution Inf. Process..

Solving Contact Mechanics Problems with PERMON

Alena Vasatová, Martin Cermák, Vaclav Hapla, 2015, HPCSE.

Matlab parallel codes for 3D slope stability benchmarks

David Horák, Martin Cermak, Václav Hapla, 2017 .

The energy consumption optimization of the BLAS routines

Martin Čermák, David Horák, Martin Beseda, 2017 .

Parallel Implementation of Total-FETI DDM with Application to Medical Image Registration

David Horák, Michal Merta, Václav Hapla, 2014 .

Scalability and FETI based algorithm for large discretized variational inequalities

David Horák, Zdenek Dostál, Z. Dostál, 2003, Math. Comput. Simul..

On R-linear convergence of semi-monotonic inexact augmented Lagrangians for bound and equality constrained quadratic programming problems with application

David Horák, Zdenek Dostál, Tomás Kozubek, 2014, Comput. Math. Appl..

The fatigue damage software parallelization

Martin Čermák, David Horák, Jiří Tomčala, 2018 .

The READEX formalism for automatic tuning for energy efficiency

Venkatesh Kannan, Wolfgang E. Nagel, Michael Gerndt, 2016, Computing.