1
Ämnen: ...Circuits and Systems. https://scigraph.springernature.com/ontologies/product-market-codes/T24068...
Hämta fulltext
Elektronisk E-bok
2
av Levitin, Gregory., Levitin, Gregory.
Publicerad 2005
Innehållsförteckning: ... Systems -- to Multi-state Systems -- Universal Generating Function in Analysis of Series-Parallel Multi...
Hämta fulltext
Elektronisk E-bok
3
Publicerad 2014
Innehållsförteckning: ... network connectivity -- Shaping of neurons by environmental interaction -- Modelling dendrite shape from...
Hämta fulltext
Elektronisk E-bok
4
Publicerad 2008
Innehållsförteckning: ... Investigation of the Effort of Creating Reusable, Component-Based Models for Performance Prediction -- Deploying...
Hämta fulltext
Elektronisk E-bok
5
Publicerad 2006
Innehållsförteckning: ... the Semantic Domains of Component Contracts -- Model-Based Test Selection for Infinite State Reactive Systems...
Hämta fulltext
Elektronisk E-bok
6
Publicerad 2008
Innehållsförteckning: ... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...
Hämta fulltext
Elektronisk E-bok
7
Publicerad 2005
Innehållsförteckning: ... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...
Hämta fulltext
Elektronisk E-bok
8
Publicerad 2005
Innehållsförteckning: ...-functional Requirements -- Coordination Systems in Role-Based Adaptive Software -- Coordination...
Hämta fulltext
Elektronisk E-bok
9
Publicerad 2010
Innehållsförteckning: ... -- Application of Radial Basis Function Neural Network in Modeling Wastewater Sludge Recycle System -- Improved...
Hämta fulltext
Elektronisk E-bok
10
Publicerad 2010
Innehållsförteckning: ... -- Research of Parallel-Type Double Inverted Pendulum Model Based on Lagrange Equation and LQR Controller -- A...
Hämta fulltext
Elektronisk E-bok
11
Publicerad 2006
Innehållsförteckning: ... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...
Hämta fulltext
Elektronisk E-bok
12
Publicerad 2007
Innehållsförteckning: ... Design Space Exploration -- Processor Components -- Resource Conflict Detection in Simulation of Function...
Hämta fulltext
Elektronisk E-bok
13
Publicerad 2012
Innehållsförteckning: ... Bug Reproducing Method for the Debugging of Component-Based Parallel Discrete Event Simulation...
Hämta fulltext
Elektronisk E-bok
14
Publicerad 2007
Innehållsförteckning: ... Measurements -- A Flexible General-Purpose Parallelizing Architecture for Nested Loops in Reconfigurable...
Hämta fulltext
Elektronisk E-bok
15
Publicerad 2014
Innehållsförteckning: ...DEA for Two-State Networks: Efficiency Decompositions and Modeling Techniques -- Network DEA...
Hämta fulltext
Elektronisk E-bok
16
Publicerad 2008
Innehållsförteckning: ..., and Compliant Action -- Keynote -- Modelling Coordination and Compensation -- Tools and Applications...
Hämta fulltext
Elektronisk E-bok
17
Publicerad 2013
Innehållsförteckning: ... Network Model -- A Finite-Time Convergent Recurrent Neural Network Based Algorithm for the L Smallest k...
Hämta fulltext
Elektronisk E-bok
18
Publicerad 2007
Innehållsförteckning: ...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...
Hämta fulltext
Elektronisk E-bok
19
Publicerad 2007
Innehållsförteckning: ... Wall-Layer Models for Predicting Separated Turbulent Near-Wall Flows -- Numerical Experimentation: A...
Hämta fulltext
Elektronisk E-bok
20
Publicerad 2010
Innehållsförteckning: ... Assembly Uncertainty -- Modelling the Interaction Forces between an Ideal Measurement Surface...
Hämta fulltext
Elektronisk E-bok