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
- coherent graph transformations 2021-10-27 Paper Monographs, a category of graph structures 2021-10-27 Paper Parallel rewriting of attributed graphs 2020-12-15...10 bytes (19 words) - 09:44, 7 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
- Their 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
- 2016-08-05 Paper Towards the flexible reuse of model transformations: a formal approach based on graph transformation 2014-10-23 Paper Using matrix graph grammars...10 bytes (15 words) - 09:43, 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
- 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
- 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
- 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
- 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
- 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) - 18:04, 24 September 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
- Paper A CLASS OF ASYNCHRONOUS PARALLEL NONLINEAR MULTISPLITTING RELAXATION METHODS 2004-10-06 Paper FOLDING TRANSFORMATIONS ON SYSTOLIC AND VLSI PROCESSOR...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
- 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
- pharmaco-mechanical interactions in arterial walls using parallel monolithic domain decomposition methods 2023-07-06 Paper Parallel Scalability of Three-Level FROSch Preconditioners...10 bytes (15 words) - 14:54, 10 December 2023
- in axiomatic algorithmic-algebra systems 1979-01-01 Paper Identity transformations for structured-program schemes with closed logic conditions 1979-01-01...10 bytes (15 words) - 00:47, 13 December 2023
