Search results
From MaRDI portal
- Availability and maintenance of series systems subject to imperfect repair and correlated failure and repair 2006-09-14 Paper Reliability and optimal maintenance...10 bytes (14 words) - 12:21, 12 December 2023
- Paper Fast Detection of Stable and Count Predicates in Parallel Computations 2020-07-30 Paper Predicate detection for parallel computations with locking constraints...10 bytes (15 words) - 14:18, 10 December 2023
- routing with partial information in a distributed parallel many-server queueing system 2022-09-29 Paper Optimal pricing and inventory control strategy for a...10 bytes (13 words) - 05:47, 7 October 2023
- Publication Type ASP and subset minimality: enumeration, cautious reasoning and MUSes 2023-06-27 Paper Enumeration of minimal models and MUSes in WASP 2023-04-04...10 bytes (13 words) - 01:00, 7 October 2023
- Speeding up Parallel Processing of Massive Compute-Intensive Tasks 2017-06-20 Paper Design and Implementation of an Asymmetric Block-Based Parallel File System...10 bytes (13 words) - 15:02, 12 December 2023
- compilers. New techniques and algorithms for symbolic program analysis and optimization. 2003-06-30 Paper Debugging real-world data-parallel programs with SPiDER...10 bytes (13 words) - 11:42, 7 October 2023
- process and its critical phenomenon 2010-02-02 Paper An inventory system with two suppliers and default risk 2009-11-17 Paper Joint replenishment and pricing...10 bytes (13 words) - 07:26, 25 September 2023
- 2000-10-26 Paper Distributed and parallel systems: Environments and tools 1998-07-22 Paper A graphical development and debugging environment for parallel programs...10 bytes (13 words) - 11:12, 24 September 2023
- Concurrency and reversibility 2014-09-02 Paper Arbitration and reversibility of parallel delay-insensitive modules 2014-09-02 Paper Reversibility and models...10 bytes (13 words) - 03:04, 13 December 2023
- Performance driven distributed scheduling of parallel hybrid computations 2011-07-27 Paper Real time programming. Languages, specification and verification....10 bytes (15 words) - 00:32, 9 December 2023
- Fast and Flexible Framework for Parallel and Distributed QBF Solving 2022-11-07 Dataset Better Decision Heuristics in CDCL through Local Search and Target...10 bytes (15 words) - 22:44, 24 September 2023
- tools for distributed systems -- a case study 2001-01-16 Paper https://portal.mardi4nfdi.de/entity/Q4506490 2000-10-17 Paper Interactive debugging and performance...10 bytes (13 words) - 10:10, 24 September 2023
- under intermittent observations and unreliable actions 2020-06-10 Paper Centralized model predictive control with distributed adaptation 2020-04-05 Paper Automated...10 bytes (15 words) - 08:36, 7 October 2023
- Intelligence, and Reasoning 2005-11-10 Paper Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system...10 bytes (13 words) - 01:49, 12 December 2023
- https://portal.mardi4nfdi.de/entity/Q5314433 2005-09-05 Paper ON-LINE DEBUGGING OF PARALLEL PROGRAMS 2004-10-06 Paper https://portal.mardi4nfdi.de/entity/Q4470893...10 bytes (13 words) - 05:13, 9 December 2023
- Publication Type Data race avoidance and replay scheme for developing and debugging parallel programs on distributed shared memory systems 2011-03-25 Paper...10 bytes (15 words) - 11:54, 12 December 2023
- ON-LINE DEBUGGING OF PARALLEL PROGRAMS 2004-10-06 Paper A site-based proxy cache 2004-05-18 Paper Prefetching and caching metadata in a distributed NFS server...10 bytes (13 words) - 14:06, 24 September 2023
- Publication Type Data race avoidance and replay scheme for developing and debugging parallel programs on distributed shared memory systems 2011-03-25 Paper...10 bytes (15 words) - 13:12, 12 December 2023
- File:Ambox important.svg This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources...10 bytes (14 words) - 21:50, 10 December 2023
- Markov Chains 2007-11-29 Paper Tools and Algorithms for the Construction and Analysis of Systems 2007-09-28 Paper Safety and Liveness in Concurrent Pointer Programs...10 bytes (17 words) - 00:51, 9 December 2023
