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
- Crossing Minimization 2019-09-12 Paper Engineering oracles for time-dependent road networks 2019-09-12 Paper Engineering multi-level overlay graphs for shortest-path...10 bytes (15 words) - 00:05, 11 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
- 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
- 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
- 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
- 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
- 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
- representation and scalable software architecture 2010-08-24 Paper Dimensions of formality: a case study for MKM in software engineering 2010-08-24 Paper Towards...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
- and implementation of a massively parallel version of DIRECT 2008-11-17 Paper Mixed-precision preconditionders in parallel domain decomposition solvers 2008-06-03...10 bytes (15 words) - 14:59, 8 December 2023
- Satisfaction-based selection of XML documents 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
- Conditions 2008-04-11 Paper Fundamental Approaches to Software Engineering 2007-11-28 Paper Foundations of Software Science and Computation Structures 2007-09-28...10 bytes (15 words) - 10:43, 8 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
- vehicle routing problem with time and capacity constraints 2024-07-08 Paper Parallel algorithms for global optimization problems 2024-06-21 Paper A modified...10 bytes (17 words) - 13:56, 7 December 2023
- using a formulation by representatives 2015-09-22 Paper Applying software engineering techniques in the development and management of linear and integer...10 bytes (16 words) - 15:44, 7 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
- 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
