Search results
From MaRDI portal
- 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) - 11:21, 11 April 2026
- 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) - 18:50, 10 April 2026
- video servers Multimedia Tools and Applications 2003-02-17 Paper Optimal scheduling for parallel CBR video servers Multimedia Tools and Applications 2003-02-17...10 bytes (47 words) - 18:30, 14 April 2026
- (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) - 03:01, 11 April 2026
- 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) - 21:49, 10 April 2026
- 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) - 18:45, 10 April 2026
- 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) - 18:00, 10 April 2026
- hash-based signatures 2013-12-10 Paper Fuming Acid and Cryptanalysis: Handy Tools for Overcoming a Digital Locking and Access Control System 2013-09-02 Paper...10 bytes (15 words) - 17:52, 10 April 2026
- 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) - 18:21, 10 April 2026
- 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) - 17:41, 10 April 2026
- 2007-09-03 Paper Tools and Algorithms for the Construction and Analysis of Systems 2007-05-02 Paper FSTTCS 2005: Foundations of Software Technology and Theoretical...10 bytes (15 words) - 19:50, 10 April 2026
- 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) - 18:56, 10 April 2026
- 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) - 18:46, 10 April 2026
- circuits with CADP 2009-02-19 Paper Model Checking Software 2007-09-28 Paper Model Checking Software 2007-09-28 Paper State space reduction for process...10 bytes (13 words) - 18:50, 10 April 2026
- properties of regular real timed processes 2024-04-29 Paper Characterizations of parallel real-time workloads 2024-02-28 Paper Model checking, synthesis, and learning...10 bytes (13 words) - 18:50, 10 April 2026
- theorems for bi-Kleene algebras and series-parallel rational pomset languages 2014-04-16 Paper Modal tools for separation and refinement 2014-03-26 Paper...10 bytes (13 words) - 21:35, 10 April 2026
- term-level bounded model checking 2010-02-05 Paper FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science 2009-08-06 Paper State-set...10 bytes (15 words) - 04:09, 13 April 2026
- 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) - 17:47, 10 April 2026
- programs 2018-04-23 Paper Fairness modulo theory: a new approach to LTL software model checking 2018-03-01 Paper Thread modularity at many levels: a pearl...10 bytes (13 words) - 18:50, 10 April 2026
- Publication Date of Publication Type Computer tools for the construction and analysis of some efficient root-finding simultaneous...10 bytes (14 words) - 18:04, 10 April 2026
