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