Search results
From MaRDI portal
- Date of Publication Type An object-oriented parallel programming language for distributed-memory parallel computing platforms 2018-07-16 Paper On the Performance...10 bytes (19 words) - 20:10, 24 September 2023
- Date of Publication Type An object-oriented parallel programming language for distributed-memory parallel computing platforms 2018-07-16 Paper...10 bytes (15 words) - 20:10, 24 September 2023
- preferences using logic programming 2006-08-28 Paper Logic Programming 2006-06-27 Paper Logic Programming 2006-06-27 Paper Sequential and parallel algorithms for...10 bytes (13 words) - 06:46, 9 December 2023
- CPBPV: a constraint-programming framework for bounded program verification 2010-05-05 Paper Principles and Practice of Constraint Programming – CP 2003 2010-03-02...10 bytes (16 words) - 00:06, 10 December 2023
- dynamic semantics of the programming language 2005-09-05 Paper A language and programming environment for high-performance parallel computing on heterogeneous...10 bytes (15 words) - 09:52, 9 December 2023
- processes for a structural programming language 1988-01-01 Paper Theoretical and applied aspects of structured parallel programming 1987-01-01 Paper Multilevel...10 bytes (15 words) - 09:50, 13 December 2023
- 1995-06-27 Paper Parallel Factorization of Structured Matrices Arising in Stochastic Programming 1995-06-07 Paper Data-level parallel solution of min-cost...10 bytes (15 words) - 04:48, 9 December 2023
- 2006-05-22 Paper A language and programming environment for high-performance parallel computing on heterogeneous networks 2004-02-08 Paper Parallel Computing on...10 bytes (17 words) - 09:52, 9 December 2023
- in a language with singleton kinds 2015-03-17 Paper Adaptive functional programming 2015-03-17 Paper Space profiling for parallel functional programs 2015-03-16...10 bytes (15 words) - 19:33, 6 October 2023
- Inductive Logic Programming 2006-10-19 Paper Logic Programming 2006-06-27 Paper Logic Programming 2006-06-27 Paper Logic Programming 2005-08-26 Paper Euro-Par...10 bytes (15 words) - 10:42, 6 October 2023
- 1991-01-01 Paper A Modeling Language for Mathematical Programming 1990-05-01 Paper A Modeling Language for Mathematical Programming 1990-01-01 Paper https://portal...10 bytes (17 words) - 17:07, 6 October 2023
- for linear and integer programming 2012-06-08 Paper Extending an algebraic modeling language to support constraint programming 2012-05-30 Paper DrAmpl:...10 bytes (14 words) - 11:16, 12 December 2023
- scheduling via answer set programming 2017-11-09 Paper Shift Design with Answer Set Programming* 2017-11-09 Paper Answer Set Programming Modulo Acyclicity* 2017-11-09...10 bytes (16 words) - 19:59, 11 December 2023
- Structure Conveying Parallelizable Modeling Language for Mathematical Programming 2009-03-12 Paper High-Performance Parallel Support Vector Machine Training 2009-03-12...10 bytes (13 words) - 16:36, 8 December 2023
- 2013-01-07 Paper Transparent parallelization of constraint programming 2012-07-28 Paper A modeling layer for constraint-programming libraries 2012-06-18 Paper...10 bytes (14 words) - 02:17, 12 December 2023
- Publication Date of Publication Type Nonwellfounded sets and programming language semantics 2023-08-16 Paper A structural co-induction theorem 2023-04-28...10 bytes (21 words) - 23:56, 9 December 2023
- structured programming 1979-01-01 Paper Theory of language processors and parallel computations 1979-01-01 Paper Multilayer syntactic analysis of parallel programming...10 bytes (15 words) - 00:47, 13 December 2023
- Real-Time Action Description Language 2009-01-15 Paper Coinductive Logic Programming 2008-03-11 Paper PALS: Efficient Or-Parallel execution of Prolog on Beowulf...10 bytes (14 words) - 20:57, 10 December 2023
- Mathematical Programming 2009-03-12 Paper Parallel interior-point solver for structured quadratic programs: Application to financial planning problems 2008-03-31...10 bytes (13 words) - 02:05, 25 September 2023
- analysis for a concurrent reversible programming language 2024-11-13 Paper revTPL: The Reversible Temporal Process Language 2024-03-11 Paper A reversible debugger...10 bytes (13 words) - 18:08, 21 September 2023
