Search results
From MaRDI portal
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- Function 2007-02-15 Paper Reliability of fault-tolerant systems with parallel task processing 2006-12-07 Paper Multiscale optimization in VLSI physical design...10 bytes (16 words) - 15:23, 10 December 2023
- OSOS process languages. 2010-03-30 Paper Generating priority rewrite systems for OSOS process languages 2009-04-14 Paper Reversing algebraic process calculi...10 bytes (13 words) - 03:04, 13 December 2023
- Absorption time of the Moran process 2016-09-07 Paper Approximating fixation probabilities in the generalized Moran process 2014-11-19 Paper Book review...10 bytes (14 words) - 23:08, 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
- 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
- causality in process algebra 1996-10-27 Paper On “Axiomatising Finite Concurrent Processes” 1995-03-20 Paper Adding action refinement to a finite process algebra...10 bytes (15 words) - 04:34, 7 October 2023
- Transforms on Vector Processors 1995-08-15 Paper A self-sorting in-place fast Fourier transform algorithm suitable for vector and parallel processing 1994-11-21...10 bytes (15 words) - 00:40, 9 December 2023
- lattice with parallel update rule 2022-07-26 Paper Mean-field analysis for asymmetric exclusion processes on two parallel lattices with fully parallel dynamics...10 bytes (13 words) - 23:55, 10 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
- the viscoelastic fluid mold filling process by level set method 2013-11-06 Paper Simulation of container filling process with two inlets by improved smoothed...10 bytes (13 words) - 12:58, 11 December 2023
- time points in the objective for a batch nonlinear time-varying process using parallel global optimization 2021-01-18 Paper Global behavior analysis for...10 bytes (13 words) - 10:29, 6 October 2023