Search results
From MaRDI portal
- specialization and its application to program parallelization 2000-02-06 Paper Automatic compile-time parallelization of logic programs for restricted, goal level...10 bytes (16 words) - 02:58, 12 December 2023
- Another 2009-01-15 Paper Abstraction-carrying code: a model for mobile code safety 2008-10-20 Paper Automatic Inference of Upper Bounds for Recurrence Relations...10 bytes (13 words) - 01:49, 12 December 2023
- analysis and interprocedural techniques for automatic parallelization of C codes 2002-04-11 Paper A data-parallel formulation for divide and conquer algorithms...10 bytes (15 words) - 03:44, 9 December 2023
- 2022-11-24 Paper Multilevel Spectral Domain Decomposition 2022-02-09 Paper Automatic Code Generation for High-performance Discontinuous Galerkin Methods on Modern...10 bytes (13 words) - 03:32, 12 December 2023
- analysis 2011-06-15 Paper Scalable parallelization of FLAME code via the workqueuing model 2008-12-21 Paper A Parallel Eigensolver for Dense Symmetric Matrices...10 bytes (15 words) - 11:31, 28 January 2024
- Adjunct elimination in context logic for trees 2010-04-22 Paper Automatic Parallelization with Separation Logic 2009-03-31 Paper Beyond Reachability: Shape...10 bytes (13 words) - 16:30, 6 October 2023
- using lattice Boltzmann methods and automatic differentiation 2021-04-21 Paper OpenLB -- open source lattice Boltzmann code 2020-12-18 Paper Solving fluid flow...10 bytes (15 words) - 01:42, 7 October 2023
- loops for program inversion 2015-11-30 Paper Semantic-aware automatic parallelization of modern applications using high-level abstractions 2010-11-03 Paper...10 bytes (15 words) - 11:59, 12 December 2023
- Solving linear-quadratic optimal control problems on parallel computers 2009-02-23 Paper Parallelization of multilevel preconditioners constructed from inverse-based...10 bytes (19 words) - 08:30, 9 December 2023
- amplifier 2019-05-03 Paper A mesh-grading material point method and its parallelization for problems with localized extreme deformation 2019-03-26 Paper A denial-of-service...10 bytes (13 words) - 01:19, 11 December 2023
- Paper Geometry-based fully automatic mesh generation and the delaunay triangulation 1988-01-01 Paper The versatility of automatic mesh generators based on...10 bytes (15 words) - 06:38, 9 December 2023
- information in interprocedural dependence analysis 1997-02-27 Paper Automatic parallel code generation for message passing on distributed memory systems 1997-02-27...10 bytes (13 words) - 08:53, 9 December 2023
- On the implementation of automatic differentiation tools 2009-07-13 Paper Automatic computation of sensitivities for a parallel aerodynamic simulation 2009-02-09...10 bytes (15 words) - 06:14, 12 December 2023
- bidiagonalization for nonsymmetric saddle point systems 2023-10-10 Paper Advanced Automatic Code Generation for Multiple Relaxation-Time Lattice Boltzmann Methods 2023-09-08...10 bytes (15 words) - 23:20, 10 December 2023
- calculation in plasma edge codes 2023-11-27 Paper Understanding Automatic Differentiation Pitfalls 2023-05-12 Paper Source-to-Source Automatic Differentiation of...10 bytes (13 words) - 18:28, 9 December 2023
- Another 2009-01-15 Paper Abstraction-carrying code: a model for mobile code safety 2008-10-20 Paper Automatic Inference of Upper Bounds for Recurrence Relations...10 bytes (13 words) - 02:15, 25 September 2023
- software geared toward automatic differentiation 2010-09-14 Paper Sensitivity of shear rate in artificial grafts using automatic differentiation 2010-02-19...10 bytes (15 words) - 01:30, 11 December 2023
- 2015-01-14 Paper Parallel learning of automatic classes of languages 2015-01-14 Paper Semiautomatic structures 2014-06-24 Paper Automatic learners with feedback...10 bytes (13 words) - 01:54, 9 December 2023
- Integral Equations with ODE Codes 1988-01-01 Paper Interpolation for variable order, Runge-Kutta methods 1987-01-01 Paper Automatic selection of the initial...10 bytes (15 words) - 22:48, 8 December 2023
- Paper Global error control in implicit parallel peer methods 2010-05-06 Paper Parallel start for explicit parallel two-step peer methods 2010-02-25 Paper...10 bytes (14 words) - 15:55, 8 December 2023
