Search alternatives:
"timed finite" » "time finite", "mixed finite", "fitted finite"

1
by Suwelack, Stefan
Published 2015
KIT Scientific Publishing
Subjects: ...real-time finite elements...

2
by Gazi, Orhan, Arlı, A.Çağrı
Published 2021
Springer International Publishing
Table of Contents: ... Implementation of Finite State Machines and Practical Applications -- Timed Finite State Machines in VHDL...

3
by Bajer, Czesław I., Dyniewicz, Bartłomiej
Published 2012
Springer Berlin Heidelberg
Table of Contents: ... of solution -- Classical numerical methods of time integration -- Space–time finite element method -- Space...

4
Published 2009
Springer Berlin Heidelberg
Table of Contents: ... Tests with Quiescence Observation -- Testing Timed Finite State Machines with Guaranteed Fault Coverage...

5
Published 2009
Springer Berlin Heidelberg
Table of Contents: ..., and Verification of PCEP Using the IF Language -- Distinguing Non-deterministic Timed Finite State Machines...

6
Published 2019
Springer International Publishing
Table of Contents: ... -- Multiple Mutation Testing for Timed Finite State Machine With Timed Guards and Timeouts -- Empirical...

7
Published 2019
Springer International Publishing
Table of Contents: ... -- 13 Space-Time Finite Element Methods for Parabolic Evolution Problems with Variable Coefficients...

8
by Riessen, Renée D.N. van
Published 2007
Springer Netherlands
Table of Contents: ...Explorations In Hermeneutics -- Time, Finiteness and Infinity: The Real Theme of Levinas...

9
by Levy, Bernard C.
Published 2020
Springer International Publishing
Table of Contents: ... of Random Processes -- Discrete-Time Finite Markov Chains -- Wiener Process and White Gaussian Noise...

10
by Danko, George L.
Published 2017
Springer Berlin Heidelberg
Table of Contents: ... -- Conservation of a scalar extensive in a state-flux, space-time, finite-volume cell -- Conservation of energy...

11
Published 2012
Birkhäuser
Table of Contents: ... of Continuous Time Finite Horizon -- 17 A Direct Approach to the Solution of Optimal Multiple-Stopping -- 18...

12
Published 1994
Springer Netherlands
Table of Contents: ...-time Finite Element Methods for Time-dependent Convection Diffusion Problems -- 12. Eulerian-Lagrangian...

13
Published 2013
Springer New York
Table of Contents: ... -- Intraoperative damage monitoring of endoclamp balloon expansion using real-time finite element modeling -- 3D...

14
Published 1994
Springer Berlin Heidelberg
Table of Contents: ... Linear Logic with MIX -- An approach to effective model-checking of real-time Finite-State Machines in mu...

15
Published 1994
Springer Berlin Heidelberg
Table of Contents: ... in polynomial expected time -- Finite-state strategies in regular infinite games -- Location of the largest...

16
Published 1997
Springer Berlin Heidelberg
Table of Contents: ... recursion scheme for exponential time -- Finite model theory, universal algebra and graph grammars...

17
Published 1988
Springer New York
Table of Contents: ...(log(n)) parallel time finite field inversion -- Deterministic parallel list ranking -- Optimal...

18
Published 2024
Springer Nature Singapore
Table of Contents: ... Service Time Finite Population Interdependent Queueing Model Having Parallel Servers with Breakdown...

19
Published 2011
Springer Berlin Heidelberg
Table of Contents: ... Learning and Central Bank Inattentiveness in Optimal Monetary Policy -- 26 Discrete Time, Finite State...

20
Published 1999
Springer Berlin Heidelberg
Table of Contents: ... Matrices) ? -- Low Redundancy in Static Dictionaries with O(1) Worst Case Lookup Time -- Finite Automata...