Search results
From MaRDI portal
- de/entity/Q5309370 2007-10-09 Paper Data distributions for parallel programs 2007-10-09 Paper Parallel programs description with powerlist, parlist and plist 2007-10-09...10 bytes (13 words) - 02:22, 25 September 2023
- Type Iterative development of parallel programs in the ParJava environment 2009-11-24 Paper Implementation of parallel programs interpreter in the development...10 bytes (15 words) - 18:19, 6 October 2023
- Race-condition detection in parallel computation with semaphores (extended abstract) 2017-12-05 Paper Detecting race conditions in parallel programs that use semaphores...10 bytes (17 words) - 22:42, 24 September 2023
- of convex programs 1988-01-01 Paper Parallel successive overrelaxation methods for symmetric linear complementarity problems and linear programs 1987-01-01...10 bytes (17 words) - 06:11, 9 December 2023
- solving linear programs with complementarity constraints 2018-05-16 Paper On the Finite Number of Directional Stationary Values of Piecewise Programs 2018-02-28...10 bytes (17 words) - 22:24, 10 December 2023
- Paper Lock-free parallel dynamic programming 2012-03-07 Paper Efficient local unfolding with ancestor stacks 2011-08-17 Paper Parallel backtracking with...10 bytes (16 words) - 02:58, 12 December 2023
- planes for multistage stochastic integer programs 2010-03-06 Paper An integer programming approach for linear programs with probabilistic constraints 2010-02-19...10 bytes (14 words) - 00:39, 11 December 2023
- 2018-07-11 Paper Alternating criteria search: a parallel large neighborhood search algorithm for mixed integer programs 2018-02-06 Paper A hybrid primal heuristic...10 bytes (17 words) - 15:36, 6 December 2023
- for mathematical programs with equilibrium constraints 1999-01-01 Paper Testing parallel variable transformation 1999-01-01 Paper Parallel Variable Transformation...10 bytes (13 words) - 19:53, 8 December 2023
- hierarchical optimization in kidney exchange programs 2024-09-05 Paper An Interior Point–Inspired Algorithm for Linear Programs Arising in Discrete Optimal Transport...10 bytes (13 words) - 16:36, 8 December 2023
- 1993-05-18 Paper Massively Parallel Algorithms for Singly Constrained Convex Programs 1993-04-01 Paper Matrix Balancing on a Massively Parallel Connection Machine...10 bytes (15 words) - 04:48, 9 December 2023
- note on simple programs with two variables 1993-05-24 Paper https://portal.mardi4nfdi.de/entity/Q4035243 1993-05-18 Paper On Efficient Parallel Algorithms...10 bytes (17 words) - 18:26, 9 December 2023
- mixed-integer linear programs 2001-10-03 Paper A branch-and-cut method for 0-1 mixed convex programming 2000-10-29 Paper Using a Massively Parallel Processor to...10 bytes (13 words) - 20:08, 24 September 2023
- continuous linear programs with constant coefficients 2020-02-20 Paper Design heuristic for parallel many server systems 2018-10-30 Paper FCFS Parallel Service Systems...10 bytes (13 words) - 16:02, 24 September 2023
- Paper Justifications for logic programs under answer set semantics 2009-03-10 Paper Logic Programs with Abstract Constraint Atoms: The Role of Computations...10 bytes (13 words) - 06:46, 9 December 2023
- synthesis of parallel programs (methodology and tools) 1998-10-19 Paper Approach to the construction of algebraic models of algorithms and programs 1997-08-24...10 bytes (15 words) - 09:50, 13 December 2023
- 1996-08-01 Paper Parallel decomposition of large-scale stochastic nonlinear programs 1996-07-31 Paper Subdifferential Convergence in Stochastic Programs 1996-06-23...10 bytes (15 words) - 12:31, 8 December 2023
- 1977-01-01 Paper Verifying properties of parallel programs 1976-01-01 Paper An axiomatic proof technique for parallel programs 1976-01-01 Paper https://portal.mardi4nfdi...10 bytes (15 words) - 16:07, 6 October 2023
- Batch-parallel Euler tour trees 2019-09-13 Paper Parallel range, segment and rectangle queries with augmented maps 2019-09-13 Paper A simple parallel Cartesian...10 bytes (15 words) - 02:03, 12 December 2023
- Completeness of an Axiom System for Program Verification 1981-01-01 Paper Towards a complexity theory of synchronous parallel computation 1981-01-01 Paper Space...10 bytes (16 words) - 16:38, 12 December 2023
