Alternatives de cerca:
programming programming » programming programmed, programming program
simulation programming » simulation program, recreation programming, simulation gaming
integrated simulation » interactive simulation, integrated navigation
based https » based http
1
Publicat 2012
Taula de continguts: ... -- Simulation of Flexible Objects in Robotics -- Continuous Integration for Iterative Validation of Simulated...
Obtenir text complet
Electrònic eBook
2
Publicat 2010
Taula de continguts: ...: Integration into the Leuven Paradigm for Robot Task Specification and Human Motion Estimation -- Simulating...
Obtenir text complet
Electrònic eBook
3
Publicat 2011
Taula de continguts: ... Programs -- Simulation-Based Optimality Tests for Stochastic Programs -- Stochastic Decomposition...
Obtenir text complet
Electrònic eBook
4
Publicat 2010
Taula de continguts: ... Management -- On-chip Thermal Modeling Based on SPICE Simulation -- Switching Noise Optimization in the Wake...
Obtenir text complet
Electrònic eBook
5
Publicat 2013
Taula de continguts: ... Metastability Simulation Method for Synchronizer Characterization -- Phase Space Based NBTI Model -- Fast...
Obtenir text complet
Electrònic eBook
6
Publicat 2007
Taula de continguts: ... Pattern Matching -- Persistent Oberon: A Programming Language with Integrated Persistence -- More Typed...
Obtenir text complet
Electrònic eBook
7
Publicat 2007
Taula de continguts: ...-unification -- Towards Automating Simulation-Based Design Verification Using ILP -- Minimal Distance-Based...
Obtenir text complet
Electrònic eBook
8
Taula de continguts: ... -- Vertex Shading, Pixel Shading, and Parallel Processing -- Cg Programming -- Programming in Java3D...
Obtenir text complet
Electrònic eBook
9
Publicat 2014
Taula de continguts: ... and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud -- Applying an Integrated...
Obtenir text complet
Electrònic eBook
10
Publicat 2013
Taula de continguts: ... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...
Obtenir text complet
Electrònic eBook
11
Publicat 2005
Taula de continguts: ... -- Distributed Constraint-Based Railway Simulation -- Declarative Programming and Web-Based Systems -- Concurrent...
Obtenir text complet
Electrònic eBook
12
Publicat 2005
Taula de continguts: ... and Verification -- Tracing Integration Analysis in Component-Based Formal Specifications -- CompAr: Ensuring Safe...
Obtenir text complet
Electrònic eBook
13
Publicat 2005
Taula de continguts: ... Integration of Jester – The JUnit Test Tester -- Extreme Programming: The Genesys Experience -- Shared Code...
Obtenir text complet
Electrònic eBook
14
Publicat 2010
Taula de continguts: ... Cardinality for Finite Fuzzy Sets -- Choquet-Integral-Based Evaluations by Fuzzy Rules: Methods for Developing...
Obtenir text complet
Electrònic eBook
15
Taula de continguts: ... and Adapt Smart Los -- Robot-Based Smart Educational Environments to Teach CS: A Case Study -- Smart...
Obtenir text complet
Electrònic eBook
16
Publicat 2005
Taula de continguts: ... -- An Integrated Development Environment for Electronic Institutions -- Jadex: A BDI-Agent System Combining...
Obtenir text complet
Electrònic eBook
17
Publicat 2011
Taula de continguts: ... Literate Programming -- A New Method for Inner Estimation of Solution Sets to Interval Linear Systems...
Obtenir text complet
Electrònic eBook
18
Taula de continguts: .... Unified Timing Model -- 8. MP-SOC Simulation Framework -- 9. Case Study -- 10. Summary -- Appendices. A...
Obtenir text complet
Electrònic eBook
19
Publicat 2007
Taula de continguts: ... - Low Power Design Techniques -- Template Vertical Dictionary-Based Program Compression Scheme...
Obtenir text complet
Electrònic eBook
20
Publicat 2006
Taula de continguts: ... Object Code in Meta Programs -- Dynamic Imperative Languages for Runtime Extensible Semantics...
Obtenir text complet
Electrònic eBook