Search results

From MaRDI portal
  • 2003-05-13 Paper On exploiting heterogeneity for cluster based parallel multithreading using task duplication 2003-05-11 Paper On admission control and...
    10 bytes (15 words) - 18:00, 10 April 2026
  • uniprocessor and multicomputer systems 2010-03-18 Paper Java multithreading‐based parallel approximate arrow‐type inverses 2009-10-15 Paper High performance...
    10 bytes (15 words) - 11:25, 11 April 2026
  • Information Flow as a Safety Property 2009-04-07 Paper Fair Cooperative Multithreading 2008-09-18 Paper On strong normalization and type inference in the intersection...
    10 bytes (13 words) - 15:18, 11 April 2026
  • algorithms with random truncation bounds and applications to effective parallel computing 2008-09-22 Paper Consistent proportional delay differentiation:...
    10 bytes (15 words) - 18:21, 10 April 2026
  • de/entity/Q4967167 2019-07-03 Paper The PCL theorem: transactions cannot be parallel, consistent, and live 2019-02-25 Paper Linearizable Wait-Free Iteration...
    10 bytes (13 words) - 22:18, 10 April 2026
  • Reduction of Large-Scale Dense Systems on Parallel Computers 2002-01-13 Paper Solving algebraic Riccati equations on parallel computers using Newton's method with...
    10 bytes (15 words) - 18:00, 10 April 2026
  • skew-symmetrizers 2021-06-25 Paper A parallel bio-inspired shortest path algorithm 2021-01-15 Paper A parallel multithreaded sparse triangular linear system...
    10 bytes (13 words) - 17:09, 12 December 2023
  • Permutation Property of Sequential and Parallel Swap-Based Sorting Algorithms 2023-03-21 Paper Automated verification of parallel nested DFS 2022-10-13 Paper Automated...
    10 bytes (13 words) - 18:50, 10 April 2026
  • Function 2003-01-05 Paper Specialized parallel algorithms for solving Lyapunov and Stein equations 2002-07-31 Paper Parallel algorithms for LQ optimal control...
    10 bytes (19 words) - 18:00, 10 April 2026
  • of message passing and multithreading on SMP clusters 2005-05-17 Paper A mobile agent based push methodology for global parallel computing 2003-01-27 Paper...
    10 bytes (13 words) - 05:12, 13 April 2026
  • finite element analysis for distributed parallel computation 1995-01-02 Paper Deferred Shifting Schemes for Parallel QR Methods 1993-05-16 Paper Reduction...
    10 bytes (21 words) - 18:42, 10 April 2026
  • Publication Date of Publication Type A parallel multithreaded sparse triangular linear system solver 2020-08-17 Paper...
    10 bytes (13 words) - 14:07, 24 September 2023
  • for Fast Parallel Approximability 1999-02-28 Paper On the random generation and counting of matchings in dense graphs 1998-08-13 Paper Parallel algorithms...
    10 bytes (17 words) - 17:48, 10 April 2026
  • Hyperion system: Compiling multithreaded Java bytecode for distributed execution 2001-08-20 Paper Formal validation of data-parallel programs: a two-component...
    10 bytes (15 words) - 17:44, 10 April 2026
  • OTIS hyper hexa-cell optoelectronic architecture 2012-06-07 Paper Parallel multithreaded IDA\(*\) heuristic search: algorithm design and performance evaluation...
    10 bytes (17 words) - 00:38, 25 September 2023
  • Divide-and-Conquer: A Technique for Designing Parallel Algorithms 1989-01-01 Paper Parallel Merge Sort 1988-01-01 Paper Approximate Parallel Scheduling. Part I: The Basic...
    10 bytes (14 words) - 17:48, 10 April 2026
  • concurrent programs with procedures 2015-09-11 Paper Analysis of recursively parallel programs 2015-09-11 Paper On the verification problem for weak memory models...
    10 bytes (13 words) - 09:06, 11 April 2026
  • note on parallel finite difference approximate inverse preconditioning on multicore systems using POSIX threads 2017-04-07 Paper Fast parallel finite element...
    10 bytes (15 words) - 13:39, 11 April 2026
  • Publication Date of Publication Type Experiment of Multithreading Symbolic and Algebraic Computations with OpenMP 2010-09-14 Paper https://portal...
    10 bytes (13 words) - 00:54, 13 April 2026
  • 2010-05-21 Paper A PARALLEL TRIANGULAR SYLVESTER EQUATION SOLVER BASED ON THE HESSENBERG-SCHUR METHOD∗ 2004-10-06 Paper AN EFFICIENT PARALLEL SYLVESTER EQUATION...
    10 bytes (13 words) - 09:02, 11 April 2026