Search results
From MaRDI portal
- 2005-12-27 Paper Formal Methods in Software and Systems Modeling 2005-12-02 Paper Fundamental Approaches to Software Engineering 2005-09-13 Paper Fundamental...10 bytes (13 words) - 17:04, 12 December 2023
- analysis of behavioural specifications: sequential and parallel independence 2014-01-10 Paper Parallel graph transformation for model simulation applied to...10 bytes (15 words) - 09:43, 7 October 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) - 14:28, 9 December 2023
- in potential reduction software for large-scale quadratic problems 2007-10-24 Paper On the development of PSBLAS-based parallel two-level Schwarz preconditioners...10 bytes (17 words) - 00:36, 10 December 2023
- Dynamic Ridesharing 2021-01-27 Paper Engineering Top-Down Weight-Balanced Trees 2021-01-27 Paper Modeling and Engineering Constrained Shortest Path Algorithms...10 bytes (15 words) - 00:05, 11 December 2023
- https://portal.mardi4nfdi.de/entity/Q3436425 2007-05-08 Paper Service oriented software engineering for modeling agents and services in grid systems 2007-03-30 Paper...10 bytes (15 words) - 17:14, 12 December 2023
- Representation and Scalable Software Architecture 2010-08-24 Paper Dimensions of Formality: A Case Study for MKM in Software Engineering 2010-08-24 Paper https://portal...10 bytes (15 words) - 12:56, 24 September 2023
- Paper Joint Optimization of Rule Placement and Traffic Engineering for QoS Provisioning in Software Defined Network 2017-05-16 Paper Opportunistic Offloading...10 bytes (15 words) - 14:11, 9 December 2023
- complex engineering systems: Peculiarities of the system software 1996-12-11 Paper Sequential-parallel computer-aided design of complex engineering systems...10 bytes (15 words) - 09:39, 12 December 2023
- 2012-07-26 Paper Parallel exact inference on the cell broadband engine processor 2012-03-07 Paper Energy Efficient Hardware-Software Co-Synthesis Using...10 bytes (15 words) - 21:52, 11 December 2023
- 8-bit, 16-bit, and 32-bit microcontrollers 2015-10-26 Paper When Reverse-Engineering Meets Side-Channel Analysis – Digital Lockpicking in Practice 2015-10-01...10 bytes (15 words) - 22:40, 24 September 2023
- protocols with SETHEO 2019-10-01 Paper SETHEO goes software engineering: Application of ATP to software reuse 2019-10-01 Paper Formal testing for separation...10 bytes (15 words) - 12:35, 7 October 2023
- Cryptology - ASIACRYPT 2003 2010-01-05 Paper Fast Software Encryption 2010-01-05 Paper Fast Software Encryption 2010-01-05 Paper Related-Key Cryptanalysis...10 bytes (15 words) - 13:42, 6 October 2023
- a massively parallel version of DIRECT 2008-11-17 Paper https://portal.mardi4nfdi.de/entity/Q3500076 2008-06-03 Paper Deterministic parallel global parameter...10 bytes (15 words) - 14:59, 8 December 2023
- interfaces for high-fidelity engineering software: Web-based analyses for vehicle engineering 2003-01-09 Paper Data-parallel lower-upper relaxation method...10 bytes (15 words) - 21:34, 24 September 2023
- and Analysis of Systems 2005-11-10 Paper Fundamental Approaches to Software Engineering 2005-09-13 Paper Programming Languages and Systems 2005-09-13 Paper...10 bytes (15 words) - 00:45, 12 December 2023
- Robot 2024-01-02 Paper Hybrid Force/Position Control of a Very Flexible Parallel Robot Manipulator in Contact with an Environment 2024-01-02 Paper Interpolation‐based...10 bytes (14 words) - 06:38, 9 December 2023
- models indexed by two scales 2000-02-01 Paper Statistical methods in software engineering. Reliability and risk 1999-10-12 Paper Calculating the Reserve for...10 bytes (16 words) - 19:07, 9 December 2023
- Paper A parallel block cyclic reduction algorithm for the fast solution of elliptic equations 1989-01-01 Paper Data communication in parallel architectures...10 bytes (15 words) - 22:18, 8 December 2023
- DNA-templated synthesis optimization 2023-11-30 Paper A Generic Framework for Engineering Graph Canonization Algorithms 2023-05-23 Paper https://portal.mardi4nfdi...10 bytes (13 words) - 11:11, 6 October 2023
