Search results
From MaRDI portal
- 2016-12-16 Paper Topological Aspects of Hybrid Processes 2015-07-10 Paper A Basic Parallel Process as a Parallel Pushdown Automaton 2014-07-23 Paper Model-based...10 bytes (18 words) - 22:52, 11 December 2023
- expressions with parallel composition 2017-04-04 Paper A Generic Process Algebra 2015-07-10 Paper A Basic Parallel Process as a Parallel Pushdown Automaton...10 bytes (19 words) - 07:40, 9 December 2023
- Publication Date of Publication Type A quadratically convergent parallel Jacobi process for diagonally dominant matrices with nondistinct eigenvalues 1991-01-01...10 bytes (18 words) - 07:58, 6 October 2023
- Basic Parallel Process as a Parallel Pushdown Automaton 2014-07-23 Paper A Process-Theoretic Look at Automata 2010-01-28 Paper A Context-Free Process as a...10 bytes (19 words) - 02:06, 25 September 2023
- Linearization in parallel pCRL 2002-07-22 Paper https://portal.mardi4nfdi.de/entity/Q2767014 2002-07-22 Paper Focus points and convergent process operators:...10 bytes (17 words) - 11:17, 8 December 2023
- of a 2SPS+UPR parallel manipulator 2007-11-28 Paper Analyzing kinematics and solving active/constrained forces of a 3SPU + UPR parallel manipulator 2007-09-18...10 bytes (13 words) - 09:28, 25 September 2023
- Efficient parallel factorization and solution of structured and unstructured linear systems 2005-08-05 Paper MODELS AND RESOURCE METRICS FOR PARALLEL AND DISTRIBUTED...10 bytes (16 words) - 09:02, 8 December 2023
- timing in process algebra. 2003-06-25 Paper Algebra of timed frames 2002-12-19 Paper Process algebra with timing 2002-11-17 Paper Real time process algebra...10 bytes (15 words) - 18:33, 24 September 2023
- birth-death-immigration process and its diffusion approximation 2016-05-11 Paper A fractional counting process and its connection with the Poisson process 2016-05-11...10 bytes (17 words) - 04:24, 9 December 2023
- time points in the objective for a batch nonlinear time-varying process using parallel global optimization 2021-01-18 Paper Multi-objective optimization...10 bytes (13 words) - 08:24, 9 December 2023
- Publication Date of Publication Type Parallel multi-type many server conjecture 2022-06-16 Paper Fluid Models of Parallel Service Systems Under FCFS 2022-05-31...10 bytes (13 words) - 16:02, 24 September 2023
- Function 2007-02-15 Paper Reliability of fault-tolerant systems with parallel task processing 2006-12-07 Paper https://portal.mardi4nfdi.de/entity/Q5393826 2006-10-24...10 bytes (16 words) - 15:23, 10 December 2023
- de/entity/Q4536969 2002-11-06 Paper Approximating scheduling unrelated parallel machines in parallel 2002-09-28 Paper https://portal.mardi4nfdi.de/entity/Q4551368...10 bytes (16 words) - 23:08, 8 December 2023
- \(\omega\)-process languages for place/transition nets. 2001-01-01 Paper https://portal.mardi4nfdi.de/entity/Q4507813 2000-10-10 Paper Process languages...10 bytes (13 words) - 08:46, 13 December 2023
- asymmetric exclusion process with site-dependent hopping rates: theory and simulations 2023-01-16 Paper Non-conserving exclusion process with a dynamic obstacle...10 bytes (16 words) - 13:56, 10 December 2023
- Reversibility in Process Algebra 2015-07-10 Paper Concurrency and Reversibility 2014-09-02 Paper Arbitration and Reversibility of Parallel Delay-Insensitive...10 bytes (13 words) - 03:04, 13 December 2023
- Approximations of the Schur Complement for Parallel Algebraic Hybrid Solvers in 3<em>D</em> 2011-09-29 Paper Parallel hierarchical hybrid linear solvers for...10 bytes (13 words) - 06:27, 12 December 2023
- and Turing Machines 1967-01-01 Paper Parallel minimax search for a maximum 1967-01-01 Paper Finite-State Processes and Dynamic Programming 1967-01-01 Paper...10 bytes (16 words) - 04:05, 9 December 2023
- Controlling Unstructured Mesh Partitions for Massively Parallel Simulations 2011-08-01 Paper Parallel adaptive simulation of a plunging liquid jet 2011-07-19...10 bytes (15 words) - 06:38, 9 December 2023
- long-range dependent process 2001-01-25 Paper Scheduling multicast input-queued switches 2000-12-12 Paper Dynamic scheduling of parallel computations 2000-10-31...10 bytes (13 words) - 22:25, 24 September 2023
