Search results
From MaRDI portal
- factorizations 2001-10-21 Paper UTV tools: Matlab templates for rank-revealing UTV decompositions 2000-05-03 Paper Regularization Tools Version 3. 0 for Matlab 5...10 bytes (17 words) - 22:18, 9 December 2023
- concepts for parallel out-of-core LU factorization 2003-03-19 Paper NetBuild: transparent cross‐platform access to computational software libraries 2003-02-20...10 bytes (16 words) - 01:22, 9 December 2023
- implementation of automatic differentiation tools 2009-07-13 Paper Automatic computation of sensitivities for a parallel aerodynamic simulation 2009-02-09 Paper...10 bytes (15 words) - 06:14, 12 December 2023
- simulations on Cartesian grids 2009-08-28 Paper Aspects of parallel molecular dynamics software for nano-fluidics 2009-02-09 Paper Modellbildung und Simulation...10 bytes (17 words) - 23:20, 10 December 2023
- Compositional sequentialization of periodic programs 2014-11-03 Paper Parallel assignments in software model checking 2013-10-07 Paper Automated compositional abstraction...10 bytes (13 words) - 19:14, 9 December 2023
- Paper Deductive software verification: from pen-and-paper proofs to industrial tools 2022-02-16 Paper Formal verification of parallel stream compaction...10 bytes (13 words) - 14:28, 9 December 2023
- x3ptools 2024-01-30 Software ggparallel 2024-01-29 Software Penguins Go Parallel: A Grammar of Graphics Framework for Generalized Parallel Coordinate Plots...10 bytes (14 words) - 13:48, 6 December 2023
- 2020-10-28 Paper SParc-LES: enabling large eddy simulations with parallel sparse matrix computation tools 2020-10-11 Paper Towards an efficient implementation of...10 bytes (17 words) - 00:36, 10 December 2023
- (beyond software) 2019-11-25 Paper Verifying data- and control-oriented properties combining static and runtime verification: theory and tools 2017-09-08...10 bytes (13 words) - 02:32, 7 October 2023
- Institution morphisms 2002-09-25 Paper Web-based support for cooperative software engineering 2002-05-20 Paper https://portal.mardi4nfdi.de/entity/Q4503915...10 bytes (14 words) - 17:40, 9 December 2023
- SParc-LES: enabling large eddy simulations with parallel sparse matrix computation tools 2020-10-11 Paper Parallel aggregation based on compatible weighted matching...10 bytes (13 words) - 01:42, 7 October 2023
- Publication Date of Publication Type Software tools for automation of parallel programming on the basis of algebra of algorithms 2015-11-26...10 bytes (15 words) - 10:24, 6 October 2023
- 2012-01-18 Paper A practical introduction to hardware/software codesign. 2010-06-25 Paper Programmable and Parallel ECC Coprocessor Architecture: Tradeoffs between...10 bytes (14 words) - 17:43, 9 December 2023
- optimization problem 2024-10-09 Paper Introduction to the special section on software tools for vehicle routing 2024-09-05 Paper Mixed integer bilevel optimization...10 bytes (15 words) - 18:29, 11 December 2023
- SParc-LES: enabling large eddy simulations with parallel sparse matrix computation tools 2020-10-11 Paper Parallel aggregation based on compatible weighted matching...10 bytes (13 words) - 01:42, 7 October 2023
- Verification of Supervisory Control Software Using State Proximity and Merging 2008-09-02 Paper Verification of evolving software via component substitutability...10 bytes (16 words) - 05:27, 9 December 2023
- arbitrary size 1990-01-01 Paper Parallel quadrant interlocking factorization on hypercube computers 1990-01-01 Paper SOFTWARE TOOLS FOR MULTIPROCESSOR SIMULATION...10 bytes (15 words) - 03:44, 9 December 2023
- supporting tool in medical imaging 2018-10-02 Paper Parallel Large Eddy Simulation with UG 2018-05-24 Paper \textit{UG} 4: a novel flexible software system...10 bytes (14 words) - 20:31, 8 December 2023
- Paper FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science 2009-08-06 Paper Verifying Parallel Programs with Dynamic Communication...10 bytes (13 words) - 12:50, 7 October 2023
- Statistical Certification of Software Systems 2008-03-18 Paper Task allocation in a multi-server system 2007-12-20 Paper Tools and Algorithms for the Construction...10 bytes (17 words) - 11:17, 8 December 2023
