Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
processing program » processing programs, processing programmed, proceedings program
methods processing » methods preprocessing, methods proceedings, methods processes
program simulation » programs simulation, program formulation, hologram simulation
interface methods » internal methods, interval methods, interference methods
simulation https » computation https, education https, migration https
processing program » processing programs, processing programmed, proceedings program
methods processing » methods preprocessing, methods proceedings, methods processes
program simulation » programs simulation, program formulation, hologram simulation
interface methods » internal methods, interval methods, interference methods
simulation https » computation https, education https, migration https
1
Published 2010
Table of Contents:
“... Methods for Robotic Range Sensors -- High Fidelity Sensor Simulations for the Virtual Autonomous...”View full text
Electronic
eBook
2
Published 2012
Table of Contents:
“... for Robotics -- A Reuse-Oriented Development Process for Component-Based Robotic Systems -- UAV Simulation...”View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“... -- Upcoming Challenges for Process Modeling -- Physics-Based Simulation of 1/f Noise in MOSFETs under Large...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... -- On Mobility of Software Processes -- Software Process Fusion: Uniting Pair Programming and Solo Programming...”View full text
Electronic
eBook
5
Published 2014
Table of Contents:
“... Krause: Parallel-in-Space-and-Time Simulation of the Three-Dimensional, Unsteady Navier-Stokes Equations...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“... Tools for User Interface Design -- From Task to Dialog Model in the UML -- Towards Method Engineering...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... Development Methods: The Case of the Prisoner Dilemma and Extreme Programming -- A Framework for Understanding...”View full text
Electronic
eBook
8
Table of Contents:
“...Introduction: Demand and Reality -- Teaching and Training with Simulators -- Basic Smart Truck...”
View full text
View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“... Passing Programs Using Model Verification Techniques -- Practical Model-Checking Method for Verifying...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... -- Nesting OpenMP in MPI to Implement a Hybrid Communication Method of Parallel Simulated Annealing on a...”View full text
Electronic
eBook
11
Table of Contents:
“...Background -- Simulation basics -- Simulation optimization: an overview -- Response surfaces...”
View full text
View full text
Electronic
eBook
12
Table of Contents:
“...Stochastic Processes and Stochastic Differential Equations -- Numerical Methods for SDE...”
View full text
View full text
Electronic
eBook
13
Published 2012
Table of Contents:
“... Analysis of Weak Annoyances in Human Computer Interfaces -- Neural and Speech Indicators of Cognitive Load...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... Management -- 2/3 Alternating Simulation Between Interface Automata -- Development -- Formal Model-Driven...”View full text
Electronic
eBook
15
Published 2014
Table of Contents:
“... and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud -- Applying an Integrated...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... Human Motion Reconstruction Using Video Processing -- New Interfaces -- Personal Recognition Using...”View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“... and Method for Incremental Revelation of Software Interfaces for Ad Hoc Interaction -- Towards P2P-Based...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... -- XPi: A Typed Process Calculus for XML Messaging -- UML -- Checking the Validity of Scenarios in UML...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... -- Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation -- Graph Processes...”View full text
Electronic
eBook
20
Published 2015
Table of Contents:
“... Reliability Classification of Queueing Models for Streaming Processing Using Support Vector Machines -- A...”View full text
Electronic
eBook