Search results
From MaRDI portal
- distributed key-value stores 2016-10-24 Paper Certifiably Sound Parallelizing Transformations 2015-01-13 Paper...10 bytes (15 words) - 11:52, 6 October 2023
- fundamental transformations of surfaces. 1928-01-01 Paper Semi-parallel transformations of lines of curvature. 1928-01-01 Paper Semi-parallel maps of lines...10 bytes (15 words) - 11:56, 6 October 2023
- nets in GenGED 2011-04-08 Paper Parallel independence of amalgamated graph transformations applied to model transformation 2010-11-26 Paper Conflict detection...10 bytes (13 words) - 12:48, 8 December 2023
- Semantics - The Parallel Case 2007-09-10 Paper Graph Transformations 2007-06-21 Paper Abstract hierarchical graph transformation 2005-10-18 Paper https://portal...10 bytes (13 words) - 09:35, 6 October 2023
- Paper Construction of generalized parallelizing functions 2009-12-11 Paper Parallelizing of algorithms on the basis of splitting of macro-operations 2009-04-14...10 bytes (15 words) - 18:04, 24 September 2023
- 2015-02-04 Paper Verification of multi-linked heaps 2012-08-17 Paper Parallelizing a symbolic compositional model-checking algorithm 2011-04-06 Paper Proving...10 bytes (15 words) - 23:05, 11 December 2023
- from temporal specifications 2023-05-26 Paper The impact of program transformations on static program analysis 2023-05-26 Paper A self-certifying compilation...10 bytes (15 words) - 08:23, 7 October 2023
- High-performance up-and-downdating via householder-like transformations 2017-05-19 Paper Parallel matrix multiplication: a systematic journey 2017-01-13...10 bytes (21 words) - 18:42, 9 December 2023
- 2015-07-21 Paper Minimizing S-boxes in hardware by utilizing linear transformations 2014-06-24 Paper Parallelisable variants of Camellia and SMS4 block...10 bytes (14 words) - 14:14, 6 October 2023
- homogeneous dependences on (\(d\)-2)-dimensional parallel architectures 2003-09-09 Paper A method for parallelizing algorithms by vector scheduling functions...10 bytes (15 words) - 06:27, 7 October 2023
- Publication Type Optimization of a parallel CFD code and its performance evaluation on Tianhe-1A 2018-11-27 Paper Parallelizing and optimizing a detonation combustion...10 bytes (13 words) - 07:50, 7 October 2023
- Discrete Integral Transformations I—The Pseudopolar Fourier Transform 2009-03-27 Paper A Framework for Discrete Integral Transformations II—The 2D Discrete...10 bytes (13 words) - 23:08, 8 December 2023
- Paper Strategies for parallelizing the solution of rational matrix equations 2009-02-09 Paper Design, Tuning and Evaluation of Parallel Multilevel ILU Preconditioners...10 bytes (19 words) - 08:30, 9 December 2023
- On normal and structured matrices under unitary structure-preserving transformations 2021-02-12 Paper A rational Even-IRA algorithm for the solution of T-even...10 bytes (14 words) - 07:20, 9 December 2023
- approach to modern cryptography 2022-03-08 Paper Single-to-multi-theorem transformations for non-interactive statistical zero-knowledge 2021-12-21 Paper Signatures...10 bytes (13 words) - 17:01, 9 December 2023
- and their transformations. 1915-01-01 Paper Surfaces of rolling and transformations of \textit{Ribaucour}. 1915-01-01 Paper Transformations of conjugate...10 bytes (16 words) - 08:14, 12 December 2023
- Discrete Integral Transformations I—The Pseudopolar Fourier Transform 2009-03-27 Paper A Framework for Discrete Integral Transformations II—The 2D Discrete...10 bytes (16 words) - 08:45, 23 May 2025
- Paper Autonomous Units and Their Semantics - The Parallel Case 2007-09-10 Paper Graph Transformations 2007-06-21 Paper Formal Methods in Software and Systems...10 bytes (17 words) - 20:23, 11 December 2023
- Paper FOLDING TRANSFORMATIONS ON SYSTOLIC AND VLSI PROCESSOR ARRAYS 2004-10-06 Paper A NEW METHOD FOR GENERATING INTEGER COMPOSITIONS IN PARALLEL 2004-10-06...10 bytes (15 words) - 07:04, 9 December 2023
- Petri Net Transformations 2007-09-07 Paper Graph Transformations 2007-06-21 Paper Graph Transformations 2007-06-21 Paper Graph Transformations 2007-06-21...10 bytes (15 words) - 10:43, 8 December 2023
