Search results

\(d\)-dimensional algorithms with homogeneous dependences on (\(d\)-2)-dimensional parallel architectures 2003-09-09 Paper A method for parallelizing algorithms by vector...

Yinyang K-means Algorithm 2022-05-18 Paper Parallel Processing and Applied Mathematics 2007-09-25 Paper Parallelizing Evolutionary Algorithms for Clustering...

New techniques and algorithms for symbolic program analysis and optimization. 2003-06-30 Paper Debugging real-world data-parallel programs with SPiDER...

2000-06-05 Paper Parallelizing functional programs by generalization 2000-04-26 Paper Extracting and implementing list homomorphisms in parallel program development...

with manifold conformance estimation 2018-06-14 Paper Evaluating learning algorithms. A classification perspective 2011-04-07 Paper Warning: statistical benchmarking...

https://portal.mardi4nfdi.de/entity/Q4787244 2003-01-09 Paper Efficient algorithms for approximate time separation of events 2002-11-27 Paper Formal verification...

2001-11-19 Paper Using knowledge-based techniques on loop parallelization for parallelizing compilers 1998-07-23 Paper A new probabilistic induction method...

2018-01-31 Paper Reusable components in decision tree induction algorithms 2015-01-30 Paper Parallelizing design of application tailored neural networks 2013-06-10...

de/entity/Q4472373 2004-08-04 Paper Parallel algorithms for model reduction of discrete-time systems 2004-03-17 Paper Efficient algorithms for the block Hessenberg...

2003-01-05 Paper Specialized parallel algorithms for solving Lyapunov and Stein equations 2002-07-31 Paper Parallel algorithms for LQ optimal control of discrete-time...

Programming matrix algorithms-by-blocks for thread-level parallelism 2017-05-19 Paper A Runtime System for Programming Out-of-Core Matrix Algorithms-by-Tiles on...

2010-07-06 Paper Algorithms and Data Structures 2010-04-20 Paper Anonymous quantum communication (extended abstract) 2009-12-03 Paper Parallelizing quantum circuits...

framework for array programs 2015-12-17 Paper Search-space partitioning for parallelizing SMT solvers 2015-11-20 Paper Resolution proof transformation for compression...

A constant-time parallel algorithm for computing convex hulls 1982-01-01 Paper On the average-case complexity of “bucketing” algorithms 1982-01-01 Paper...

Paper Algorithms for parallelizing a mathematical model of forest fires on supercomputers and theoretical estimates for the efficiency of parallel programs...

Automated reasoning contributes to mathematics and logic 2023-04-28 Paper Parallelizing the closure computation in automated deduction 2023-04-28 Paper https://portal...

\(d\)-dimensional algorithms with homogeneous dependences on (\(d\)-2)-dimensional parallel architectures 2003-09-09 Paper A method for parallelizing algorithms by vector...

noise reduction algorithms for particle flow simulations 2016-12-05 Paper TELEMAC: an efficient hydrodynamics suite for massively parallel architectures...

de/entity/Q4414774 2003-07-27 Paper Parallel solvers for discrete‐time algebric Riccati equations 2003-02-04 Paper Parallel algorithms for LQ optimal control of...

2011-05-31 Paper Parallel Implementation of LQG Balanced Truncation for Large-Scale Systems 2009-03-26 Paper Strategies for parallelizing the solution of...