Search results
From MaRDI portal
- 2003-02-19 Paper Modeling and Verification of High-Assurance Properties of Safety-Critical Systems 2002-08-28 Paper Hybrid Parallel Execution Model for Logic-Based...10 bytes (17 words) - 10:57, 13 December 2023
- stochastic mean-CVaR optimal execution strategy 2016-05-19 Paper Calibrating volatility function bounds for an uncertain volatility model 2014-04-23 Paper Solving...10 bytes (15 words) - 21:26, 8 December 2023
- Minimizing the schedule length for a parallel 3D-grid precedence graph 1999-02-22 Paper Some models for scheduling parallel programs with communication delays...10 bytes (15 words) - 14:07, 9 December 2023
- scaling limit 2016-01-27 Paper PARSSSE: AN ADAPTIVE PARALLEL STATE SPACE SEARCH ENGINE 2012-12-12 Paper Parallel simulations of dynamic fracture using extrinsic...10 bytes (15 words) - 12:22, 12 December 2023
- de/entity/Q4952708 2000-05-10 Paper Can a shared-memory model serve as a bridging model for parallel computation? 2000-01-10 Paper https://portal.mardi4nfdi...10 bytes (13 words) - 15:16, 12 December 2023
- multiple products on parallel machines with setup costs 2009-05-13 Paper Scheduling orders on either dedicated or flexible machines in parallel to minimize total...10 bytes (17 words) - 06:34, 9 December 2023
- AND-parallel execution of logic programs 1995-02-16 Paper Corrigenda: Yet another efficient backward execution algorithm in the AND/OR process model 1993-01-16...10 bytes (14 words) - 14:52, 10 December 2023
- in the AND/OR process model 1993-01-16 Paper Yet another efficient backward execution algorithm in the AND/OR process model 1992-06-28 Paper SLR(k) covering...10 bytes (15 words) - 16:21, 6 October 2023
- pair-trade execution with generalized cross-impact 2022-09-16 Paper Discrete-time optimal execution under a generalized price impact model with markovian...10 bytes (13 words) - 08:17, 7 October 2023
- verification of multitasking applications based on timed automata model 2008-03-11 Paper A parallel algorithm for gradient training of feedforward neural networks...10 bytes (13 words) - 01:34, 11 December 2023
- in elasticity 2015-04-14 Paper The island model as a Markov dynamic system 2014-03-26 Paper An agent-based model of hierarchic genetic search 2013-07-25...10 bytes (14 words) - 12:14, 11 December 2023
- 2013-04-10 Paper On frequency analysis of sequential program code execution 2012-03-12 Paper A model of the behavior of network objects in distributed computer...10 bytes (15 words) - 21:16, 9 December 2023
- behavior types: a foundation model for components and their composition 2005-05-12 Paper Reo: a channel-based coordination model for component composition...10 bytes (14 words) - 13:02, 10 December 2023
- Paper Parallel variable distribution algorithm for constrained optimization with nonmonotone technique 2013-06-14 Paper A modified SQP parallel variable...10 bytes (13 words) - 01:29, 12 December 2023
- and agreement 2023-11-02 Paper Oblivious parallel tight compaction 2023-11-02 Paper Perfectly Oblivious (Parallel) RAM Revisited, and Improved Constructions...10 bytes (13 words) - 16:47, 24 September 2023
- 2016-12-21 Paper An Infinite Dimensional Model for a Many Server Priority Queue 2016-12-07 Paper An Infinite Dimensional Model for A Single Server Priority Queue...10 bytes (13 words) - 08:04, 7 October 2023
- opacity of a pessimistic STM 2018-07-18 Paper Grammar-based model transformations: definition, execution, and quality properties 2018-05-15 Paper Value-based...10 bytes (13 words) - 12:42, 28 January 2024
- eye: efficient concurrent zero-knowledge in the timing model 2010-02-24 Paper An efficient parallel repetition theorem 2010-02-24 Paper Private coins versus...10 bytes (14 words) - 03:07, 7 October 2023
- directed model checking CCS processes 2012-10-15 Paper Applying formal methods to process innovation 2010-03-23 Paper Abstracting models from execution traces...10 bytes (13 words) - 02:05, 7 October 2023
- de/entity/Q4945811 2000-10-05 Paper Parallel Multilevel series k-Way Partitioning Scheme for Irregular Graphs 1999-06-27 Paper Scalable parallel formulations of the Barnes--Hut...10 bytes (14 words) - 12:55, 6 October 2023
