Search results
From MaRDI portal
- modeling for risk-averse stochastic programming 2016-05-19 Paper PEBBL: an object-oriented framework for scalable parallel branch and bound 2016-01-15 Paper...10 bytes (13 words) - 16:04, 11 December 2023
- Paper Logic Programming 2006-06-27 Paper Logic for Programming, Artificial Intelligence, and Reasoning 2005-11-10 Paper Logic Programming 2005-08-26 Paper...10 bytes (13 words) - 02:15, 25 September 2023
- rewriting 2014-03-21 Paper Stochastic object-based graph grammars 2014-01-17 Paper Formal verification of object-oriented graph grammars specifications 2013-12-20...10 bytes (13 words) - 12:42, 28 January 2024
- consumption in timed object-oriented models 2014-12-03 Paper Observable behavior of dynamic systems: component reasoning for concurrent objects 2013-12-06 Paper...10 bytes (16 words) - 01:00, 7 October 2023
- Profiling for Logic Program Execution Time Estimation 2008-03-11 Paper Logic Programming 2006-06-27 Paper Logic Programming 2006-06-27 Paper Program Development...10 bytes (13 words) - 01:49, 12 December 2023
- description of an object-oriented language with futures and promises 2009-09-29 Paper Abstract interface behavior of object-oriented languages with monitors...10 bytes (15 words) - 12:50, 7 October 2023
- models for bisimulation 1994-10-18 Paper A layered semantics for a parallel object-oriented language 1992-09-27 Paper From failure to success: Comparing a...10 bytes (21 words) - 23:56, 9 December 2023
- 1998-06-08 Paper Hierarchical query execution in a parallel object-oriented database system 1997-02-27 Paper A parallel Prolog resolution based on multiple unifications...10 bytes (16 words) - 16:23, 12 December 2023
- Types for Object Oriented Languages 2008-09-17 Paper Security types for dynamic web data 2008-08-06 Paper Session and Union Types for Object Oriented Programming...10 bytes (16 words) - 12:28, 28 January 2024
- Paper Object-oriented programming applied to the finite element method. II: Application to material behaviors. 2001-12-16 Paper Object-oriented programming...10 bytes (13 words) - 03:58, 9 December 2023
- Degenerate Nonlinear Programming with Rapid Local Convergence 2005-09-16 Paper Object-oriented software for quadratic programming 2005-07-21 Paper https://portal...10 bytes (15 words) - 14:05, 8 December 2023
- segments of few orientations 2016-02-26 Paper PEBBL: an object-oriented framework for scalable parallel branch and bound 2016-01-15 Paper Finding minimum-quotient...10 bytes (14 words) - 17:19, 9 December 2023
- intersection types 2008-06-24 Paper Session and Union Types for Object Oriented Programming 2008-06-19 Paper Coordination Models and Languages 2006-01-10...10 bytes (13 words) - 06:21, 12 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
- domain-oriented academic literature retrieval 2014-02-28 Paper An adaptive population diversity tuning algorithm for gene expression programming 2011-07-19...10 bytes (14 words) - 09:33, 13 December 2023
- 2005-06-30 Paper POEMS: A Parallel Object-oriented Environment for Multi-computer Systems 2004-03-16 Paper JBSP: A BSP programming library in Java 2002-07-22...10 bytes (13 words) - 10:24, 9 December 2023
- constrained entropy optimization problem in finance 2008-11-06 Paper An object-oriented framework for valuing shout options on high-performance computer architectures...10 bytes (15 words) - 21:26, 8 December 2023
- Progress for Object Oriented Languages 2007-11-28 Paper Foundations of Software Science and Computation Structures 2007-09-28 Paper Programming Languages...10 bytes (13 words) - 08:06, 25 September 2023
- procedural and object-oriented statistical scripting language 2003-02-06 Paper A mixed user interface for a statistical system 2003-02-06 Paper An object-based...10 bytes (13 words) - 06:04, 7 October 2023
- Paper Algorithm 777: HOMPACK90 1999-06-07 Paper An object-oriented approach to semidefinite programming 1998-12-06 Paper Supersonic flows of dense gases...10 bytes (15 words) - 14:59, 8 December 2023
