Search results

From MaRDI portal
  • is PSPACE-complete 2018-04-23 Paper Handling infinitely branching well-structured transition systems 2017-12-20 Paper https://portal.mardi4nfdi.de/entity/Q5367063...
    10 bytes (13 words) - 17:58, 10 April 2026
  • time 2015-06-26 Paper An efficient parallel solver for SDD linear systems 2015-06-26 Paper Nearly-linear work parallel SDD solvers, low-diameter decomposition...
    10 bytes (13 words) - 06:41, 11 April 2026
  • Paper Efficient Computation of Power System Maximum Transient Linear Growth 2023-02-20 Paper Parallel Interior-Point Solver for Block-Structured Nonlinear Programs...
    10 bytes (13 words) - 19:41, 10 April 2026
  • schemes for mining traversal patterns 2006-07-26 Paper An improved tree-structured codebook search algorithm for grayscale image compression 2006-07-26...
    10 bytes (17 words) - 20:23, 10 April 2026
  • dominating set faster than \(2^n\) 2008-12-02 Paper Faster Steiner Tree Computation in Polynomial-Space 2008-11-25 Paper Improved algorithms for feedback...
    10 bytes (17 words) - 19:05, 10 April 2026
  • Scheduling DAGs with random parallel tasks on binarily partitionable systems 2005-07-18 Paper Fast and scalable parallel matrix computations with reconfigurable...
    10 bytes (15 words) - 18:46, 10 April 2026
  • Paper Approximate parallel scheduling. II: Applications to logarithmic-time optimal parallel graph algorithms Information and Computation 1991-01-01 Paper...
    10 bytes (47 words) - 17:48, 10 April 2026
  • Paper Optimal Algorithms for the Path/Tree-Shaped Facility Location Problems in Trees Algorithms and Computation 2008-04-24 Paper Efficient algorithms...
    10 bytes (47 words) - 17:06, 10 April 2026
  • de/entity/Q3138975 1993-10-20 Paper Improved Parallel Polynomial Division 1993-09-01 Paper Improved parallel computations with Toeplitz-like and Hankel-like matrices...
    10 bytes (16 words) - 17:54, 10 April 2026
  • data 2020-08-06 Paper Parallel-correctness and transferability for conjunctive queries under bag semantics 2020-08-06 Paper Parallel-correctness and containment...
    10 bytes (14 words) - 19:33, 10 April 2026
  • systems preserving Hamiltonian functions 2022-03-07 Paper Efficient parallel hybrid computations for three-dimensional wave equation prestack depth imaging 2022-03-07...
    10 bytes (15 words) - 23:30, 10 April 2026
  • 2024-05-24 Paper About tree immersion in grids 2024-05-06 Paper Notes on models for distance coloring problems 2024-04-25 Paper The \(k\)-in-a-tree problem for chordal...
    10 bytes (17 words) - 18:39, 10 April 2026
  • width 2017-05-05 Paper Structured instances of restricted assignment with two processing times 2017-04-07 Paper Scheduling parallel jobs on heterogeneous...
    10 bytes (15 words) - 17:43, 10 April 2026
  • Paper Timing analysis of a parallel algorithm for Toeplitz matrices on a MIMD parallel machine 1992-06-26 Paper A parallel FFT on an MIMD machine 1990-01-01...
    10 bytes (16 words) - 15:54, 10 April 2026
  • characterization of tree languages based on comma-free encoding 2021-10-04 Paper Star-freeness, first-order definability and aperiodicity of structured context-free...
    10 bytes (15 words) - 19:32, 10 April 2026
  • Fibonacci words 2015-11-04 Paper Lempel Ziv computation in small space (LZ-CISS) 2015-08-20 Paper Structured document algebra in action 2015-06-22 Paper...
    10 bytes (15 words) - 17:57, 11 April 2026
  • 2014-05-22 Paper Competitive router scheduling with structured data 2014-03-27 Paper A Local Computation Approximation Scheme to Maximum Matching 2013-10-04...
    10 bytes (15 words) - 18:11, 10 April 2026
  • NEIGHBORING NODES IN A TREE STRUCTURED DISTRIBUTED SYSTEM 2002-09-12 Paper A self-stabilizing distributed algorithm for minimal spanning tree problem in a symmetric...
    10 bytes (15 words) - 18:48, 10 April 2026
  • Paper Control of Boolean networks: hardness results and algorithms for tree structured networks 2020-10-28 Paper Tensor factorization with total variation...
    10 bytes (16 words) - 17:18, 10 April 2026
  • context-free hypergraph grammars 1990-01-01 Paper On structured graph grammars. II 1990-01-01 Paper On structured graph grammars. I 1990-01-01 Paper Actor grammars...
    10 bytes (15 words) - 18:18, 10 April 2026