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
- 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
- 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
- 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
- and Objects 2010-02-09 Paper Formal Methods for Open Object-Based Distributed Systems 2010-01-12 Paper Behavioral interface description of an object-oriented...10 bytes (15 words) - 12:50, 7 October 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
- 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
- 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
- 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
- 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
- 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
- Nonlinear Programs 2005-11-11 Paper An Algorithm for Degenerate Nonlinear Programming with Rapid Local Convergence 2005-09-16 Paper Object-oriented software...10 bytes (15 words) - 14:05, 8 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
- 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
- consider object‐oriented programming techniques for finite element methods 1999-11-08 Paper Finite element analysis of solidification using object-oriented...10 bytes (13 words) - 12:42, 7 October 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
- consider object‐oriented programming techniques for finite element methods 1999-11-08 Paper Finite element analysis of solidification using object-oriented...10 bytes (15 words) - 07:51, 6 October 2023
- integrated object-oriented approach for parallel CFD 2018-10-26 Paper https://portal.mardi4nfdi.de/entity/Q5702760 2005-11-08 Paper Object-oriented finite...10 bytes (13 words) - 17:38, 24 September 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
